Conformance test experiments for distributed real-time systems

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis

Volumn , Issue , 2002, Pages 159-163

  Cardell Oliver, Rachel ^a  

^a UNIVERSITY OF WESTERN AUSTRALIA   (Australia)

Author keywords

Conformance testing; Design for testability; Distributed real time systems; Lego RCX; Timed automata; Uppaal

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; MICROCONTROLLERS; PROGRAM DEBUGGING;

CONFORMANCE TESTING;

REAL TIME SYSTEMS;

EID: 0036980279     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/566172.566196     Document Type: Conference Paper

References (13)

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. Braberman, V and Felder, M. Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification, in Software Engineering - ESEX/FSE '99, LNCS 1687, 494-510.
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. Clarke, D. and Lee, I. Automatic Generation of Tests for Timing Constraints from Requirements, in Proc. Third International Workshop on Object-Oriented Real-Time Dependable Systems, 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. Peters, D.K. and Parnas, D.L: Requirements-based Monitors for Real-Time Systems, in ISSTA '00, ACM Press.
13. Thane, H. Monitoring, Testing and Debugging of Distributed Real-Time Systems, Doctoral Thesis, KTH, Stockholm, Sweden, MRTC Rep 00/15, 2000.