Abstract
Spreadsheets are the most prominent example of end-user programming, but
they unfortunately are often erroneous and thus they compute wrong values. Localizing the true cause of such an observed misbehavior can be cumbersome and frustrating especially for large spreadsheets. Therefore, supporting techniques and tools for fault localization are highly required. Model-based software debugging (MBSD) is a well-known technique for fault localization in software written in imperative and object-oriented programming languages like C, C++ and Java. In this paper, we explain how to use MBSD for fault localization in spreadsheets and compare three types of models for MBSD, namely the value-based model, the dependency-based model and an improved version of the dependency-based model. Whereas the value-based model computes the lowest number of diagnoses, both dependency-based models convince by their low computational complexity. Hence, a combination of these two types of models is desired, and we present a solution that combines value-based and dependency-based models in this paper. Moreover, we discuss a detailed evaluation of the models and the combined approach, which indicates that the combined approach computes the same number of diagnoses like the value-based models while requiring less computation time. Hence, the proposed approach is more appropriate to be used in tools for fault localization in spreadsheets.
they unfortunately are often erroneous and thus they compute wrong values. Localizing the true cause of such an observed misbehavior can be cumbersome and frustrating especially for large spreadsheets. Therefore, supporting techniques and tools for fault localization are highly required. Model-based software debugging (MBSD) is a well-known technique for fault localization in software written in imperative and object-oriented programming languages like C, C++ and Java. In this paper, we explain how to use MBSD for fault localization in spreadsheets and compare three types of models for MBSD, namely the value-based model, the dependency-based model and an improved version of the dependency-based model. Whereas the value-based model computes the lowest number of diagnoses, both dependency-based models convince by their low computational complexity. Hence, a combination of these two types of models is desired, and we present a solution that combines value-based and dependency-based models in this paper. Moreover, we discuss a detailed evaluation of the models and the combined approach, which indicates that the combined approach computes the same number of diagnoses like the value-based models while requiring less computation time. Hence, the proposed approach is more appropriate to be used in tools for fault localization in spreadsheets.
Originalsprache | englisch |
---|---|
Seiten (von - bis) | 38-53 |
Seitenumfang | 16 |
Fachzeitschrift | IEEE Transactions on Reliability |
Jahrgang | 66 |
Ausgabenummer | 1 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2017 |
Fields of Expertise
- Information, Communication & Computing