Automated test data generation from Descartes specifications
Conference
·
OSTI ID:501634
- Arizona State Univ., Tempe, AZ (United States)
Software testing has consistently been a large portion of the total software development cost for large scale software systems. In the last decade, a considerable part of investigation within the area of software engineering has dealt with software testing. In particular, much effort has been devoted to the area of automated testing. The Descartes formal executable specification language uses data structuring methods in a tree structure notation called a {open_quotes}Hoare Tree{close_quotes} to describe data. Hoare trees provide a simple notation for describing the input and output data of a specification. Given a Descartes specification, the test data can be generated from it. The generated test data must be reasonable in order to be practical. On the other hand, the test data must reveal as many errors as possible to verify the program. The developed test data generation method and tool achieve both goals.
- OSTI ID:
- 501634
- Report Number(s):
- CONF-961239--
- Country of Publication:
- United States
- Language:
- English
Similar Records
Software interconnection technology to support specification of computational environments
Recent advances in laboratory automation programming
Interfacing engineering analysis with automated mapping
Technical Report
·
Mon Sep 01 00:00:00 EDT 1986
·
OSTI ID:5128293
Recent advances in laboratory automation programming
Conference
·
Fri Dec 30 23:00:00 EST 1994
·
OSTI ID:28777
Interfacing engineering analysis with automated mapping
Conference
·
Sat Dec 30 23:00:00 EST 1995
·
OSTI ID:192206