Authors:
Ricardo T. Geraldi
1
;
Edson Oliveira Jr.
1
;
Tayana Conte
2
and
Igor Steinmacher
3
Affiliations:
1
State University of Maringá, Brazil
;
2
Federal University of Amazonas, Brazil
;
3
Federal Technological University of Paraná, Brazil
Keyword(s):
Coding, Empirical Study, Feasibility, SMarty, SMartyCheck, Software Inspection, Software Product Line, Qualitative Analysis.
Related
Ontology
Subjects/Areas/Topics:
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Software Engineering
Abstract:
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.