%0 Conference Proceedings
%T Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach
%+ Palo Alto Research Center (PARC)
%+ Graz University of Technology [Graz] (TU Graz)
%A Abreu, Rui
%A Ausserlechner, Simon
%A Hofer, Birgit
%A Wotawa, Franz
%Z Part 3: Monitoring and Fault Localization
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 27th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Sharjah and Dubai, United Arab Emirates
%Y Khaled El-Fakih
%Y Gerassimos Barlas
%Y Nina Yevtushenko
%3 Testing Software and Systems
%V LNCS-9447
%P 124-140
%8 2015-11-23
%D 2015
%R 10.1007/978-3-319-25945-1_8
%K Fault localization
%K Spreadsheet debugging
%K Distinguishing test-cases
%K Spreadsheet mutations
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01470160/document
%2 https://inria.hal.science/hal-01470160/file/385214_1_En_8_Chapter.pdf
%L hal-01470160
%U https://inria.hal.science/hal-01470160
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-9447