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

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