การวิเคราะห์มิวเทชันแบบหลายข้อผิดพลาดสำหรับข้อกำหนดรูปนัยแบบสัญกรณ์เซด

วรวิทย์ จิตรงค์

Please use this identifier to cite or link to this item: https://cuir.car.chula.ac.th/handle/123456789/13830

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	อรรถสิทธิ์ สุรฤกษ์	-
dc.contributor.author	วรวิทย์ จิตรงค์	-
dc.contributor.other	จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์	-
dc.date.accessioned	2010-11-05T12:15:23Z	-
dc.date.available	2010-11-05T12:15:23Z	-
dc.date.issued	2549	-
dc.identifier.uri	http://cuir.car.chula.ac.th/handle/123456789/13830	-
dc.description	วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2549	en
dc.description.abstract	วิธีการวิเคราะห์มิวเทชันเป็นวิธีการวิเคราะห์ประสิทธิภาพของชุดทดสอบวิธีหนึ่ง ที่อาศัยการสร้างข้อผิดพลาดใส่เข้าไปในซอฟต์แวร์ เสมือนเป็นการจำลองข้อผิดพลาดที่อาจจะเกิดขึ้น แต่ยังมีวิธีการวิเคราะห์มิวเทชันอีกวิธีหนึ่งคือ การสร้างข้อผิดพลาดใส่เข้าไปในข้อกำหนดรูปนัย เพื่อนำข้อกำหนดรูปนัยที่มีการใส่ข้อผิดพลาดจำลองมาใช้กำหนดคุณสมบัติของชุดทดสอบ ข้อเสียคือ ใช้เวลาในการคำนวณสูง เนื่องจากจำนวนมิวแทนท์ของข้อกำหนด ดังนั้นงานวิจัยนี้จึงมีเป้าหมายในการลดจำนวนมิวแทนท์ของข้อกำหนด โดยที่ประสิทธิภาพของชุดทดสอบไม่ลดลง งานวิจัยชิ้นนี้กล่าวถึงการปรับปรุงประสิทธิภาพการวิเคราะห์มิวเทชันในระดับของข้อกำหนดรูปนัย โดยใช้วิธีการวิเคราะห์มิวเทชันแบบหลายข้อผิดพลาดสำหรับข้อกำหนดรูปนัยแบบสัญกรณ์เซด เพื่อลดจำนวนมิวแทน์ของข้อกำหนด โดยให้ข้อกำหนดมิวแทนท์หนึ่งๆ สามารถแทนหลายข้อกำหนดมิวแทนท์ และได้เสนออัลกอริทึมในการสร้างข้อกำหนดมิวแทนท์แบบหลายข้อผิดพลาด พร้อมทั้งได้พิสูจน์และทดลองเพื่อยืนยันการลดลงของจำนวนมิวแทนน์ของข้อกำหนด	en
dc.description.abstractalternative	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.	en
dc.format.extent	6318118 bytes	-
dc.format.mimetype	application/pdf	-
dc.language.iso	th	es
dc.publisher	จุฬาลงกรณ์มหาวิทยาลัย	en
dc.relation.uri	http://doi.org/10.14457/CU.the.2006.796	-
dc.rights	จุฬาลงกรณ์มหาวิทยาลัย	en
dc.subject	ซอฟต์แวร์ -- การพัฒนา	en
dc.subject	ซอฟต์แวร์ -- การทดสอบ	en
dc.subject	วิธีรูปนัย (วิทยาการคอมพิวเตอร์)	en
dc.subject	ภาษารูปนัย	en
dc.title	การวิเคราะห์มิวเทชันแบบหลายข้อผิดพลาดสำหรับข้อกำหนดรูปนัยแบบสัญกรณ์เซด	en
dc.title.alternative	Multiple-fault mutation analysis for formal specification in z notation	en
dc.type	Thesis	es
dc.degree.name	วิทยาศาสตรมหาบัณฑิต	es
dc.degree.level	ปริญญาโท	es
dc.degree.discipline	วิทยาศาสตร์คอมพิวเตอร์	es
dc.degree.grantor	จุฬาลงกรณ์มหาวิทยาลัย	en
dc.email.advisor	athasit@cp.eng.chula.ac.th	-
dc.identifier.DOI	10.14457/CU.the.2006.796	-
Appears in Collections:	Eng - Theses

Files in This Item:

File	Description	Size	Format
Vorawit_Ji.pdf		6.17 MB	Adobe PDF	View/Open

Show simple item record