Sciweavers

SPLC
2008

Functional Testing of Feature Model Analysis Tools. A First Step

13 years 5 months ago
Functional Testing of Feature Model Analysis Tools. A First Step
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.
Sergio Segura, David Benavides, Antonio Ruiz Cort&
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2008
Where SPLC
Authors Sergio Segura, David Benavides, Antonio Ruiz Cortés
Comments (0)