| dc.creator |
Hierons, RM |
|
| dc.date |
2006-11-06T15:21:26Z |
|
| dc.date |
2006-11-06T15:21:26Z |
|
| dc.date |
2001 |
|
| dc.date.accessioned |
2022-05-25T13:07:00Z |
|
| dc.date.available |
2022-05-25T13:07:00Z |
|
| dc.identifier |
Information and Software Technology, 43(9): 551-560, Aug 2001 |
|
| dc.identifier |
http://www.ingentaconnect.com/content/els/09505849 |
|
| dc.identifier |
http://bura.brunel.ac.uk/handle/2438/354 |
|
| dc.identifier.uri |
http://localhost:8080/xmlui/handle/CUHPOERS/163681 |
|
| dc.description |
A distributed system may have a number of separate interfaces called ports and in testing it may be necessary to have a separate tester at each port. This introduces a number of issues, including the necessity to use synchronised test sequences and the possibility that output-shifting faults go undetected. This paper considers the problem of generating a minimal synchronised test sequence that detects output-shifting faults when the system is specified using a finite state machine with multiple ports. The set of synchronised test sequences that detect output-shifting faults is represented by a directed graph G and test generation involves finding appropriate tours of G. This approach is illustrated using the test criterion that the test sequence contains a test segment for each transition. |
|
| dc.format |
423259 bytes |
|
| dc.format |
application/pdf |
|
| dc.language |
en |
|
| dc.publisher |
Elsevier Science |
|
| dc.subject |
Multiple ports |
|
| dc.subject |
Output-shifting faults |
|
| dc.subject |
Synchronised test sequence |
|
| dc.subject |
Test minimisation |
|
| dc.title |
Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faults |
|
| dc.type |
Research Paper |
|
| dc.coverage |
20 |
|