Title :
Automated testing using executable formal specifications
Author_Institution :
Dept. of Comput., Auckland Univ., New Zealand
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;
Conference_Titel :
Software Engineering: Education and Practice, 1996. Proceedings. International Conference
Conference_Location :
Dunedin
Print_ISBN :
0-8186-7379-6
DOI :
10.1109/SEEP.1996.533997
