Checklist-based Inspection of SMarty Variability Models - Proposal and Empirical Feasibility Study
Ricardo Theis Geraldi, Edson Oliveira, Tayana Uchôa Conte, Igor Steinmacher · 2015
Software inspection is a particular type of software review applied to all life-cycle artifacts and follows a rigorous and well-defined defect detection process. Existing literature defines several inspection techniques for different domains. However, they are not for inspecting product-line UML variability models. This paper proposes SMartyCheck, a checklist-based software inspection technique for product-line use case and class variability models according to the SMarty approach. In addition, it presents and discusses the empirical feasibility of SMartyCheck based on the feedback from several experts. It provides evidence of the SMartyCheck feasibility, as well as to improve it, forming a body of knowledge for planning prospective empirical studies and automation of SMartyCheck.