Abstract
Analyzing real-time specifications involves new difficulties in the test generation process. In addition to usual combinatory explosion, issues like tests executability and controllability become more problematic. To deal with such issues, the new method proposed in this paper combines both on the fly computation (not on line) and optimized symbolic analysis with the underlying concept of real-time observers. A symbolic forward analysis is used for test executability and a backward analysis is performed to refine the tests controllability in view of avoiding inconclusive verdicts. The featured observers and the backward computation are the basis for a more targeted test selection. To illustrate the method, the work example is a process control communication system. Finally, we introduce Real-time Ethernet and the related tests produced with our method.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)
Analysis and VERification for the Reliability Of Embedded Systems, www.education.gouv.fr/rntl
Bouaziz, R., Koné, O.: Design principles and applications of the OOTEST tool. Technical Report, CNRS University of Toulouse (2006)
Clarke, L., Richardson, D.: Symbolic evaluation methods for program analysis. In: Muchnick, S., Jones, N. (eds.) Program Flow Analysis: Theory and Applications, pp. 79–101. Prentice-Hall, Englewood Cliffs (1981)
Clauss, Ph., Loechner, V.: PolyLib: A Library for Manipulating Parameterized Polyhedra. Technical Report, University of Strasbourg (1999)
Castanet, R., Koné, O., Laurencot, P.: On-the-Fly Test Generation for Real-Time Protocols. In: IEEE International Conference on Computer Communication and Networks, Lafayatte (1998)
En-Nouaary, A., Liu, G.: Timed Test Cases Generation Based on MSC-2000 Test Purposes. In: Workshop on Integrated-reliability with Telecommunications and UML Languages (WITUL 2004), part of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE), Rennes, France (November 2004)
Grabowski, J., Hogrefe, D., Nahm, R.: Test case generation with test purpose specifications by MSCs. In: 6th SDL Forum, pp. 253–266. Elsevier Science, North Holland (1993)
Larsen, K., Mikucionis, M., Nielsen, B.: On line Testing of Real-Time Systems. Formal Approaches To Testing of Software, Link2, Austria (September 2004)
Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.: Generating Test Cases for a Timed I/O Automaton Model. In: IFIP (IWTCS 1999), Budapest (1999)
Gaufillet, P.: The TOPCASED project: a Toolkit in OPen source for Critical Aeronautic SystEm Design. In: ERTS 2006 - 3rd Embedded Real Time Software Conference - Toulouse (January 2006), http://www.topcased.org
Dhaussy, Ph., Roger, J.C., Bonin, H., Saves, E., Honnoré, J.: Experimentation of Timed Observers for Validation of an Avionics Software, Toulouse (January 2006)
Howden, W.E.: Methodology for the Generation of Program Test Data. IEEE Trans. Computers 24(5), 554–560 (1975)
Hinzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. Information and Computation 111(2), 193–244 (1994)
Koné, O.: A local approach to the testing of real-time systems. The Computer Journal, British Computer Society, Oxford Press 44(5) (2001)
Martinez, J.M., Harbour, M.G., Gutierrez, J.J.: RT-EP: Real-Time Ethernet for analyzable distributed application an a minimum real-time POXIS-kernel. In: 2nd International Workshop on Real-Time LANs in the Internet Age, RTLIA 2003 (2003)
McMillan, K.L.: Symbolic model-checking: An approach to the state explosion problem. Kluwer Academic, Dordrecht (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
Bouaziz, R., Koné, O. (2006). Symbolic and on the Fly Testing with Real-Time Observers. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds) Testing of Communicating Systems. TestCom 2006. Lecture Notes in Computer Science, vol 3964. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11754008_20
Download citation
DOI: https://doi.org/10.1007/11754008_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34184-0
Online ISBN: 978-3-540-34185-7
eBook Packages: Computer ScienceComputer Science (R0)