Verification of Feature Anomalies in Software Product Line Feature Models

Abstract

Products with new features need to be introduced on the market in a prompt step and organizations need to speed up their development process. Reuse has been suggested as asolution, but to achieve effective reuse within an organization a planned and preemptive effort must be used. Software Product lines are the most promising technique and it increases productivity and software quality and decreases time-to-market. In SPL, a feature model shows various types of features and seizures the relationships among them. As different configuration found in feature model it has high probability that some configuration is not correct. There could be anomalies in feature model which could lead invalid configuration every time. Number of rules proposed to identify those anomalies. Some tools can identities those anomalies. Verifying those rule with different tools ensure that those rules are correct and universal on every tools.