FSM based approach for locating faulty software components

摘要

When a fault is detected in the composition of software components the question arises how to locate a faulty component as well as a faulty instruction within the component. In this paper, we consider a practical approach by calculating how many times a component is traversed by test cases which have expected output responses and by test cases which have unexpected output responses. The obtained integers are weighted and a component for which the maximum value is obtained is faulty with a high probability. As a case study, we consider a collection of array sorting methods. We mutate some instructions and apply different test cases. The obtained results illustrate that a proposed approach is promising.