SMartyCheck : uma técnica de inspeção baseada em checklist para diagramas de casos de uso e de classes da abordagem SMarty

• Autor(a) principal: Geraldi, Ricardo Theis
• Data de Publicação: 2015
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Institucional da Universidade Estadual de Maringá (RI-UEM)
• dARK ID: ark:/35916/00130000045cv
• Texto Completo: http://repositorio.uem.br:8080/jspui/handle/1/2558
• topic: Inspeção de software; Linha de produto de software; Gerenciamento de variabilidade; SMartyCheck; Estudos empíricos; Mixed-Methods; UML (Unified Modeling Language); Brasil.; Empirical studies; Mixed-Methods; Software inspection; Software product line; SMarty; SMartyCheck; UML; Variability management; Brazil.; Ciências Exatas e da Terra; Ciência da Computação

Software Product Line (SPL) is a promising approach for specific domain software artifacts reuse, which has been consolidated. The SPL approach enables customization of products with an effective support of variability management, satisfying specific needs of customers. However, in order to assure SPL quality it is essential performing activities for verification and validation, static and dynamic analysis, which are encompassed by quality assurance and quality control software processes. In this scenario, software revision is applied to the quality control process in order to ensure the quality of a software engineering process, removing defects at each stage. Thus, amongst software revision techniques, exist the checklist-based reading technique. Such a technique allows the detection and removal of several types of defects, whereas improves the quality of the software products. In this context, this master thesis proposes a software inspection technique based on checklist, called SMartyCheck. The main objective of SMartyCheck technique is to enable the inspection of Unified Modeling Language (UML) use case and class SPL diagrams based on the Stereotype-based Management of Variability (SMarty) apporach. In order to empirically evaluate SMartyCheck it was used the sequential exploratory strategy based on mixed-methods, aiming at analyzing the SMartyCheck feasibility throughout a qualitative study. Furthermore, a quantitative study was conducted in this scenario to evaluate the efficiency, efficacy and effectiveness of SMartyCheck compared with an Ad hoc technique. The results obtained with the execution of such empirical studies allowed improving SMartyCheck, providing evidence that the technique is feasible for inspecting SMarty SPL diagrams, besides being efficient and effective compared to the Ad hoc technique.