JUCS - Journal of Universal Computer Science 20(5): 720-745, doi: 10.3217/jucs-020-05-0720
Verification of Software Product Line Artefacts: A Checklist to Support Feature Model Inspections
expand article infoRafael Maiani De Mello, Eldanae Nogueira Teixeira, Marcelo Schots, Cláudia Maria Lima Werner, Guilherme Travassos
‡ COPPE-Federal University of Rio de Janeiro, Rio de Janeiro, Brazil
Open Access
Software Product Line Engineering (SPL) should ensure the correctness, completeness and consistenc y of its artefacts and related domain to prevent the propagation of defects in derived products. Software inspection techniques are effective in detecting defects in software artefacts and avoiding their propagation throughout the software development process. However, the results of a quasi-systematic review of the technical literature reported in this paper pointed to a lack of such techniques to support the inspection of SPL artefacts, including techniques to support the inspection of feature models (FMs) that are largely used in domain modelling. Therefore, a checklist-based inspection technique (FMCheck) has been developed to support the detection of defects on FMs. FMCheck is configurable and can be applied to the original feature model notation (the F ODA approach) and its extensions, including the Odyssey-FEX notation. The inspection technique was empirically evaluated, having indicated its feasibility and effectiveness. It is possible to see that inspectors applying FMCheck to inspect F-s can be more effective than those applying ad-hoc techniques, regarding four distinct domains.
feature model, software inspection, domain engineering, software reuse, software product line, experimental software engineering