A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A framework for specification-based testing
1996
IEEE Transactions on Software Engineering
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
doi:10.1109/32.553698
fatcat:5nmac6xefrdhtfybaqnsr3um2i