Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/13830
| Title: | การวิเคราะห์มิวเทชันแบบหลายข้อผิดพลาดสำหรับข้อกำหนดรูปนัยแบบสัญกรณ์เซด |
| Other Titles: | Multiple-fault mutation analysis for formal specification in z notation |
| Authors: | วรวิทย์ จิตรงค์ |
| Advisors: | อรรถสิทธิ์ สุรฤกษ์ |
| Other author: | จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ |
| Advisor's Email: | athasit@cp.eng.chula.ac.th |
| Subjects: | ซอฟต์แวร์ -- การพัฒนา ซอฟต์แวร์ -- การทดสอบ วิธีรูปนัย (วิทยาการคอมพิวเตอร์) ภาษารูปนัย |
| Issue Date: | 2549 |
| Publisher: | จุฬาลงกรณ์มหาวิทยาลัย |
| Abstract: | วิธีการวิเคราะห์มิวเทชันเป็นวิธีการวิเคราะห์ประสิทธิภาพของชุดทดสอบวิธีหนึ่ง ที่อาศัยการสร้างข้อผิดพลาดใส่เข้าไปในซอฟต์แวร์ เสมือนเป็นการจำลองข้อผิดพลาดที่อาจจะเกิดขึ้น แต่ยังมีวิธีการวิเคราะห์มิวเทชันอีกวิธีหนึ่งคือ การสร้างข้อผิดพลาดใส่เข้าไปในข้อกำหนดรูปนัย เพื่อนำข้อกำหนดรูปนัยที่มีการใส่ข้อผิดพลาดจำลองมาใช้กำหนดคุณสมบัติของชุดทดสอบ ข้อเสียคือ ใช้เวลาในการคำนวณสูง เนื่องจากจำนวนมิวแทนท์ของข้อกำหนด ดังนั้นงานวิจัยนี้จึงมีเป้าหมายในการลดจำนวนมิวแทนท์ของข้อกำหนด โดยที่ประสิทธิภาพของชุดทดสอบไม่ลดลง งานวิจัยชิ้นนี้กล่าวถึงการปรับปรุงประสิทธิภาพการวิเคราะห์มิวเทชันในระดับของข้อกำหนดรูปนัย โดยใช้วิธีการวิเคราะห์มิวเทชันแบบหลายข้อผิดพลาดสำหรับข้อกำหนดรูปนัยแบบสัญกรณ์เซด เพื่อลดจำนวนมิวแทน์ของข้อกำหนด โดยให้ข้อกำหนดมิวแทนท์หนึ่งๆ สามารถแทนหลายข้อกำหนดมิวแทนท์ และได้เสนออัลกอริทึมในการสร้างข้อกำหนดมิวแทนท์แบบหลายข้อผิดพลาด พร้อมทั้งได้พิสูจน์และทดลองเพื่อยืนยันการลดลงของจำนวนมิวแทนน์ของข้อกำหนด |
| Other Abstract: | A mutation analysis is one of the approaches for analyzing effectiveness of test data. This technique is fault-based testing, by inserting faults into the software as if to reproduce the faults which may occur in the specification. In addition, this approach can insert faults into the formal specification to specify the test data properties. However, since the specification provides many mutants, the mutation analysis takes high computational time. In this work, we focus on reducing the mutants of the specification without reducing the effectiveness of the test data. This thesis proposes an improvement of mutation analysis for formal specification, using multiple-fault mutation analysis with Z notation. We concentrate on reducing the mutants of the specification, by assigning a mutant to cover more than one mutant. We propose an algorithm for generating the multiple-fault mutant. Moreover, the reduction of mutants is demonstrated with our theoretical and experimental results. |
| Description: | วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2549 |
| Degree Name: | วิทยาศาสตรมหาบัณฑิต |
| Degree Level: | ปริญญาโท |
| Degree Discipline: | วิทยาศาสตร์คอมพิวเตอร์ |
| URI: | http://cuir.car.chula.ac.th/handle/123456789/13830 |
| URI: | http://doi.org/10.14457/CU.the.2006.796 |
| metadata.dc.identifier.DOI: | 10.14457/CU.the.2006.796 |
| Type: | Thesis |
| Appears in Collections: | Eng - Theses |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Vorawit_Ji.pdf | 6.17 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.