Brunel University Research Archive (BURA) >
Research Areas >
Computer Science >

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/354

Title: Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faults
Authors: Hierons, RM
Keywords: Multiple ports
Output-shifting faults
Synchronised test sequence
Test minimisation
Publication Date: 2001
Publisher: Elsevier Science
Citation: Information and Software Technology, 43(9): 551-560, Aug 2001
Abstract: 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.
URI: http://www.ingentaconnect.com/content/els/09505849
http://bura.brunel.ac.uk/handle/2438/354
Appears in Collections:B-SERC Research Papers
Computer Science
Dept of Computer Science Research Papers

Files in This Item:

File Description SizeFormat
Testing a distributed.pdf413.34 kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.