A practical and complete algorithm for testing real-time systems
This paper presents a formal method for generating conformance tests for real-time systems. Our algorithm is complete in that, under a test hypothesis, if the system being tested passes every test generated then the tested system is bisimilar to its specification. Because the test algorithm has exponential worst case complexity and finite state automata models of real-time systems are typically very large, a judicious choice of model is critical for the successful testing of real-time systems. Developing such a model and demonstrating its effectiveness are the main contributions of this paper.
Keywordsreal-time systems black-box testing timed automata
Unable to display preview. Download preview PDF.
- 1.Cardell-Oliver, R.: An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs, To appear in Journal of Logic and Computation Vol 8, 23 pages (1998)Google Scholar
- 2.Cardell-Oliver, R. and Glover, T.: A Practical and Complete Algorithm for Testing Real-Time Systems, Technical Report CSM-306, Department of Computer Science, University of Essex, February 1998. source http://cswww.essex.ac.uk/FSS/projects/test.htmlGoogle Scholar
- 3.Chow, T.S.: Testing Software Design Modeled by Finite-State Machines, In IEEE Transactions on Software Engineering Vol SE-4, No.3, 178–187 (1978)Google Scholar
- 4.Hennessy, M.C.: Algebraic Theory of Processes, MIT Press (1988).Google Scholar
- 6.Holzmann, G.J.: Design and Validation of Computer Protocols, Prentice Hall (1991).Google Scholar
- 7.Joseph, M. (ed.): Real-Time Systems: Specification, Verification and Analysis, Prentice-Hall (1996).Google Scholar
- 9.Peleska, J. and Siegel, M.: Test Automation of Safety-Critical Reactive Systems, South African Computer Journal 19 53–77 (1997).Google Scholar
- 10.Springtveld, J., Vaandrager, F., and D’Argenio, F.: Testing Timed Automata, CSI-R9712, Computing Science Institute, University of Nijmegen, August 1997. source http://www.cs.kun.nl/~fvaan/publicationsGoogle Scholar
- 11.Tretmans, J.: Test Generation with Inputs, Outputs and Quiescence In T Margaria and B Steffan (eds.) Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, Springer Verlag (1996)Google Scholar