การสร้างกรณีทดสอบสำหรับเว็บเซอร์วิสแบบดับเบิลยูเอส-บีเพลจากกราฟการเรียกเชิงสถิต

วารีรัตน์ บัวเสนาะ

dc.contributor.advisor	ธาราทิพย์ สุวรรณศาสตร์
dc.contributor.author	วารีรัตน์ บัวเสนาะ
dc.contributor.other	จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์
dc.date.accessioned	2021-09-22T23:25:44Z
dc.date.available	2021-09-22T23:25:44Z
dc.date.issued	2563
dc.identifier.uri	http://cuir.car.chula.ac.th/handle/123456789/77082
dc.description	วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2563
dc.description.abstract	เว็บเซอร์วิสถูกใช้งานกันอย่างแพร่หลายและได้รับความนิยมเป็นอย่างมาก การพัฒนาเว็บเซอร์วิสนั้นไม่ยึดติดกับภาษาที่ใช้ในการพัฒนาจึงทำให้เว็บเซอร์วิสมีรูปแบบที่หลากหลายและแตกต่างกันออกไป จึงต้องมีมาตรฐานในการควบคุมและประสานกระบวนการธุรกิจผ่านทางเว็บเซอร์วิส มาตรฐานนี้ถูกเรียกว่าดับเบิลยูเอส-บีเพล การทดสอบเว็บเซอร์วิสนั้นก็เป็นกระบวนการที่สำคัญในการพัฒนาซอฟต์แวร์เพื่อให้ตรงตามความต้องการของกระบวนการธุรกิจ งานวิจัยในปัจจุบันมีการนำเสนอแนวคิดและเครื่องมือที่ใช้ในการสร้างกรณีทดสอบสำหรับดับเบิลยูเอส-บีเพล โดยมุ่งเน้นเพียงกระบวนการธุรกิจในไฟล์ดับเบิลยูเอส-บีเพลเพียงหนึ่งไฟล์เท่านั้น วิทยานิพนธ์ฉบับนี้จัดทำขึ้นเพื่อนำเสนอแนวทางและเครื่องมือการสร้างกรณีทดสอบสำหรับดับเบิลยูเอส-บีเพลจากกราฟการเรียกเชิงสถิต เพื่อรองรับกรณีที่มีการเรียกใช้กระบวนการย่อยระหว่างไฟล์ดับเบิลยูเอส-บีเพล โดยเครื่องมือจะวิเคราะห์หาความสัมพันธ์ของแต่ละไฟล์ แทรกชุดคำสั่งในรหัสต้นทาง วิเคราะห์ความสัมพันธ์การเรียกใช้งานระหว่างไฟล์ดับเบิลยูเอส-บีเพลเพื่อสร้างกราฟการเรียกเชิงสถิต จากนั้นสร้างทางเดินทดสอบจากกราฟการเรียกเชิงสถิตเพื่อให้ได้ความครอบคลุมในระดับกิ่ง
dc.description.abstractalternative	Web service is widely used and very popular. However, web service development has not adhered to any development languages in variety of platforms or frameworks. There must be a standard in controlling and coordinating a business process through a web service. This standard is called WS-BPEL. Web service testing is an important process in software development to meet the needs of the business process. Recently some researchers proposed concepts and tools used to generate test cases for WS-BPEL, while they focused only a business processes within a single WS-BPEL file. This thesis proposes an approach and a test case generation tool for WS-BPEL from a static call graph in case that there are calling subprocesses between WS-BPEL files. The tool can analyze relationships among those WS-BPEL files, instrument code into the original WS-BPEL files, analyze calling relationships among WS-BPEL files in order to generate a static call graph. Then test cases that are satisfied branch coverage, are created from the graph.
dc.language.iso	th
dc.publisher	จุฬาลงกรณ์มหาวิทยาลัย
dc.relation.uri	http://doi.org/10.58837/CHULA.THE.2020.1141
dc.rights	จุฬาลงกรณ์มหาวิทยาลัย
dc.subject.classification	Computer Science
dc.title	การสร้างกรณีทดสอบสำหรับเว็บเซอร์วิสแบบดับเบิลยูเอส-บีเพลจากกราฟการเรียกเชิงสถิต
dc.title.alternative	Test case generation for WS-BPEL from a static call graph
dc.type	Thesis
dc.degree.name	วิทยาศาสตรมหาบัณฑิต
dc.degree.level	ปริญญาโท
dc.degree.discipline	วิศวกรรมซอฟต์แวร์
dc.degree.grantor	จุฬาลงกรณ์มหาวิทยาลัย
dc.identifier.DOI	10.58837/CHULA.THE.2020.1141