A local approach to the testing of real-time systems

Computer Journal

Volumn 44, Issue 5, 2001, Pages 435-447

  Kone O ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS TRANSFER MODE; AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; NETWORK PROTOCOLS; STANDARDIZATION; TELECONFERENCING;

TEST-DEVELOPMENT PROCESS; TIME INTERVALS;

REAL TIME SYSTEMS;

EID: 0035657455     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/44.5.435     Document Type: Article

References (66)

1. Strategic directions in real time and embedded systems
2. Proposed ITU-T Z.500 and committee draft on formal methods in conformance testing
3. Future directions for protocol testing, learning the lessons from the past
4. Formal methods in protocol conformance testing
5. Testing large, real-time software systems
6. Tessy-yet another computer-aided software testing tool
7. A formal definition of time in lotos
8. Automatic symbolic verification of embedded systems
9. Modeling and verification of time dependent systems using time Petri nets
10. Real-time symbolic model checking for discrete time models
11. Symbolic model checking for real-time systems
12. Petri net performance models
13. Model-checking for real-time systems
14. Timing analysis of asynchronous circuits using timed automata
15. Some progress in the symbolic verification of timed automata
16. Local model checking for real-time systems
17. Verifying timing constraints of real-time systems by means of evolutionary testing
18. A framework for the specification of test cases for real-time distributed systems
19. Designing tests for time dependent systems
20. Timed test cases generation based on state characterisation technique
21. Automatic generation of tests for timing constraints from requirements
22. A process algebraic approach to the schedulability analysis of real-time systems
23. A practical and complete algorithm for testing real-time systems
24. On the fly test generation for real time protocols
25. A theory of timed automata
26. Special issue on testing
27. Testing software design modelled by finite state machine
28. Test selection based on finite state models
29. Extending test sequence overlap by invertibility
30. Fault detection for sequential machines by transition tour
31. A protocol test generation procedure
32. Formal methods for protocol testing: A detailed study
33. A theory for the derivation of tests
34. A formal approach to conformance testing
35. Characterizing and ordering errors detected by conformance testing
36. A framework based on implementation relations for implementing Lotos specifications
37. Conformance testing with labelled transition systems: Implementation relations and test generation
38. The co-op method for compositional derivation of conformance testers
39. Two approaches linking a test generation tool with verification techniques
40. Using on-the-fly verification techniques for the generation of test suites
41. Génération de tests à partir de spécifications lda basée sur une construction partielle de l'arbre d'accessibilité
42. An adaptive test sequence generation method for the users needs
43. A calculus of communicating systems
44. Compositional and symbolic model-checking of real-time systems
45. Model checking for real-time systems
46. Compositional validation of time-critical systems using communicating time Petri nets
47. A verification method for temporal interoperability
48. Test generation for interworking systems
49. Efficient verification of real-time systems: Compact data structure and state-space reduction
50. LOTOS: A formal description technique based on the temporal ordering of observational behaviour