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.
Preview |
Text
Petke_constraintrepair.pdf - Accepted Version 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 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: | https://discovery.ucl.ac.uk/id/eprint/1558060 |
Archive Staff Only
 |
View Item |
