Paper Info
Title
Verification of Software Product Line Artefacts: A Checklist to Support Feature Model Inspections.
Abstract
Software Product Line Engineering (SPL) should ensure the correctness, completeness and consistency 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 FODA 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 FMs can be more effective than those applying ad-hoc techniques, regarding four distinct domains.
Year
Venue
Keywords
2014
JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Feature Model,Software Inspection,Domain Engineering,Software Reuse,Software Product Line,Experimental Software Engineering
DocType
Volume
Issue
Journal
20
5
ISSN
Citations 
PageRank 
0948-695X
5
0.45
References 
Authors
26
5
Name
Order
Citations
PageRank
Rafael Maiani de Mello150.45
Eldanae Nogueira250.45
Marcelo Schots391.43
Cláudia Werner4715.57
guilherme horta travassos51257106.71