Download now Free registration required
Automatic techniques for helping developers in finding the root causes of software failures are extremely important in the development cycle of software. In this paper, the authors study a dynamic modeling approach to fault localization, which is based on logic reasoning over program traces. They present a simple diagnostic performance model to assess the influence of various parameters, such as test set size and coverage, on the debugging effort required to find the root causes of software failures. The model shows that their approach un-ambiguously reveals the actual faults, provided that sufficient test cases are available.
- Format: PDF
- Size: 153.54 KB