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

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