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