Abstract
Real-time systems are those systems whose behaviors are time dependent. Reliability is one of the characteristics of such systems and testing is one of the techniques that can be used to ensure reliable real-time systems. This paper presents a method for testing real-time systems specified by Timed Input Output Automata (TIOA). Our method is based on the concept of test purposes. The use of test purposes helps reduce the number of test cases generated since an exhaustive testing of a TIOA causes the well-known state explosion problem. The approach we present in this paper consists of three main steps. First, a synchronous product of the specification and test purpose is computed. Then, a sub-automaton (called Grid Automata) representing a subset of the state space of this product is derived. Finally, test cases are generated from the resulting grid automata. The test cases generated by our method are executable and can easily be represented in TTCN (Tabular Tree Combined Notation).
Chapter PDF
Similar content being viewed by others
References
R. Alur and D. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183–235, 1994.
P. Baker, J. Grabowski, E. Rudolph, and I. Schieferdecker. A Message Sequence Chart-profile for Graphical Test Specification, Development and Tracing. In 18th International Conference and Exposition on Testing Computer Software, Washington, DC. USA, June 2001.
D. Clarke and I. Lee. Automatic Generation of Tests for Timing Constraints from Requirements. In Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California, February 1997.
Rachel Cardell-Oliver and Tim Glover. A Practical and Complete Algorithm for Testing Real-Time Systems. In FTRTFT1998 — Formal Techniques for Real-Time Fault Tolerant Systems, Lyngby, Danmark, 1998.
A. Elqortobi and A. En-Nouaary. Dénombrement du Nombre des Régions dans un Automate Temporisé. Technical Report TR-1116, Département IRO, Universite de Montréal, Montréal, Canada, January 1998.
A. En-Nouaary. Testing Real-Time Systems using Test Purposes. In International Workshop on Communication Software Engineering (IWCSE), Marrakech, Morocco, December 2002.
A. En-Nouaary, R. Dssouli, and F. Khendek. Timed Wp-Method: Testing Real-Time Systems. IEEE Transactions on Software Engineering, November, November 2002.
A. En-Nouaary, R. Dssouli, F. Khendek, and A. Elqortobi. Timed Test Cases Generation Based on State Characterisation Technique. In 19th IEEE Real-Time Systems Symposium (RTSS’98), Madrid, Spain, December, 2–4 1998.
M. A. Fecko, P. D. Amer, M. U. Uyar, and A. Y. Duale. Test Generation in the presence of Conflicting Timers. In TESTCOM Ottawa, Canada, August–September 2000.
J. Grabowski, D. Hogrefe, and R. Nahm. Test Case Generation with Test Purpose Specification by MSCs. In SDL’93, October 1993.
T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli. Generating Test Cases for a Timed I/O Automaton Model. In Proceedings of the International Workshop on Testing Communicating Systems (IWTCS’99), Budapest, Hungary, 1999.
D. Hogrefe. Some Implications of MSC, SDL and TTCN Time Extensions for Computer-aided Test Generation. In 10th SDL-Forum, Copenhagen, Danemark, June 2001.
ISO. Conformance Testing Methodology and Framework. International Standard IS-9646 9646, International Organization for Standardization — Information Technology — Open Systems Interconnection, Genéve, 1991.
A. Khoumsi, M. Akalay, R. Dssouli, A. En-Nouaary, and L. Granger. An Approach For Testing Real-Time Protocols. In TESTCOM Ottawa, Canada, August–September 2000.
I. Kang. CTSM A Formalism for Real-Time System Analysis based on State-Space Exploration. PhD Thesis, University of Pennsylvania 1995.
Osmane Koné and Richard Castanet. Test Generation for Internetworking Systems. Computer Communications, 23:642–652, 2000.
A. Khoumsi, A. En-Nouaary, R. Dssouli, and M. Akalay. A New Method for Testing Real-Time Systems. In RTCSA, Cheju Island, South Korea, December 2000.
Osmane Koné Patrice Laurencot and Richard Castanet. On the Fly Test Generation for Real-Time Protocols. In International Conference on Computer Communications and Networks, Louisiane, USA, 1998.
N.A. Lynch and H. Attiya. Using Mappings to Prove Timing Properties. Distributed Computing, 6(2):121–139, 1992.
K.G. Larsen and W. Yi. Time Abstracted Bisimulation: Implicit Specification and Decidability. In Proceedings Mathematical Foundations of Programming Semantics (MFPS 9), volume 802 of Lecture Notes in Computer Science, New Orleans, USA, April 1993. Springer-Verlag.
D. Mandrioli, S. Morasca, and A. Morzenti. Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Transactions on Computer Systems, 13(4):365–398, November 1995.
Brian Nielsen and Arne Skou. Automated Test Generation from Timed Automata. In 5th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems FTRTFT’98, September 1998.
Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. Compiling Real-Time Specifications into Extended Automata. IEEE transactions on Software Engineering, 18(9):794–804, September 1992.
Sébastien Salva, Eric Petitjean, and Hacène Fouchal. A Simple Approach to Testing Timed Systems. In Proceedings of the Workshop on Formal Approaches to Testing of Software, (FATES’01), Aalborg, Denmark, Aug 2001.
J. Springintveld and F. Vaandrager. Minimizable Timed Automata. In B. Jonsson and J. Parrow, editors, Proceedings of the 4th International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Uppsala, Sweden, volume 1135 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
J. Springintveld, F. Vaadranger, and P. Dargenio. Testing Timed Automata. Theoretical Computer Science, 254:225–257, 2001.
J. Tretmans. A Formal Approach to Conformance Testing. PhD Thesis, University of Twente, August 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP
About this paper
Cite this paper
En-Nouaary, A., Dssouli, R. (2003). A Guided Method for Testing Timed Input Output Automata. In: Hogrefe, D., Wiles, A. (eds) Testing of Communicating Systems. TestCom 2003. Lecture Notes in Computer Science, vol 2644. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44830-6_16
Download citation
DOI: https://doi.org/10.1007/3-540-44830-6_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40123-0
Online ISBN: 978-3-540-44830-3
eBook Packages: Springer Book Archive