Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-24704-3_6 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Test suite,Computer science,Queue,Implementation under test,Algorithm,Real-time computing,Test case,Distributed computing,Bounded function,Lossless compression | Conference | 2978 |
ISSN | Citations | PageRank |
0302-9743 | 17 | 0.87 |
References | Authors | |
14 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jiale Huo | 1 | 44 | 2.57 |
A. Petrenko | 2 | 565 | 31.37 |
re petrenko | 3 | 17 | 0.87 |