วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2549

วิธีการวิเคราะห์มิวเทชันเป็นวิธีการวิเคราะห์ประสิทธิภาพของชุดทดสอบวิธีหนึ่ง ที่อาศัยการสร้างข้อผิดพลาดใส่เข้าไปในซอฟต์แวร์ เสมือนเป็นการจำลองข้อผิดพลาดที่อาจจะเกิดขึ้น แต่ยังมีวิธีการวิเคราะห์มิวเทชันอีกวิธีหนึ่งคือ การสร้างข้อผิดพลาดใส่เข้าไปในข้อกำหนดรูปนัย เพื่อนำข้อกำหนดรูปนัยที่มีการใส่ข้อผิดพลาดจำลองมาใช้กำหนดคุณสมบัติของชุดทดสอบ ข้อเสียคือ ใช้เวลาในการคำนวณสูง เนื่องจากจำนวนมิวแทนท์ของข้อกำหนด ดังนั้นงานวิจัยนี้จึงมีเป้าหมายในการลดจำนวนมิวแทนท์ของข้อกำหนด โดยที่ประสิทธิภาพของชุดทดสอบไม่ลดลง งานวิจัยชิ้นนี้กล่าวถึงการปรับปรุงประสิทธิภาพการวิเคราะห์มิวเทชันในระดับของข้อกำหนดรูปนัย โดยใช้วิธีการวิเคราะห์มิวเทชันแบบหลายข้อผิดพลาดสำหรับข้อกำหนดรูปนัยแบบสัญกรณ์เซด เพื่อลดจำนวนมิวแทน์ของข้อกำหนด โดยให้ข้อกำหนดมิวแทนท์หนึ่งๆ สามารถแทนหลายข้อกำหนดมิวแทนท์ และได้เสนออัลกอริทึมในการสร้างข้อกำหนดมิวแทนท์แบบหลายข้อผิดพลาด พร้อมทั้งได้พิสูจน์และทดลองเพื่อยืนยันการลดลงของจำนวนมิวแทนน์ของข้อกำหนด