Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faults

Information and Software Technology

Volumn 43, Issue 9, 2001, Pages 551-560

  Hierons, R M ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

Multiple ports; Output shifting faults; Synchronised test sequence; Test minimisation

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; FINITE AUTOMATA; SYNCHRONIZATION; USER INTERFACES;

SYNCHRONIZED TEST SEQUENCE; TEST MINIMIZATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0035427482     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(01)00169-0     Document Type: Article

References (25)

1. An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours
2. The synchronization problem in protocol testing and its complexity
3. Controllability and observability in distributed testing
4. Design and implementation of a Ferry Clip test system
5. Synchronizable test sequences based on multiple UIO sequence
6. Error detection with multiple observers
7. Conformance testing with multiple observers
8. Extending testing sequence overlap by invertibility
9. Testing from a finite state machine: Extending invertibility to sequences
10. Testing a system specified using Statecharts and Z
11. A testsequence selection method for statecharts
12. An efficient finite-state machine implementation of Huffman decoders
13. On general routing problems
14. Generating tests for control portion of SDL specifications
15. Generating synchronizable test sequences based on finite state machine with distributed ports
16. Gedanken-experiments
17. Conformance relations and test derivation
18. Synchronization and specification issues in protocol testing
19. Formal methods for protocol testing: A detailed study
20. On minimizing the lengths of checking sequences
21. Synchronizable test sequence for multi-party protocol conformance testing
22. Protocol conformance test generation using multiple UIO sequences with overlapping
23. Observational inaccuracy in conformance testing with multiple testers