Sciweavers

ICSE
2004
IEEE-ACM

Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases

14 years 3 months ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up according to the input requirements of the test cases. This setup process is usually performed manually, especially when testing complex data structures and databases. After the system is properly set up, a test execution tool runs the system according to the test cases and pre-recorded test scripts to obtain the outputs, which are evaluated by a test evaluation tool. This paper complements the current research on automated specification-based testing by proposing a scheme that combines the setup process, test execution, and test validation into a single test program for testing the behavior of object-oriented classes. The test program can be generated automatically given the the desired test cases and closed specifications of the classes. With closed specifications, every class method is defined in terms of ot...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
Added 09 Dec 2009
Updated 09 Dec 2009
Type Conference
Year 2004
Where ICSE
Authors Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
Comments (0)