Test templates: a specification-based testing framework

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications. It is demonstrated using the Z notation. The framework fo...

Full description

Saved in:
Bibliographic Details
Published inProceedings of 1993 15th International Conference on Software Engineering pp. 405 - 414
Main Authors Stocks, P.A., Carrington, D.A.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1993
Subjects
Application software
Computer errors
Computer science
Data mining
Formal specifications
Genetic mutations
Software testing
Stability
System testing
Terminology
Online AccessGet full text
ISBN9780818637001
0818637005
ISSN0270-5257
DOI10.1109/ICSE.1993.346025

Cover

More Information
Summary:Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications. It is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and other test data sets, providing structure to the testing process. Flexibility is also preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.< >
ISBN:9780818637001
0818637005
ISSN:0270-5257
DOI:10.1109/ICSE.1993.346025