Distributed testing without encountering controllability and observability problems

✍ Scribed by Hasan Ural; David Whittier

• Book ID: 104137016
• Publisher: Elsevier Science
• Year: 2003
• Tongue: English
• Weight: 234 KB
• Volume: 88
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/s0020-0190(03)00364-8

✦ Synopsis

The objective of testing is to determine whether a system under test conforms to its specification. In distributed test architectures that utilize remote testers, this objective can be complicated by the fact that testers may encounter problems relating to controllability and observability during the application of a test sequence. Existing solutions to these problems involve first constructing a test sequence from the specification of an implementation under test, and then inserting coordination messages or appending selected test subsequences that prevent the occurrences of controllability and observability problems during the application of the resulting test sequence. This paper proposes a method that utilizes a set of transformation rules to construct an auxiliary directed graph from a given specification, and constructs a rural Chinese postman tour in this graph to yield a minimum-length test sequence where there is no potential controllability or observability problems, and where the use of coordination messages is minimized.