DocumentCode
2492759
Title
Automated testing using executable formal specifications
Author
Sanders, Nickee
Author_Institution
Dept. of Comput., Auckland Univ., New Zealand
fYear
1996
fDate
24-27 Jan 1996
Firstpage
176
Lastpage
181
Abstract
A new method is presented for the automated random generation of valid content-sensitive test data and corresponding oracle information. The process takes as input a specification of the program under test, expressed as a functional program, and produces as output test cases consisting of test data and oracle information. The test data is guaranteed to be an element of the valid input space defined by the specification. Examples of the process are presented
Keywords
automatic testing; computer aided software engineering; formal specification; program testing; automated program testing; automated random test data generation; executable formal specifications; functional program; oracle information; output test cases; valid content-sensitive test data; valid input space; Automatic testing; Automation; Computer science; Costs; Data structures; Formal specifications; Performance evaluation; Personnel; Remuneration; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering: Education and Practice, 1996. Proceedings. International Conference
Conference_Location
Dunedin
Print_ISBN
0-8186-7379-6
Type
conf
DOI
10.1109/SEEP.1996.533997
Filename
533997
Link To Document