Gargantini, A;
Petke, J;
Radavelli, M;
Vavassori, P;
(2016)
Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing.
In: Sarro, F and Deb, K, (eds.)
International Symposium on Search Based Software Engineering.
(pp. pp. 49-63).
Springer, Cham: Raleigh, NC, USA.
Preview |
Text
Petke_paper_23.pdf - Accepted Version Download (440kB) | Preview |
Abstract
The appeal of highly-configurable software systems lies in their adaptability to users’ needs. Search-based Combinatorial Interaction Testing (CIT) techniques have been specifically developed to drive the systematic testing of such highly-configurable systems. In order to apply these, it is paramount to devise a model of parameter configurations which conforms to the software implementation. This is a non-trivial task. Therefore, we extend traditional search-based CIT by devising 4 new testing policies able to check if the model correctly identifies constraints among the various software parameters. Our experiments show that one of our new policies is able to detect faults both in the model and the software implementation that are missed by the standard approaches.
| Type: | Proceedings paper |
|---|---|
| Title: | Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing |
| Event: | 8th International Symposium, SSBSE 2016 |
| Location: | Raleigh, NC |
| Dates: | 08 October 2016 - 10 October 2016 |
| ISBN-13: | 978-3-319-47105-1 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-319-47106-8_4 |
| Publisher version: | http://dx.doi.org/10.1007/978-3-319-47106-8_4 |
| 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: | Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, Theory & Methods, Computer Science, Combinatorial testing, Feature models, Configurable systems, CIT, Software Product Lines |
| 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-pp.ucl.ac.uk/id/eprint/1526717 |
Archive Staff Only
 |
View Item |
