DocumentCode
3206587
Title
An autotester for the modified nextdate function reusing a test case generator
Author
Debnath, Narayan ; Feng, Wenying ; Burgin, Mark ; Wilson, Joshua ; Crop, Joseph
Author_Institution
Comput. Sci. Dept., Winona State Univ., MN, USA
fYear
2004
fDate
8-10 Nov. 2004
Firstpage
121
Lastpage
126
Abstract
A design and implementation of an automated testing tool is presented that reuses an existing test case generator. The tool is implemented in Java. The tool reuses the generator to generate the test cases using a predefined set of specifications for a given software and then executes the same software on those test cases to verify correctness.
Keywords
Java; automatic programming; formal verification; program testing; software reusability; Java; automated testing tool; nextdate function; software specification; software verification; test case generator; Automatic testing; Computer aided software engineering; Computer science; Data analysis; Java; Mathematics; Software measurement; Software quality; Software testing; USA Councils;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Reuse and Integration, 2004. IRI 2004. Proceedings of the 2004 IEEE International Conference on
Print_ISBN
0-7803-8819-4
Type
conf
DOI
10.1109/IRI.2004.1431447
Filename
1431447
Link To Document