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

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