Skip to main content
SpringerLink
Log in

Time-Optimal Test Cases for Real-Time Systems

  • Conference paper
Formal Modeling and Analysis of Timed Systems (FORMATS 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2791))

Abstract

Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically generate test cases from formal models of the system under test.

We demonstrate how to automatically generate real-time conformance test cases from timed automata specifications. Specifically we demonstrate how to efficiently generate real-time test cases with optimal execution time i.e test cases that are the fastest possible to execute. Our technique allows time optimal test cases to be generated using manually formulated test purposes or automatically from various coverage criteria of the model.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aho, A.V., Dahbura, A.T., Lee, D., Ümit Uyar, M.: 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)

    Article  Google Scholar 

  2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  3. Behrmann, G., Fehnker, A., Hune, T., Larsen, K.G., Pettersson, P., Romijn, J.: Efficient Guiding Towards Cost-Optimality in Uppaal. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 174–188. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  4. Bengtsson, J., David Griffioen, W.O., Kristoffersen, K.J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Automated analysis of an audio control protocol using uppaal. Journal of Logic and Algebraic Programming 52-53, 163–181 (2002)

    Article  Google Scholar 

  5. Bosscher, D., Polak, I., Vaandrager, F.: Verification of an Audio-Control Protocol. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol. 863, Springer, Heidelberg (1994)

    Google Scholar 

  6. Bozga, M., Fernandez, J.-C., Ghirvu, L., Jard, C., Jéron, T., Kerbrat, A., Morel, P., Mounier, L.: Verification and Test Generation for the SSCOP Protocol. Science of Computer Programming 36(1), 27–52 (2000)

    Article  Google Scholar 

  7. Cardell-Oliver, R.: Conformance Testing of Real-Time Systems with Timed Automata. Formal Aspects of Computing 12(5), 350–371 (2000)

    Article  MATH  Google Scholar 

  8. Clarke, D., Lee, I.: Automatic Test Generation for the Analysis of a Real-Time System: Case Study. In: 3rd IEEE Real-Time Technology and Applications Symposium (1997)

    Google Scholar 

  9. En-Nouaary, A., Dssouli, R., Khendek, F.: Timed Test Cases Generation Based on State Characterization Technique. In: 19th IEEE Real-Time Systems Symposium (RTSS 1998), December 2–4, pp. 220–229 (1998)

    Google Scholar 

  10. Hong, H.S., Lee, I., Sokolsky, O., Ural, H.: A Temporal Logic Based Theory of Test Coverage and Generation. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 327–341. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  11. Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer 1(1–2), 134–152 (1997)

    Article  MATH  Google Scholar 

  12. Mandrioli, D., Morasca, S., Morzenti, A.: Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Transactions on Computer Systems 13(4), 365–398 (1995)

    Article  Google Scholar 

  13. Nielsen, B., Skou, A.: 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)

    Google Scholar 

  14. Peleska, J.: Hardware/Software Integration Testing for the new Airbus Aircraft Families. In: Wolis, A., Schieferdecker, I., König, H. (eds.) Testing of Communicating Systems XIV. Application to Internet Technologies and Services, pp. 335–351. Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

  15. Springintveld, J., Vaandrager, F., D’Argenio, P.R.: Testing Timed Automata. Theoretical Computer Science 254(1-2), 225–257 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  16. Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: EuroSTAR 1999: 7th European Int. Conference on Software Testing, Analysis & Review, Barcelona, Spain, November 8–12 (1999); EuroStar Conferences, Galway, Ireland

    Google Scholar 

  17. Ümit Uyar, M., Fecko, M.A., Sethi, A.S., Amar, P.D.: Testing Protocols Modeled as FSMs with Timing Parameters. Computer Networks: The International Journal of Computer and Telecommunication Networking 31(18), 1967–1998 (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Technology, Uppsala University, P.O. Box 337, SE-751 05, Uppsala, Sweden

    Anders Hessel & Paul Pettersson

  2. Department of Computer Science, Aalborg University, Fredrik Bajersvej 7E, DK-9220, Aalborg, Denmark

    Kim G. Larsen, Brian Nielsen & Arne Skou

Authors
  1. Anders Hessel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kim G. Larsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Brian Nielsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Paul Pettersson
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Arne Skou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Computer Science, Aalborg University, Denmark

    Kim Guldstrand Larsen

  2. Laboratoire d’Informatique Fondamentale de Marseille, CMI, 39, rue Joliot Curie, 13453, Marseille Cedex 13, France

    Peter Niebert

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hessel, A., Larsen, K.G., Nielsen, B., Pettersson, P., Skou, A. (2004). Time-Optimal Test Cases for Real-Time Systems. In: Larsen, K.G., Niebert, P. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2003. Lecture Notes in Computer Science, vol 2791. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40903-8_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40903-8_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21671-1

  • Online ISBN: 978-3-540-40903-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation