การทดสอบแบบมิวเทชันสำหรับตัวดำเนินการดัดแปลงนิพจน์ของบีเพล

นัฐพล ไทยสาครพันธ์

Please use this identifier to cite or link to this item: https://cuir.car.chula.ac.th/handle/123456789/19087

Title:	การทดสอบแบบมิวเทชันสำหรับตัวดำเนินการดัดแปลงนิพจน์ของบีเพล
Other Titles:	Mutation testing for expression modification operators of Bpel
Authors:	นัฐพล ไทยสาครพันธ์
Advisors:	ธาราทิพย์ สุวรรณศาสตร์
Other author:	จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์
Advisor's Email:	[email protected]
Subjects:	เอ็กซ์เอ็มแอล บีเพล (ภาษาคอมพิวเตอร์) เว็บเซอร์วิส
Issue Date:	2552
Publisher:	จุฬาลงกรณ์มหาวิทยาลัย
Abstract:	ดับเบิลยูเอสบีเพล หรือบีเพล เป็นภาษากระแสงานทางธุรกิจที่ได้รับการออกแบบมาสำหรับเว็บเซอร์วิซ บีเพลนั้นใช้สำหรับกำหนดการทำงานร่วมกันของเว็บเซอร์วิซ และมีหน้าที่ประสานการทำงานร่วมกันของเซอร์วิซเหล่านั้น วิทยานิพนธ์นี้ได้นำเสนอวิธีการทดสอบบีเพลโดยใช้วิธีการทดสอบแบบมิวเทชัน การทดสอบแบบมิวเทชัน หรือการวิเคราะห์แบบมิวเทชัน เป็นวิธีการทดสอบที่มีรากฐานอยู่บนความผิดพร่องของโปรแกรม ซึ่งใช้สำหรับวัดความเพียงพอของกรณีทดสอบ วิทยานิพนธ์นี้ได้ประยุกต์ใช้การทดสอบแบบมิวเทชันกับภาษาบีเพลโดยการใส่ความผิดพร่องเข้าไปในเอกสารบีเพลเพื่อที่จะสร้างมิวแตนท์ วิทยานิพนธ์นี้ได้มีการนิยามตัวดำเนินการมิวเทชันสำหรับภาษาบีเพลโดยทำตามหลักการเลือกตัวดำเนินการมิวเทชัน เพื่อช่วยในการลดจำนวนตัวดำเนินการมิวเทชัน นอกจากนี้วิทยานิพนธ์นี้ยังสร้างเครื่องมือการทดสอบมิวเทชันสำหรับภาษาบีเพลซึ่งมีความสามารถในการสร้างมิวแตนท์ ดีพลอยโปรแกรมลงในเครื่องประมวลผลบีเพล เรียกใช้เซอร์วิซของโปรแกรมทดสอบ และรายงานผลการทดลองได้อย่างอัตโนมัติ
Other Abstract:	Business Process Execution Language (BPEL) is an XML-based language used for the definition and execution of business process by using Web Services. BPEL is a coordination and composition language for Web Services. We propose a technique for testing BPEL by using mutation testing. Mutation testing or mutation analysis is a fault-based testing method for measuring the adequacy of test cases. We apply mutation testing to BPEL by injecting fault to BPEL document in order to generate mutants. We identify mutation operators by following selective mutation to decrease number of mutation operators. Mutation testing is a difficult testing method because mutation testing generates large number of mutants. Therefore, a prototype of a mutation testing tool for BPEL aims at real software projects is implemented. This tool is used for automatically generating mutants, deploys mutants to BPEL server, executes test cases, and reports test results.
Description:	วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2552
Degree Name:	วิทยาศาสตรมหาบัณฑิต
Degree Level:	ปริญญาโท
Degree Discipline:	วิศวกรรมซอฟต์แวร์
URI:	http://cuir.car.chula.ac.th/handle/123456789/19087
URI:	http://doi.org/10.14457/CU.the.2009.315
metadata.dc.identifier.DOI:	10.14457/CU.the.2009.315
Type:	Thesis
Appears in Collections:	Eng - Theses

Files in This Item:

File	Description	Size	Format
Natthapol_Th.pdf		4.11 MB	Adobe PDF	View/Open

Show full item record