Please use this identifier to cite or link to this item:
http://bura.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 | Size | Format | |
---|---|---|---|---|
synch_final.pdf | 255.41 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.