Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems

2007 ◽  
Author(s):  
Xianghua Deng ◽  
Robby ◽  
John Hatcliff
Keyword(s):  
Object Oriented ◽  
Test Case Generation ◽  
Test Case ◽  
Automatic Test ◽  
Automatic Test Case Generation ◽  
Object Oriented Systems

Automatic Test Case Generation for Context Based Multiplicity Checking in UML

2013 ◽  
Vol 433-435 ◽  
pp. 1643-1648
Author(s):  
Wei Feng Zhou ◽  
Xin Min Li ◽  
Sheng Qing Lv ◽  
Zhuo Zhang
Keyword(s):  
Object Oriented ◽  
Verification And Validation ◽  
Real System ◽  
Test Case Generation ◽  
Test Case ◽  
Test Cases ◽  
Development Cost ◽  
Automatic Test ◽  
Important Method ◽  
Automatic Test Case Generation

UML is considered as the standard for object-oriented modeling and design. Automatic test case generation is an important method for the verification and validation of UML specifications to reduce the development cost and help increase the reliability. In this paper, we present a method to model the specific constraints using context-based multiplicity, which defines on the instances of the class associated with the context, instead of using constraints defined informally or in OCL. Then, an algorithm is proposed to generation a set of test cases to verify the context-based multiplicity in an implementation. The example and implementation for a real system are also presented.

scholarly journals Implementing DDD for Automatic Test Case Generation

2020 ◽  
Vol 10 (2) ◽  
pp. 117-121
Author(s):  
Wacharapong Nachiengmai ◽  
◽  
Sakgasit Ramingwong ◽  
Amphol Kongkeaw
Keyword(s):  
Test Case Generation ◽  
Test Case ◽  
Automatic Test ◽  
Automatic Test Case Generation
Sign in / Sign up

Export Citation Format

Share Document