Affiliation:
1. Politecnico di Milano, Milan, Italy
Abstract
We address the problem of automated derivation of functional test cases for real-time systems, by introducing techniques for generating test cases from formal specifications written in TRIO, a language that extends classical temporal logic to deal explicitly with time measures. We describe an interactive tool that has been built to implement these techniques, based on interpretation algorithms of the TRIO language. Several heuristic criteria are suggested to reduce drastically the size of the test cases that are generated. Experience in the use of the tool on real-life cases is reported.
Publisher
Association for Computing Machinery (ACM)
Reference30 articles.
1. BEIZER B. 1983. Software Testing Techniques. Van Nostrand Reinhold New York. BEIZER B. 1983. Software Testing Techniques. Van Nostrand Reinhold New York.
2. Test sets generation from algebraic specifications using logic programming
3. Timing constraints of real-time systems: Constructs for expressing them, methods of validating them;DASARATHY B.;IEEE Trans. Softw. Eng. SE~11, I,1985
4. DEMmLo R. A. McCRACKEN M. W. MARTIN J. J. AND PASSAFXUME J. F. 1987. Software Testing and Evaluation. Benjamin/Cummins Menlo Park Calif. DEMmLo R. A. McCRACKEN M. W. MARTIN J. J. AND PASSAFXUME J. F. 1987. Software Testing and Evaluation. Benjamin/Cummins Menlo Park Calif.
Cited by
86 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A formal specification animation method for operation validation;Journal of Systems and Software;2021-08
2. Using Genetic Algorithms To Select Test Cases For Finite State Machines With Timeouts;2021 IEEE Congress on Evolutionary Computation (CEC);2021-06-28
3. Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12
4. CONFeTTI—Component fault tree-based testing;Safety and Reliability of Complex Engineered Systems;2015-09-03
5. A Survey on Testing for Cyber Physical System;Testing Software and Systems;2015