Ponencia
Functional Testing of Feature Model Analysis Tools. A First Step
Autor/es | Segura Rueda, Sergio
Benavides Cuevas, David Felipe Ruiz Cortés, Antonio |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2008 |
Fecha de depósito | 2015-06-29 |
Publicado en |
|
Resumen | The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementation of these operations using a specific ... The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementation of these operations using a specific solver is an error-prone and time-consuming task. To improve this situation, we propose to design a generic set of test cases to verify the functionality and correctness of the tools for the automated analysis of FMs. These test cases would help to improve the reliability of the existing tools while reducing the time needed to develop new ones. As a starting point, in this position paper we overview some of the classifications of software testing methods reported in the literature and study the adequacy of each approach to the context of our proposal. |
Agencias financiadoras | Comisión Interministerial de Ciencia y Tecnología (CICYT). España Junta de Andalucía |
Identificador del proyecto | TIN2006-00472
TIC-2533 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
file_1.pdf | 43.67Kb | [PDF] | Ver/ | |