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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1968816
بازگشت