Please use this identifier to cite or link to this item: http://buratest.brunel.ac.uk/handle/2438/1869
Title: Checking sequences for distributed test architectures
Authors: Hierons, RM
Ural, H
Keywords: Testing;Checking sequence;Distributed test architecture;Coordination problems;Observability problems
Issue Date: 2008
Series/Report no.: Distributed Computing;to appear
Abstract: Controllability and observability problems may manifest themselves during the application of a checking sequence in a test architecture where there are multiple remote testers. These problems often require the use of external coordination message exchanges among testers during testing. However, the use of coordination messages requires the existence of an external network that can increase the cost of testing and can be difficult to implement. In addition, the use of coordination messages introduces delays and this can cause problems where there are timing constraints. Thus, sometimes it is desired to construct a checking sequence from the specification of the system under test that will be free from controllability and observability problems without requiring the use of external coordination message exchanges. This paper gives conditions under which it is possible to produce such a checking sequence, using multiple distinguishing sequences, and an algorithm that achieves this.
URI: http://bura.brunel.ac.uk/handle/2438/1869
ISSN: 0178-2770
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
synch_final.pdf255.41 kBAdobe PDFView/Open


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