On Testing Partially Specified IOTS through Lossless Queues

In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified input actions. For testing IOTS through unbounded queues, we demonstrate that test cases can directly be derived from the specification when the transition coverage criterion is used, and we provide two test derivation algorithms, for fully specified and partially specified IOTS, respectively. Applying the derived tests to test IOTS through bounded queues is also discussed.

• Type: Conference
• Year: 2004
• Where: PTS
• Authors: Jiale Huo, Alexandre Petrenko
• Keywords: Lossless Queues, PTS 2004, PTS 2007, Test Derivation Algorithms, Unspecified Input Actions