Ponencia
Automated testing on the analysis of variability-intensive artifacts: An exploratory study with SAT Solvers
Autor/es | Sánchez Jerez, Ana Belén
Segura Rueda, Sergio |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2012 |
Fecha de depósito | 2022-07-06 |
Publicado en |
|
Resumen | The automated detection of faults on variability analysis
tools is a challenging task often infeasible due to the combinatorial com plexity of the analyses. In previous works, we successfully automated the
generation of ... The automated detection of faults on variability analysis tools is a challenging task often infeasible due to the combinatorial com plexity of the analyses. In previous works, we successfully automated the generation of test data for feature model analysis tools using metamor phic testing. The positive results obtained have encouraged us to explore the applicability of this technique for the efficient detection of faults in other variability-intensive domains. In this paper, we present an auto mated test data generator for SAT solvers that enables the generation of random propositional formulas (inputs) and their solutions (expected output). In order to show the feasibility of our approach, we introduced 100 artificial faults (i.e. mutants) in an open source SAT solver and com pared the ability of our generator and three related benchmarks to detect them. Our results are promising and encourage us to generalize the tech nique, which could be potentially applicable to any tool dealing with variability such as Eclipse repositories or Maven dependencies analyzers. |
Agencias financiadoras | Comisión Interministerial de Ciencia y Tecnología (CICYT). España Junta de Andalucía |
Identificador del proyecto | SETI (TIN2009-07366)
P07-TIC-2533 (Isabel) P10-TIC-5906 (THEOS) |
Cita | Sánchez Jerez, A.B. y Segura Rueda, S. (2012). Automated testing on the analysis of variability-intensive artifacts: An exploratory study with SAT Solvers. En JISBD 2012 : XVII Jornadas de Ingeniería del Software y Bases de Datos Almería, España: Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES). |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Automated testing on the analysis ... | 265.1Kb | [PDF] | Ver/ | |