Abstract
Recently various real-time communication protocols have been proposed. In this paper, first, we propose a timed I/O automaton model so that we can simply specify such real-time protocols. The proposed model can handle not only time but also data values. Then, we propose a conformance testing method for the model. In order to trace a test sequence (I/O sequence) on the timed I/O automaton model, we need to execute each I/O action in the test sequence at an adequate execution timing which satisfies all timing constraints in the test sequence. However, since outputs are given from IUTs and uncontrollable, we cannot designate their output timing in advance. Also their output timing affects the executable timing for the succeeding I/O actions in the test sequence. Therefore, in general, the executable timing of each input action in a test sequence can be specified by a function of the execution time of the preceding I/O actions. In this paper, we propose an algorithm to decide efficiently whether a given test sequence is executable. We also give an algorithm to derive such a function from an executable test sequence automatically using a technique for solving linear programming problems, and propose a conformance testing method using those algorithms.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35567-2_25
Chapter PDF
Similar content being viewed by others
References
R. Alur and D.L. Dill: “A Theory of Timed Automata”, Theoretical Computer Science, Vol. 126, pp. 183–235 (1994).
R. Alur and D.L. Dill: “Automata-Theoretic Verification of Real-Time Systems”, In Formal Methods for Real-Time Computing, Trends in Software Series, pp. 55–82 (1996).
B. S. Bosik and M. U. Uyar: “Finite State Machine Based Formal Methods in Protocol Conformance Testing”, Computer Networks ISDN Systems, 22, pp. 7–33 (1991).
D. Clarke and I. Lee: “Automatic Generation of Tests for Timing Constraints from Requirements”, Proc. of 3rd Int. Workshop on Object-Oriented Real-Time Dependable Systems (1997).
L. K. Dillon: “Using Symbolic Execution for Verification of Ada Tasking Programs”, ACM Trans. on Programming Languages and Systems, Vol. 12, No. 4, pp. 643–669 (1990).
A. En-Nouaary, R. Dssouli, F. Khendek and A. Elqortobi: “Timed Test Cases Generation Based on State Characterization Technique”, Proc. of 19th IEEE Real-Time Systems Symposium (RTSS’98) (1998).
J. E. Hoperoft and J. D. Ullman: “Introduction to Automata Theory, Languages, and Computation”, Addison-Weslay (1979).
Y. Ishibashi, S. Tasaka and E. Minami: “Performance Measurement of a Stored Media Synchronization Mechanism: Quick Recovery Scheme”, Proc. of GLOBECOM’95, pp. 811–817 (1995).
ITU-T: “- Multiplexing Protocol for Low Bit Rate Multimedia Communication”, Recommendation F1. 223 (1996).
R. Kneuper: “Symbolic Execution: A Semantic Approach”, Science of Computer Programming, Vol. 16, No. 3, pp. 207–249 (1991).
D. Lee and M. Yannakakis: “Principles and Methods of Testing Finite State Machines-A survey”, Proc. of the IEEE, Vol. 84, No. 8 (1996).
Q. M. Tan and A. Petrenko: “Test Generation for Specifications Modeled by Input/Output Automata”, Proc. of 11th IFIP Workshop on Testing of Communicating Systems (IWTCS’98), pp. 83–99 (1998).
D. Mandrioli, S. Morasca, A. Morzenti: “Generating Test Cases for Real-Time Systems from Logic Specifications”, ACM Trans. on Computer Systems, Vol. 13, No. 4, pp. 365–398 (1995).
R. Metcalfe and D. Boggs: “Ethernet: Distributed Packet Switching for Local Computer Networks”, Communication of the ACM, Vol. 19, No. 7 (1976).
J. Springintveld, F. Vaandrager, and P. R. D’Argenio: “Testing Timed Automata”, Technical Report, CTIT 97–17, University of Twente (1997).
S. T. Vuong, W.L. Chan and M. R. Ito: “The UIOv-Method for Protocol Test Sequence Generation”, Proc. of 2nd IFIP Workshop on Protocol Test Systems (IWPTS ’89), pp. 161–175 (1989).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.R. (1999). Generating Test Cases for a Timed I/O Automaton Model. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing, vol 21. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35567-2_13
Download citation
DOI: https://doi.org/10.1007/978-0-387-35567-2_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6699-8
Online ISBN: 978-0-387-35567-2
eBook Packages: Springer Book Archive