Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach

Abstract : Companies and other organizations use spreadsheets regularly as basis for evaluation or decision-making. Hence, spreadsheets have a huge economical and societal impact and fault detection, localization, and correction in the domain of spreadsheet development and maintenance becomes more and more important. In this paper, we focus on supporting fault localization and correction given the spreadsheet and information about the expected cell values, which are in contradiction with the computed values. In particular, we present a constraint approach that computes potential root causes for observed behavioral deviations and also provide possible fixes. In our approach we compute possible fixes using spreadsheet mutation operators applied to the cells’ equations. As the number of fixes can be large, we automatically generate distinguishing test cases to eliminate those fixes that are invalid corrections. In addition, we discuss the first results of an empirical evaluation based on a publicly available spreadsheet corpus. The approach generates on average 3.1 distinguishing test cases and reports 3.2 mutants as possible fixes.
Type de document :
Communication dans un congrès
Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushenko. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. Lecture Notes in Computer Science, LNCS-9447, pp.124-140, 2015, Testing Software and Systems. 〈10.1007/978-3-319-25945-1_8〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01470160
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 février 2017 - 10:26:04
Dernière modification le : vendredi 17 février 2017 - 10:37:06
Document(s) archivé(s) le : jeudi 18 mai 2017 - 13:56:01

Fichier

385214_1_En_8_Chapter.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Rui Abreu, Simon Außerlechner, Birgit Hofer, Franz Wotawa. Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach. Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushenko. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. Lecture Notes in Computer Science, LNCS-9447, pp.124-140, 2015, Testing Software and Systems. 〈10.1007/978-3-319-25945-1_8〉. 〈hal-01470160〉

Partager

Métriques

Consultations de la notice

122