UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Combinatorial Interaction Testing for Automated Constraint Repair

Gargantini, A; Petke, J; Radavelli, M; (2017) Combinatorial Interaction Testing for Automated Constraint Repair. In: Kitamura, Takashi and Alégroth, Emil and Ramler, Rudolf, (eds.) Proceedings of 10th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW - 2017). (pp. pp. 239-248). IEEE: Tokyo, Japan. Green open access

[img]
Preview
Text
Petke_constraintrepair.pdf - ["content_typename_Accepted version" not defined]

Download (2MB) | Preview

Abstract

Highly-configurable software systems can be easily adapted to address user’s needs. Modelling parameter configurations and their relationships can facilitate software reuse. Combinatorial Interaction Testing (CIT) methods are already often used to drive systematic testing of software system configurations. However, a model of the system’s configurations not conforming with respect to its software implementation, must be repaired in order to restore conformance. In this paper we extend CIT by devising a new search-based technique able to repair a model composed of a set of constraints among the various software system’s parameters. Our technique can be used to detect and fix faults both in the model and in the real software system. Experiments for five real-world systems show that our approach can repair on average 37% of conformance faults. Moreover, we also show it can infer parameter constraints in a large real-world software system, hence it can be used for automated creation of CIT models.

Type: Proceedings paper
Title: Combinatorial Interaction Testing for Automated Constraint Repair
Event: 10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW)
Location: Tokyo, JAPAN
Dates: 13 March 2017 - 17 March 2017
Open access status: An open access version is available from UCL Discovery
DOI: 10.1109/ICSTW.2017.44
Publisher version: https://doi.org/10.1109/ICSTW.2017.44
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
Keywords: combinatorial testing, configurable systems, feature models
UCL classification: UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/1558060
Downloads since deposit
60Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item