Online testing of real-time systems using UPPAAL

Lecture Notes in Computer Science

Volumn 3395, Issue , 2005, Pages 79-94

  Larsen, Kim G ^a   Mikucionis, Marius ^a   Nielsen, Brian ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; EMBEDDED SYSTEMS; ONLINE SYSTEMS;

COMPUTATION PERFORMANCE; ONLINE TESTING; REAL-TIME EMBEDDED SYSTEMS; TESTING ALGORITHM;

REAL TIME SYSTEMS;

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

References (35)

1. T. Henzinger and X. Nicollin and J. Sifakis and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2): 193-244, June 1994.
2. R. Alur and D.L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126(2): 183-235, April 1994.
3. G. Behrmann, J. Bengtsson, A. David, K.G. Larsen, P. Pettersson, and W. Yi. Uppaal implementation secrets. In Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT2002, pages 3-22, September 2002.
4. th Int. Workshop on Testing of Communicating Systems, pages 179-196, 1999.
5. Johan Blom, Anders Hessel, Bengt Jonsson, and Paul Pettersson. Specifying and generating test cases using observer automata. In Formal Approaches to Testing of Software, Linz, Austria, September 21 2004. Lecture Notes in Computer Science.
6. V. Braberman, M. Felder, and M. Marré. Testing Timing Behaviors of Real Time Software. In Quality Week 1997. San Francisco, USA., pages 143-155, April-May 1997 1997.
7. E. Brinksma, K.G. Larsen, B. Nielsen, and J. Tretmans. Systematic Testing of Realtime Embedded Software Systems (STRESS), March 2002. Research proposal submitted and accepted by the Dutch Research Council.
8. Laura Brandán Briones and Ed Brinksma. A test generation framework for quiescent real-time systems. In Formal Approaches to Testing of Software, Linz, Austria, September 21 2004. Lecture Notes in Computer Science.
9. R. Cardell-Oliver. Conformance Testing of Real-Time Systems with Timed Automata. Formal Aspects of Computing, 12(5):350-371, 2000.
10. R. Cleaveland and M. Hennessy. Testing Equivalence as a Bisimulation Equivalence. Formal Aspects of Computing, 5:1-20, 1993.
11. A. En-Nouaary, R. Dssouli, F. Khendek, and A. Elqortobi. Timed Test Cases Generation Based on State Characterization Technique. In 19th IEEE Real- Time Systems Symposium (RTSS'98), pages 220-229, December 2-4 1998.
12. Lars Frantzen, Jan Tretmans, and Tim Willemse. Test generation based on symbolic specifications. In Formal Approaches to Testing of Software, Linz, Austria, September 21 2004. Lecture Notes in Computer Science.
13. A. Hessel, K.G. Larsen, B. Nielsen, P. Pettersson, and A. Skou. Time-Optimal Test Cases for Real-Time Systems. In 3rd International Workshop on Formal approaches to Testing of Software (FATES 2003), Montréal, Québec, Canada, October 2003.
14. T. Higashino, A. Nakata, K. Taniguchi, and A R. Cavalli. Generating test cases for a timed i/o automaton model. In IFIP Int'l Work. Test. Communicat. Syst., pages 197-214, 1999.
15. H.S. Hong, I. Lee, O. Sokolsky, and H. Ural. A temporal logic based theory of test coverage and generation. In Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 327-341. Springer-Verlag, 2002.
16. J. Ouaknine and J. Worrell. Revisiting digitization, robustness, and decidability for timed automata. In 18th IEEE Symposium on Logic in Computer Science (LICS 2003) Ottawa, Canada, pages 198-207. IEEE Computer Society, June 2003.
17. T. Jéron and P. Morel. Test generation derived from model-checking. In N. Halbwachs and D. Peled, editors, CAV'99, Trento, Italy, volume 1633 of LNCS, pages 108-122. Springer-Verlag, July 1999.
18. A. Khoumsi, T. Jéron, and H. Marchand. Test cases generation for nondeterministic real-time systems. In 3rd International Workshop on Formal Approaches to Testing of Software (FATES'03). LNCS 2931, Montreal, Canada, 2003.
19. K.G. Larsen. A Context Dependent Equivalence Between Processes. Theoretical Computer Science, 49:185-215, 1987.
20. M. Krichen and S. Tripakis. Black-box Conformance Testing for Real-Time Systems. In Model Checking Software: llth International SPIN Workshop, volume LNCS 2989. Springer, April 2004.
21. 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, 1995.
22. M. Mikucionis, K.G. Larsen, and B. Nielsen. Online on-the-fly testing of real-time systems. Technical Report RS-03-49, Basic Research In Computer Science (BRICS), December 2003.
23. M. Mikucionis, B. Nielsen, and K.G. Larsen. Real-time system testing on-the-fly. In the 15th Nordic Workshop on Programming Theory, number 34 in B, pages 36-38, Turku, Finland, October 29-31 2003. Åbo Akademi, Department of Computer Science, Finland. Abstracts.
24. M. Mikucionis and E. Sasnauskaite. On-the-fly testing using UPPAAL. Master's thesis, Department of Computer Science, Aalborg University, Denmark, June 2003.
25. B. Nielsen and A. Skou. Automated Test Generation from Timed Automata. In Tools and Algorithms for the Construction and Analysis of Systems, pages 343-357, April 2001.
26. J. Peleska, P. Amthor, S. Dick, O. Meyer, M. Siegel, and C. Zahlten. Testing Reactive Real-Time Systems. In Material for the School - 5th International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), 1998. Lyngby, Denmark.
27. S. Tripakis. Fault Diagnosis for Timed Automata. In Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02), volume LNCS 2469. Springer, 2002.
28. J. Springintveld, F. Vaandrager, and PR. D'Argenio. Testing Timed Automata. Theoretical Computer Science, 254(1-2):225-257, March 2001.
29. T.A. Henzinger and Z. Manna and A. Pnueli. What good are digital clocks? In Werner Kuich, editor, Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, volume 623 of LNCS, pages 545-558. Springer, July 1992.
30. th Int. Conference on Concurrency Theory, volume 1664 of Lecture Notes in Computer Science, pages 46-65. Springer-Verlag, 1999.
31. th European Int. Conference on Software Testing, Analysis & Review, Barcelona, Spain, November 8-12, 1999. EuroStar Conferences, Galway, Ireland.
32. V. Diekert, P. Gastin, A. Petit. Removing epsilon-Transitions in Timed Automata. In 14th Annual Symposium on Theoretical Aspects of Computer Science, STAGS 1997, pages 583-594, Lübeck, Germany, February 1997. LNCS, Vol. 1200, Springer.
33. R. de Vries, J. Tretmans, A. Belinfante, J. Feenstra, L. Feijs, S. Mauw, N. Goga, L. Heerink, and A. de Heer. Côte de resyste in PROGRESS. In STW Technology Foundation, editor, PROGRESS 2000 - Workshop on Embedded Systems, pages 141- 148, Utrecht, The Netherlands, October 2000.
34. R.G. de Vries and J. Tretmans. On-the-fly conformance testing using SPIN. Software Tools for Technology Transfer, 2(4):382-393, March 2000.
35. Wang Yi, Paul Pettersson, and Mats Daniels. Automatic Verification of Real-Time Communicating Systems By Constraint-Solving. In Dieter Hogrefe and Stefan Leue, editors, Proc. of the 7th Int. Conf. on Formal Description Techniques, pages 223- 238. North-Holland, 1994.