Testability Analysis Approach For Reactive Systems
Reactive systems are often designed as two parts: computation and control. The computation part is modeled by operator diagrams, while the control part is modeled by transition-based models. In this paper, we concentrate on analyzing the testability of the control part by using upon transition based models. We first transform transition-based models into Markov chains by augmenting probability information. Then, testability measures are proposed from Markov chains as an estimate of testing effort for reaching state coverage and path coverage.
The approach is applied to a case study and the obtained measures are compared to the testing effort required by a test generation tool. The results show some interesting perspectives.
Keywords: Testability Analysis, Reactive Systems, Transition-Based Models, Markov Chains
Download Full-Text
ABOUT THE AUTHORS
Nguyen Thanh Binh
DATIC Laboratory Danang University of Technology
Chantal Robach
LCIS Laboratory Grenoble INP
Nguyen Thanh Binh
DATIC Laboratory Danang University of Technology
Chantal Robach
LCIS Laboratory Grenoble INP