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

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