DocumentCode
1968816
Title
A testing and analysis tool for certain 3-variable functions
Author
Debnath, Narayan C. ; Lee, Haesun K. ; Burgin, Mark ; Thiemann, Eric
Author_Institution
Comput. Sci. Dept., Winona State Univ., MN, USA
fYear
2005
fDate
15-17 Aug. 2005
Firstpage
560
Lastpage
565
Abstract
The object oriented design and implementation of an automated software testing tool is presented. The tool mechanically generates the test cases using the specifications of certain 3-variable functions and automatically run the test cases on a specified software to evaluate correctness. The tool can be reused for other related functions.
Keywords
formal specification; object-oriented programming; program testing; program verification; software reusability; software tools; 3-variable functions; automated software testing tool; object oriented design; test cases generation; Automatic testing; Computer science; Input variables; Logic; Mathematics; Robustness; Software quality; Software testing; Software tools;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Reuse and Integration, Conf, 2005. IRI -2005 IEEE International Conference on.
Print_ISBN
0-7803-9093-8
Type
conf
DOI
10.1109/IRI-05.2005.1506533
Filename
1506533
Link To Document