Methodological framework demonstrates automated generation of functional test suites from formal specifications, highlighting enhanced control over test complexity and maintainability.
A method for creating functional test suites has been developed in which a test engineer analyzes the system specification, writes a series of formal test specifications, and then uses a generator tool to produce test descriptions from which test scripts are written. The advantages of this method are that the tester can easily modify the test specification when necessary, and can control the complexity and number of the tests by annotating the tests specification with constraints.
No takes yet. Share an insight, caveat, or question.
Ostrand et al. (1988) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: