A Method for Testing the Conformance of Real Time Systems
The aim of conformance testing is to check whether an implementation conforms to a specification. We consider the case where the specification contains timing constraints and is described by a model called Timed Automata (TA). The state space of a TA can be infinite due to the infinite number of time values. In a recent work, we proposed a method to finitely represent the state space. The proposed method transforms a TA into an equivalent finite state automaton using two special types of events, Set and Exp, and denoted se-FSA.
In the present article, we propose a conformance testing method which is applicable when the specification is described by a TA. First, we use the above-mentioned transformation procedure for representing the specification by a se-FSA. Second, we propose a procedure for generating test sequences from the se-FSA describing the specification. And third, we propose a simple architecture for executing the generated test sequences.
KeywordsReal-time systems Conformance testing Generalized Wp-Method Timed Automata (TA) se-FSA Set Exp Test cases generation Test architecture
- 2.A. Khoumsi, G.v. Bochmann, and R. Dssouli. Protocol synthesis for real-time applications. In Proc. PSTV/FORTE, Beijing, China, October 1999. Also available in http://www.gel.usherb.ca/khoumsi/Research/Public/PSTVFORTE99.ps.
- 3.R. Alur, C. Courcoubetis, and D. Dill. Model checking for real-time systems. In Proc. IEEE Symposium on Logic in Computer Science, 1990.Google Scholar
- 4.F. Liu. Test generation based on an FSM model with timers and counters. Master’s thesis, University of Montreal, Department IRO, 1993.Google Scholar
- 5.D. Mandrioli, S. Morasca, and A. Morzenti. Generating test cases for realtime systems from logic specifications. ACM Transactions on Computer Systems, 13(4):365–398, November 1995.Google Scholar
- 6.D. Clarke and I. Lee. Automatic generation of tests for timing constraints from requirements. In Proc. 3rd International Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California, February 1997.Google Scholar
- 7.A. En-Nouaary, R. Dssouli, and A. Elqortobi. Génération de tests temporisés. In Proc. 6th Colloque Francophone de l’Ingénierie des Protocoles. HERMES, 1997.Google Scholar
- 8.J. Springintveld, F. Vaadranger, and P. Dargenio. Testing timed automata. Technical Report CTIT97-17, University of Twente, Amsterdam, The Netherlands, 1997.Google Scholar
- 9.A. En-Nouaary, R. Dssouli, F. Khendek, and A. Elqortobi. Timed test generation based on state characterization technique. In Proc. 19th IEEE Real-Time Systems Symposium (RTSS), Madrid, Spain, December 1998.Google Scholar
- 10.A. Khoumsi, M. Akalay, R. Dssouli, A. En-Nouaary, and L. Granger. An approach for testing real time protocol entities. In Proc. 13th Intern. Workshop. on Testing of Communicating Systems (TestCom), Ottawa, Canada, Aug.-Sept. 2000. Kluwer Academic Publishers. Also available in http://www.gel.usherb.ca/khoumsi/Research/Public/TESTCOM00.ps.
- 11.A. Khoumsi, A. En-Nouaary, R. Dssouli, and M. Akalay. A new method for testing real time systems. In Proc. 7th Intern. Conf. on Real-Time Computing Systems (RTCSA), Cheju Island, South Korea, December 2000. Also available in http://www.gel.usherb.ca/khoumsi/Research/Public/RTCSA00.ps.
- 12.B. Nielsen and A. Skou. Automated test generation timed automata. In Work in Progress-Session of the 21st IEEE Real-Time Systems Symposium (RTSS), Walt Disney World, Orlando, Florida, USA, November 2000.Google Scholar
- 13.B. Nielsen and A. Skou. Automated test generation timed automata. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 343–357, Genova, Italy, April 2001.Google Scholar
- 14.B. Nielsen and A. Skou. Test generation for time critical systems: Tool and case study. In Proc. 13th Euromicro Conf. on Real-Time Systems, pages 155–162, Delft, The Netherlands, June 2001.Google Scholar
- 15.A. Khoumsi. A new transformation of timed automata into finite state automata. In Submitted to the 23rd IEEE Real-Time Systems Symposium (RTSS), 2002.Google Scholar
- 17.M. Yannakakis and D. Lee. An efficient algorithm for minimizing real-time transition systems. In Proc. 5th Conf. on Computer Aided Verification, pages 210–224. Springer-Verlag LNCS 697, 1993.Google Scholar
- 18.I. Kang and I. Lee. State minimization for concurrent system analysis based on state space exploration. In Proc. Conf. On Computer Assurance, pages 123–134, 1994.Google Scholar
- 19.I. Kang and I. Lee. An efficient state space generation for analysis of real-time systems. In Proc. Intern. Symposium on Software Testing and Analysis (ISSTA’ 96), 1996.Google Scholar
- 20.S. Tripakis and S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. In Proc. 8th Intern. Conf. on Computer Aided Verification, pages 229–242. Springer-Verlag LNCS 1102, 1995.Google Scholar
- 22.A. En-Nouaary, F. Khendek, and R. Dssouli. Fault coverage in testing real-time systems. In Proc. 6th Intern. Conf. on Real-Time Computing Systems and Applications (RTCSA), Hong-Kong, December 1999.Google Scholar
- 25.S. Fujiwara and G. v. Bochmann. Testing nondeterministic finite-state machine with fault-coverage. In Proc. 4th Intern. Workshop on Protocol Test Systems (WPTS), pages 267–280. North-Holland, 1992.Google Scholar
- 26.J. Tretmans. A Formal Approach to Conformance Testing. PhD thesis, University of Twente, The Netherlands, December 1992.Google Scholar