An approach for test case generation for polymorphic interactions from UMLsequence diagrams

วิธีการสร้างกรณีทดสอบสำหรับการปฏิสัมพันธ์แบบโพลีมอร์ฟิกจากแผนภาพซีเควนซ์ของยูเอ็มแอล

Name: Siros Supavita

LCSH: Computer software -- Development

LCSH: UML (Computer science)

LCSH: Object-oriented methods (Computer science)

Abstract: Software testing is a crucial part in software development. It has been discovered that object-oriented software needs different testing techniques due to its unique features. Polymorphism is one of the prominent features in object-oriented paradigm. This research presents an approach for testing object-oriented software focusing on polymorphism feature. The test approach uses UML sequence diagrams as test specification and aims at finding defects which are the result of unconformity between a sequence diagram and its implementation. The approach covers the model of message sending sequence model for representing a sequence of message sent between objects in an interaction. Moreover the approach supports verification of the actual message sending sequence occurred in test execution against the expected message sending sequence from a UML sequence diagram. The approach also includes test case generation and test adequacy criteria, which focus on polymorphism. A tool is implemented based on the approach for evaluation purpose. The evaluation of the tool effectively reflects the capability of the test approach in various situations.

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

Chulalongkorn University. Office of Academic Resources

Address: BANGKOK

Email: cuir@car.chula.ac.th

Name: Taratip Suwannasart

Role: advisor

Created: 2006

Modified: 2021-07-08

Issued: 2021-07-08

วิทยานิพนธ์/Thesis

application/pdf

URL: http://cuir.car.chula.ac.th/handle/123456789/58621

eng

DegreeName: Master of Engineering

Level: Master's Degree

Descipline: Computer Engineering

Grantor: Chulalongkorn University

©copyrights Chulalongkorn University

ลำดับที่.	ชื่อแฟ้มข้อมูล	ขนาดแฟ้มข้อมูล	จำนวนเข้าถึง	วัน-เวลาเข้าถึงล่าสุด
1	siros_su_TDC.pdf	22.76 MB

ใช้เวลา

0.031867 วินาที