A practical and complete algorithm for testing real-time systems

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

Volumn 1486, Issue , 1998, Pages 251-261

  Cardell Oliver, Rachel ^a   Glover, Tim ^a  

^a UNIVERSITY OF ESSEX   (United Kingdom)

Author keywords

Black box testing; Real time systems; Timed automata

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; BLACK-BOX TESTING; FAULT TOLERANCE; FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS;

TEST ALGORITHMS; TIMED AUTOMATA; WORST-CASE COMPLEXITY;

REAL TIME SYSTEMS;

EID: 84871647131     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055352     Document Type: Conference Paper

References (11)

1. Cardell-Oliver, R.: An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs, To appear in Journal of Logic and Computation Vol 8, 23 pages (1998)
2. Cardell-Oliver, R. and Glover, T.: A Practical and Complete Algorithm for Testing Real-Time Systems, Technical Report CSM-306, Department of Computer Science, University of Essex, February 1998. source http://cswww.essex.ac.uk/FSS/projects/test.html
3. Chow, T.S.: Testing Software Design Modeled by Finite-State Machines, In IEEE Transactions on Soßware Engineering Vol SE-4, No.3, 178-187 (1978)
4. Hennessy, M.C.: Algebraic Theory of Processes, MIT Press (1988).
5. Henzinger, T., Manna, Z. and Pnueli, A.: Temporal Proof Methodologies for Timed Transition Systems. Information and Computation, 112, 273-337 (1994).
6. Holzmann, G.J.: Design and Validation of Computer Protocols, Prentice Hall (1991).
7. Joseph, M. (ed.): Real-Time Systems: Specification, Verification and Analysis, Prentice-Hall (1996).
8. Mandioli, Morasca and Morzenti: Generating Test Cases for Real-Time Systems from Logic Specifications, ACM Trans on Computer Systems 13(4), 365-398 (1995).
9. Peleska, J. and Siegel, M.: Test Automation of Safety-Critical Reactive Systems, South African Computer Journal 19 53-77 (1997).
10. Springtveld, J., Vaandrager, F., and D'Argenio, P.: Testing Timed Automata, CSI-R9712, Computing Science Institute, University of Nijmegen, August 1997. source http://www.cs.kun.nl/-fvaan/publications
11. Tretmans, J.: Test Generation with Inputs, Outputs and Quiescence In T Margaria and В Steffan (eds.) Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, Springer Verlag (1996)