Does "Depth" Really Matter? On the Role of Model Refinement for Testing and Reliability

• DOI: 10.1109/compsac.2011.17
• Publication Date: 2011-10-06T13:25:23Z
• Authors: Fevzi Belli; Nevin Guler; Michael Linschulte
• Keywords: Modular programming; Model-Based Testing; System under test; Code coverage

Model-based testing attempts to generate test cases from a model focusing on relevant aspects of given system under consideration (SUC). When SUC becomes too large be modeled in single step, existing design techniques usually require modularization the modeling process. Thereby, refinement process results decomposition into several hierarchical layers. Conventional requires refined components completely replaced by these subcomponents for case generation. Mostly, this resolution leads an oversized, where generation very costly, and generated set is leading infeasible long execution time. To solve problems, we present new strategy reduce (i) number cases, (ii) costs execution. For determining trade-off due cost reduction, reliability achieved approach compared with conventional approach. A study based web-based commercial validates discusses its characteristics. We found out that could detect about 80% faults 20% effort