Affiliation:
1. Software Technology Department, Siemens Research and Technology Laboratories, 105 College Road East, Princeton, N.J.
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Reference10 articles.
1. Validation, Verification, and Testing of Computer Software
2. Analysis and Design in MSG.84: Formalizing Functional Specifications
3. Bjorner D. and Jones C.B. Formal Specification and Software Development. Prentice-Hall International EngIewood Cliffs N J. 1982. Bjorner D. and Jones C.B. Formal Specification and Software Development. Prentice-Hall International EngIewood Cliffs N J. 1982.
4. Toward a theory of test data selection
Cited by
387 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Detecting arrays for effects of multiple interacting factors;Information and Computation;2024-12
2. Using Category Partition to Detect Metamorphic Relations;Proceedings of the 9th ACM International Workshop on Metamorphic Testing;2024-09-13
3. Traceback: A Fault Localization Technique for Molecular Programs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
4. On the Impact of Input Models on the Fault Detection Capabilities of Combinatorial Testing;SN Computer Science;2024-08-27
5. PathSpotter: Exploring Tested Paths to Discover Missing Tests;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10