5. RELATED WORK Lotufo [12] analyze

5. RELATED WORK
Lotufo [12] analyzes the complexity of maintaining the Kconfig files. An investigation of 29 stable versions of the Linux kernel configuration options is presented. He concludes that the complexity of the code for the configuration options increases consistently, as well as the complexity of the resulting model. Interestingly, as we point out in this work, he also suggests that reasoning capabilities should be added to K config.

Post and Sinz [16] present a technique called lifting that converts all variants of a SPL into a meta program in order to facilitate the application of verification techniques like static analysis, or model checking. They evaluate their approach by applying it into to the K config files of the Linux kernel: The K config files were converted into C-code for analysis with a source code checker, which reveals two new bugs attached to uncommon configuration. This fact also supports the idea that the Linux kernel should introduce reasoning capabilities for its variant model.

Kastner et. al. [7] present an approach to check the syntactic correctness of all variants of a software product line. They present the tool CIDE which is able to analyze CPP based code among other languages. The concept of finding bugs introduced by the use of CPP directives is similar to our work, however, while CIDE focuses on syntactic errors, our approach finds inconsistencies between the source code and the variant model directly.

ผลลัพธ์ (ไทย) 2:

5. ทำงานที่เกี่ยวข้องกับ
Lotufo [12] การวิเคราะห์ความซับซ้อนของการรักษาไฟล์ Kconfig การสืบสวนที่ 29 รุ่นที่มั่นคงของเคอร์เนลปรับอากาศสายตัวเลือกไฟล์โครงสร้างจะนำเสนอ เขาสรุปว่าความซับซ้อนของตัวเลือกสำหรับไฟล์โครงสร้างปรับอากาศสายที่ต่อเนื่องเพิ่มขึ้นเช่นเดียวกับความซับซ้อนของรูปแบบที่เกิด ที่น่าสนใจในขณะที่เราชี้ให้เห็นในงานนี้เขายังแสดงให้เห็นว่าความสามารถในการใช้เหตุผลควรจะเพิ่ม K ปรับอากาศสายก. โพสต์และ Sinz [16] นำเสนอเทคนิคที่เรียกว่ายกที่แปลงทุกสายพันธุ์ของ SPL ลงในโปรแกรมเมตาเพื่ออำนวยความสะดวกให้ การประยุกต์ใช้เทคนิคการตรวจสอบเช่นการวิเคราะห์แบบคงที่หรือการตรวจสอบรูปแบบ พวกเขาประเมินแนวทางของพวกเขาโดยการใช้มันลงไปในแฟ้มการกำหนดค่า K ของลินุกซ์: ไฟล์การกำหนดค่า K ที่ถูกแปลงเป็น C-รหัสสำหรับการวิเคราะห์ที่มีแหล่งที่มาตรวจสอบรหัสซึ่งแสดงให้เห็นสองข้อบกพร่องใหม่ที่แนบมากับนักโทษผิดปกติสายไฟล์โครงสร้าง ความจริงเรื่องนี้ยังสนับสนุนความคิดที่ว่าเคอร์เนลควรแนะนำความสามารถในการให้เหตุผลสำหรับรูปแบบที่แตกต่างของ. Kastner et อัล [7] นำเสนอวิธีการที่จะตรวจสอบความถูกต้องของประโยคทุกสายพันธุ์ของสายผลิตภัณฑ์ซอฟต์แวร์ พวกเขานำเสนอ ศ.ดร. ศรีศักดิ์จามรเครื่องมือที่มีความสามารถในการวิเคราะห์ CPP รหัสตามหมู่ภาษาอื่น ๆ แนวคิดของการหาข้อบกพร่องที่นำมาใช้โดยการใช้คำสั่ง CPP จะคล้ายกับการทำงานของเราอย่างไรก็ตามในขณะที่ ศ.ดร. ศรีศักดิ์จามรมุ่งเน้นไปที่ข้อผิดพลาดประโยควิธีการของเราพบความไม่สอดคล้องกันระหว่างรหัสแหล่งที่มาและรูปแบบที่แตกต่างกันได้โดยตรง

ผลลัพธ์ (ไทย) 3:

5 . งานที่เกี่ยวข้อง lotufo
[ 12 ] วิเคราะห์ความซับซ้อนของการรักษาไฟล์ kconfig . การสืบสวนของ 29 รุ่นมั่นคงของเคอร์เนลคอน จึง guration ตัวเลือกที่นำเสนอ . เขาสรุปว่า ความซับซ้อนของรหัสสำหรับคอน จึง guration ตัวเลือกเพิ่มขึ้นอย่างต่อเนื่อง รวมทั้งความซับซ้อนของผลแบบ น่าสนใจอย่างที่เราชี้ให้เห็นในงานนี้นอกจากนี้เขายังแสดงให้เห็นว่าความสามารถในการใช้เหตุผล ควรเพิ่ม K CON จึง G .

โพสต์ซินส์ [ 16 ] และปัจจุบันเทคนิคที่เรียกว่ายกที่แปลงทุกสายพันธุ์ของ SPL ลงใน meta โปรแกรมเพื่อความสะดวกในการตรวจสอบ เช่น สถิตการวิเคราะห์เทคนิคหรือรูปแบบการตรวจสอบ พวกเขาประเมินแนวทางของพวกเขาโดยการใช้มันในการ config ไฟล์ของเคอร์เนล :ไฟล์ config ถูกแปลงเป็น c-code K สำหรับการวิเคราะห์ด้วยรหัสแหล่งที่มาตรวจสอบ ซึ่งเผยให้เห็นสองจุดบกพร่องใหม่แนบพิสดารคอน จึง guration . ข้อเท็จจริงนี้ยังสนับสนุนความคิดที่ว่าเคอร์เนลควรแนะนำความสามารถในการใช้เหตุผลแบบตัวแปรของ

คา ์เนอร์ et al . [ 7 ] ปัจจุบันวิธีการตรวจไวยากรณ์ของทุกสายพันธุ์ของผลิตภัณฑ์ซอฟต์แวร์บรรทัดพวกเขานำเสนอเครื่องมือผู้ฆ่าซึ่งสามารถวิเคราะห์รหัสจาก CPP ในภาษาอื่น ๆ แนวคิดของการใช้แมลงที่แนะนำโดย CPP คำสั่งคล้ายคลึงกับงานของเรา แต่ขณะที่ผู้ฆ่าเน้นข้อผิดพลาดไวยากรณ์ วิธีการของเราพบความไม่สอดคล้องกันระหว่างรหัสแหล่งที่มาและตัวแปร
รูปแบบโดยตรง