Time-optimal real-time test case generation using UPPAAL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2931, Issue , 2004, Pages 114-130

  Kessel, Anders ^a   Larsen, Kim G ^b   Nielsen, Brian ^b   Pettersson, Paul ^a   Skou, Arne ^b  

^a UPPSALA UNIVERSITY   (Sweden)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE TESTING; TESTING;

COVERAGE CRITERIA; ERROR PRONES; REAL-TIME TEST; SOFTWARE VALIDATION; SYSTEM UNDER TEST; TEST PURPOSE; TIME-OPTIMAL; TIMED AUTOMATA SPECIFICATIONS;

AUTOMATIC TEST PATTERN GENERATION;

EID: 35048833269     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (19)

1. Alfred V. Aho, Anton T. Dahbura, David Lee, and M. Ümit Uyar. An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours. IEEE Transactions on Communications, 39(11):1604-1615, 1991.
2. Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. Efficient Guiding Towards Cost-Optimality in UPPAAL. In T. Margaria and W. Yi, editors, Proc. of TACAS 2001, number 2031 in Lecture Notes in Computer Science, pages 174-188. Springer-Verlag, 2001.
3. D. Bosscher, I. Polak, and F. Vaandrager. Verification of an Audio-Control Protocol. In Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems, number 863 in Lecture Notes in Computer Science, 1994.
4. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, and Laurent Mounier. Verification and Test Generation for the SSCOP Protocol. Science of Computer Programming, 36(1):27-52, 2000.
5. Rachel Cardell-Oliver. Conformance Testing of Real-Time Systems with Timed Automata. Formal Aspects of Computing, 12(5):350-371, 2000.
6. R. Castanet, Ousmane Koné, and Patrice Laurençot. On The Fly Test Generation for Real-Time Protocols. In International Conference in Computer Communications and Networks, Lafayette, Lousiana, USA, October 12-15 1998. IEEE Computer Society Press.
7. Duncan Clarke and Insup Lee. Automatic Test Generation for the Analysis of a Real-Time System: Case Study. In 3rd IEEE Real-Time Technology and Applications Symposium, 1997.
8. Abdeslam En-Nouaary, Rachida Dssouli, Ferhat 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.
9. th International Workshop on Testing Communicating Systems (IWTCS), September 1-3, 1999, Budapest, Hungary, volume 147 of IFIP Conference Proceedings, pages 197-214. Kluwer, 1999.
10. Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, and Hasan Ural. A Temporal Logic Based Theory of Test Coverage and Generation. In J.-P. Katoen and P. Stevens, editors, TACAS 2002, pages 327-341. Kluwer Academic Publishers, April 2002.
11. Ahmed Khoumsi. A method for testing the conformance of real-time systems. In Werner Damm and Ernst-Rüdinger Olderog, editors, IEEE International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. (FTRTFT, volume 2469 of LNCS. Spinger-Verlag, September 2002.
12. Kim G. Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, and Judi Romijn. As cheap as possible: Efficient cost-optimal reachability for priced timed automat. In G. Berry, H. Comon, and A. Finkel, editors, Proc. of CAV 2001, number 2102 in Lecture Notes in Computer Science, pages 493-505. Springer-Verlag, 2001.
13. David Lee and Mihalis Yannakakis. Principles and Methods of Testing Finite State Machines - A Survey. Proceedings of the IEEE, 84(8):1090-1123, august 1996.
14. Dino Mandrioli, Sandra Morasca, and Angelo Morzenti. Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Transactions on Computer Systems, 13(4):365-398, 1995.
15. Brian Nielsen and Arne Skou. Automated Test Generation from Timed Automata. International Journal on Software Tools for Technology Transfer (STTT), 4, 2002. Digital Object Identifier (DOI) 10.1007/s10009-002-0094-1. To Appear.
16. Jan Peleska. Hardware/Software Integration Testing for the new Airbus Aircraft Families. In A. Wolis I. Schieferdecker, H. König, editor, Testing of Communicating Systems XIV. Application to Internet Technologies and Services, pages 335-351. Kluwer Academic Publishers, 2002.
17. J. Springintveld, F. Vaandrager, and P.R. D'Argenio. Testing Timed Automata. Theoretical Computer Science, 254(1-2):225-257, Match 2001.
18. J. Tretmans and A. Belinfante. Automatic testing with formal methods. In EuroSTAR'99: 7th European Int. Conference on Software Testing, Analysis & Review, Barcelona, Spain, November 8-12, 1999. EuroStar Conferences, Galway, Ireland.
19. M. Ümit Uyar, Marius A. Fecko, Adarsphal S. Sethi, and Paul D. Amar. Testing Protocols Modeled as FSMs with liming Parameters. Computer Networks: The International Journal of Computer and Telecommunication Networking, 31(18):1967-1998, 1999.