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
Sub-type Article (original research)
DOI 10.1109/32.553698
Volume 22
Issue 11
Start page 777
End page 793
Total pages 17
Language eng
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
Software
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
 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 83 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 125 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 118 Abstract Views  -  Detailed Statistics
Created: Mon, 13 Aug 2007, 16:36:12 EST