A test generation framework for quiescent real-time systems

Lecture Notes in Computer Science

Volumn 3395, Issue , 2005, Pages 64-78

  Briones, Laura Brandán ^a   Brinksma, Ed ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DEMODULATION; PARAMETER ESTIMATION;

INPUT-OUTPUT TRANSITION SYSTEMS; OPERATIONAL INTERPRETATION; TEST GENERATION ALGORITHM;

REAL TIME SYSTEMS;

EID: 24144458245     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31848-4_5     Document Type: Conference Paper

References (23)

1. A.BELINFANTE, J.FEENSTRA, R.DEVRIES, J.TRETMANS, N.GOGA, L.FEIJS, S.MAUW, AND L.HEERINK. Formal test automation: A simple experiment. In Int. Workshop on Testing of Communicating Systems 12 (1999), Kluwer, pp. 179- 196.
2. B.NIELSEN, AND A.SKOU. Automated Test Generation from Timed Automata. TACAS 2001: 343-357, 2001.
3. D.CLARKE, AND I.LEE. Automatic test generation for the analysis of a real- time system: Case study. In IEEE Real Time Technology and Applications Symp. (1997), pp. 112-124.
4. D.DILL. Timing assumptions and verification of finite-state concurrent systems. In Proceedings of the int. workshop on Automatic verification methods for finite state systems (1990), Springer-Verlag NY, Inc., pp. 197-212.
5. D.MANDRIOLI, S.MORASCA, AND A.MORZENTI. Generating test cases for real-time systems from logic specifications. TOCS 13, 4 (1995), 365-398.
6. E. BRINKSMA, L. HEERINK, AND J. TRETMANS. Factorized test generation for multi input/output transition systems. In Int. Workshop on Testing of Communicating Systems 11 (1998), Kluwer, pp. 67-82.
7. EN-NOUAARYA, R. DSSOULI, AND F. KHENDEK. Timed test cases generation based on state characterization technique. In 19th IEEE Real-Time Systems Symp. (1998), pp. 220-229.
8. ISO8807. Information processing systems, Open Systems Interconnection, LOTOS, A formal description technique based on the temporal ordering of observational behaviour. Int. Organization for Standardization, 1989.
9. J-C. FERNANDEZ, C. JARD, T. JERON, AND C. VIHO. Using on-the-fly verification techniques for the generation of test suites. In Copmuter Aided Verification CAV'96. LNCS 1102, Springer-Verlan (1996), R.Alur and T.A.Hezinger.
10. J-C. FERNANDEZ, C. JARD, T. JERON, AND C. VIHO. An experiment in automatic generation of test suites for protocols with verification technology. In Sience of Computer Programming - Special Issue on COST247, Verification and Validation Methods for Formal Descriptions, 29(1-2) (1997), pp. 123-146.
11. J. SPRINGINTVELD, F. VAANDRAGER, AND P.D'ARGENIO. Testing timed automata. Theoretical Computer Science 254, 1-2 (2001), 225-257.
12. J. TRETMANS. Test generation with inputs, outputs and repetitive quiescence. In Software-Concepts and Tools, 17(3) (1996),
13. Also: Technical Report NO. 96-26, Center for Telematics and Information Technology, University of Twente, The Netherlands, pp. 103-120.
14. J. TRETMANS, AND E. BRINKSMA. Torx: Automated model-based testing. In First European Conference on Model-Driven Software Engineering, Nuremberg (2003), A.Hartmann and K.Dussa-Ziegler.
15. K. LARSEN, M. MIKUCIONIS, AND B. NIELSEN. Real-time system testing on-the-fly. In The 15th Nordic Workshop on Programming Theory (NWPT) (2003), K.Sere, M.Walden, and A.Karlsson, Eds. Extended abstract.
16. L. BRANDÁN-BRIONES, AND E. BRINKSMA. A test generation framework for quiescent real-time systems. http://fmt.cs.utwente.nl/research/testing/ files/BBB04.ps. gz.
17. M. KRICHEN, AND S. TRIPAKIS. Black-box conformance testing for real- time systems. In SPIN 2004 (2004), Springer-Verlag Heidelberg, pp. 109-126.
18. R. CARDELL-OLIVER. Conformance test experiments for distributed real- time systems. In Proceedings of the int. symp. on Software testing and analysis (2002), ACM Press, pp. 159-163.
19. R. CLEAVELAND, I. LEE, P. LEWIS, AND S. SMOLKA. A theory of testing for soft real-time processes, 1996.
20. R. DENIGOLA, AND M. HENNESSY. Testing equivalences for processes. In ICALP83 (1983), vol. 154.
21. R.J. VANGLABBEEK. The linear time-branching time spectrum ii (the semantics of sequential systems with silent moves). In CONCUR'93. LNCS 715 (1993), E.Best, pp. 66-81.
22. R. LANGERAK. A testing theory for lotos using deadlock detection. In Proceedings of the IFIP WG 6.1 Ninth int. Symp. on Protocol Spec., Testing, and Verification (1990), IFIP, pp. 87-98.
23. T. HIGASHINO, A. NAKATA, K. TANIGUCHI, AND R. CAVALLI. Generating test cases for a timed i/o automaton model. In IWTCS 1999 (1999), pp. 197-214.