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
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;
Conference_Titel :
Information Reuse and Integration, 2004. IRI 2004. Proceedings of the 2004 IEEE International Conference on
Print_ISBN :
0-7803-8819-4
DOI :
10.1109/IRI.2004.1431447
