A Framework for Specification-Based Testing

  title={A Framework for Specification-Based Testing},
  author={Phil Stocks and David A. Carrington},
  journal={IEEE Trans. Software Eng.},
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 specificationsin 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… CONTINUE READING
Highly Influential
This paper has highly influenced 27 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 288 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 182 extracted citations

Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions

2010 8th IEEE International Conference on Software Engineering and Formal Methods • 2010
View 6 Excerpts
Highly Influenced

288 Citations

Citations per Year
Semantic Scholar estimates that this publication has 288 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-3 of 3 references

Specification Directed Module Testing

J. Welsh
Deriving Modular Designs from Formal Specifications , ” Software Eng . Notes • 1986

A S Tanenbaum , " In Defense of Program Testing or Correctness Proofs Considered Harmful

M J Balcer, W M. Hasling
" A Notation for Specifying Test Selection Criteria , " Proto col Speczficatzon , Testing , and Verzjkatzon , X , • 1972

Similar Papers

Loading similar papers…