Topics Research

Current Research Topics

• Software Engineering,

• Software Product Lines, 

• Software quality, 

• Software evolution,

• Repository Mining,

• Human Aspects.

Research Project

2016 - 2019

Combinatorial Interaction Testing Tools for Software Product Lines Engineering: A Comparative Analysis

• Description: Testing a system is a routine activity and plays an important role in the software quality assurance process. However, testing highly-configurable systems, such as Software Product Lines (SPL), is a complex activity due to the presence of variability in its engineering process, which increases the number of product configurations to test. In case a defect affects one (or a subset) of these functionalities, a range of products (and not just one, such as in traditional Software Engineering, in which each product is built from scratch) may be affected. Such complexity also implies a significant increase in the cost of testing. The use of tool-supported sampling testing techniques could bring significant contributions to achieve reductions in such a cost. Among the most effective techniques, Combinatorial Interaction Testing (CIT) has been used extensively to sample inputs to software, and to test highly-configurable software systems. CIT is based on the premise that many errors in software can only arise from the interaction of two or more parameters. CIT take as input a configuration model that defines the valid configuration space for the software under test. This model typically includes a set of configuration options, each of which takes a value from a small number of discrete settings, and a set of system-wide constraints among configuration options. Given the model, these methods compute a t-way covering array - a set of configurations, in which each valid combination of option settings for every combination of t options appears at least once. The system is then tested by running its test suite in all the configurations selected. In this investigation, we aimed to analyze the effectiveness of existing tool support for CIT. To accomplish our goal, we introduced the MERCI - a Method to Evaluate Combinatory Interaction Testing techniques, aimed to establish a systematic means to evaluate the adequacy of existing CIT tools for highly-configurable systems testing. In this work, we performed an empirical evaluation to compare four CIT tools: ACTS, CATS, PICTMaster and VPTag. The analysis considered the metrics defect detection, test coverage and test execution length. The yielded results show that the method could be employed as a good mechanism to evaluate how CIT tools could behave in a practical SPL testing scenario.

• Status: Completed; Nature: Research.

• Students involved: Academic master's degree: (1) . 

• Members: Denivan do Carmo Campos da Silva - Member/ Ivan do Carmo Machado - Coordinator.

2010 - 2011

Verifying and Introducing IT Service Management Practices in the Business and Commercial Society of Paraíso do Tocantins

• Status: Completed; Nature: Research.

• Students involved: Academic Technology 's degree: (1) . 

• Members: Denivan do Carmo Campos da Silva - member/ Stefan Rosa de Oliveira - Coordinator.