Abstract | ||
---|---|---|
In this paper, we propose the compositional test method (C-method), which exploits the structure of component-based communication sys tems. The C-method first tests each component separately for output and/or transfer faults, using one of the traditional test methods, then checks for composability, and finally tests the composite system for composition faults. To check for composability and to derive the test suite for the detection of com position faults, it is not required to construct the global state machine. In stead, all information is derived from the component state machines, which avoids a potential state explosion and lengthy test cases. Furthermore, the test suite checks for composition faults only. This substantially reduces the size of the test suite and thus the overall test effort. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11754008_15 | TestCom |
Keywords | Field | DocType |
global state machine,test suite check,lengthy test case,compositional test method,compositional testing,traditional test method,component state machine,communication system,composition fault,test suite,overall test effort,potential state explosion,state machine,test methods | Test suite,Test method,Test effort,Computer science,Algorithm,Finite-state machine,Model-based testing,Test case,Component-based software engineering,Composability,Reliability engineering,Distributed computing | Conference |
Volume | ISSN | ISBN |
3964 | 0302-9743 | 3-540-34184-6 |
Citations | PageRank | References |
15 | 0.91 | 18 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Reinhard Gotzhein | 1 | 465 | 71.44 |
Ferhat Khendek | 2 | 467 | 64.17 |