Automated testing using executable formal specifications

Authors:
N. Sanders
Affiliations:
-
Venue:
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Year:
1996

Citing 9
Cited 0

Mockingbird: a logical methodology for testing

Journal of Logic Programming - Logic programming applications
Software engineering (3rd ed.): a practitioner's approach

Software engineering (3rd ed.): a practitioner's approach
The CLP( R ) language and system

ACM Transactions on Programming Languages and Systems (TOPLAS)
Validation, Verification, and Testing of Computer Software

ACM Computing Surveys (CSUR)
Engineering Software Under Statistical Quality Control

IEEE Software
An Automatic Generator for Compiler Testing

IEEE Transactions on Software Engineering
Theories of Program Testing and the Application of Revealing Subdomains

IEEE Transactions on Software Engineering
Automatic generation of random self-checking test cases

IBM Systems Journal
Automatic generation of test cases

IBM Systems Journal

Quantified Score

Hi-index	0.00

Visualization

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.