A framework for specification-based testing

Stocks, P and Carrington, D (1996) A framework for specification-based testing. Ieee Transactions On Software Engineering, 22 11: 777-793. doi:10.1109/32.553698

Author Stocks, P
Carrington, D
Title A framework for specification-based testing
Journal name Ieee Transactions On Software Engineering   Check publisher's open access policy
ISSN 0098-5589
Publication date 1996-01-01
Year available 1997
Sub-type Article (original research)
DOI 10.1109/32.553698
Open Access Status
Volume 22
Issue 11
Start page 777
End page 793
Total pages 17
Language eng
Subject 1704 Computer Graphics and Computer-Aided Design
1712 Software
2208 Electrical and Electronic Engineering
Abstract 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-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is 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.
Keyword Computer Science, Software Engineering
Engineering, Electrical & Electronic
Specification-based Testing
Testing Strategies
Test Data
Test Oracles
Z Notation
Formal Specifications
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 102 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 151 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 14 Aug 2007, 02:36:12 EST