Conformance test experiments for distributed real-time systems

ABSTRACT

This paper introduces a new technique for testing that a distributed real-time system satisfies a formal timed automata specification. It outlines how to write test specifications in the language of Uppaal timed automata, how to translate those specifications into program code for executing the tests, and describes the results of test experiments on a distributed real-time system with limited hardware and software resources.

REFERENCES

• 1: Baum, David. NQC --- Not Quite C (accessed 04/2002) http://www.enteract.com/~dbaum/nqc/
• 2: Braberman, V, Felder, M and Marre, M. Testing Timing Behaviours of Real Time Software, in Quality Week 1997 143-155.
• 3: Victor A. Braberman , Miguel Felder, Verification of real-time designs: combining scheduling theory with automatic formal verification, Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, p.494-510, September 06-10, 1999, Toulouse, France
• 4: Cardell-Oliver, Rachel. Conformance Tests for Real-Time Systems with Timed Automata Specifications, Formal Aspects of Computing Journal, 12 (5) 2000, 350-371.
• 5: Chow, T. S. Testing Software Design Modeled by Finite-State Machines, In IEEE Transactions on Software Engineering Vol SE-4, No.3, 1978, 178-187.
• 6: D. Clarke , I. Lee, Automatic generation of tests for timing constraints from requirements, Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97), p.199, February 05-07, 1997
• 7: Hitachi H8 product information (accessed 04/2002) http://semiconductor.hitachi.com/H8/index.html
• 8: Larsen, K. G, Pettersson, P and Wang, Y. UPPAAL in a nutshell, Springer International Journal of Software Tools for Technology Transfer, 1 (1+2), 1997.
• 9: Neilsen, Brian. Specification and Test of Real-Time Systems, PhD Thesis, Aalborg University, Denmark, 2000.
• 10: Nielsson, Stig. Introduction to the legOS kernel, http://legos.sourceforge.net/ (accessed 04/2000)
• 11: Peleska, J and Siegel, M. Test Automation of Safety-Critical Reactive Systems, South African Computer Journal vol 19, 1997, 53-77.
• 12: Dennis K. Peters , David L. Parnas, Requirements-based monitors for real-time systems, Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, p.77-85, August 21-24, 2000, Portland, Oregon, United States
• 13: Thane, H. Monitoring, Testing and Debugging of Distributed Real-Time Systems, Doctoral Thesis, KTH, Stockholm, Sweden, MRTC Rep 00/15, 2000.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

General Terms:
Design, Experimentation, Performance, Reliability, Verification

Keywords:
Lego RCX, Uppaal, conformance testing, design for testability, distributed real-time systems, timed automata