-
Feature-oriented Test Case Selection and Prioritization During the Evolution of Highly-Configurable Systems
Authors:
Willian D. F. Mendonça,
Wesley K. G. Assunção,
Silvia R. Vergilio
Abstract:
Testing Highly Configurable Systems (HCSs) is a challenging task, especially in an evolution scenario where features are added, changed, or removed, which hampers test case selection and prioritization. Existing work is usually based on the variability model, which is not always available or updated. Yet, the few existing approaches rely on links between test cases and changed files (or lines of c…
▽ More
Testing Highly Configurable Systems (HCSs) is a challenging task, especially in an evolution scenario where features are added, changed, or removed, which hampers test case selection and prioritization. Existing work is usually based on the variability model, which is not always available or updated. Yet, the few existing approaches rely on links between test cases and changed files (or lines of code), not considering how features are implemented, usually spread over several and unchanged files. To overcome these limitations, we introduce FeaTestSelPrio, a feature-oriented test case selection and prioritization approach for HCSs. The approach links test cases to feature implementations, using HCS pre-processor directives, to select test cases based on features affected by changes in each commit. After, the test cases are prioritized according to the number of features they cover. Our approach selects a greater number of tests and takes longer to execute than a changed-file-oriented approach, used as baseline, but FeaTestSelPrio performs better regarding detected failures. By adding the approach execution time to the execution time of the selected test cases, we reached a reduction of $\approx$50%, in comparison with retest-all. The prioritization step allows reducing the average test budget in 86% of the failed commits.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Assessment of nanoparticle immersion depth at liquid interfaces from chemically equivalent macroscopic surfaces
Authors:
Joeri Smits,
Rajendra Prasad Giri,
Chen Shen,
Diogo Mendonça,
Bridget Murphy,
Patrick Huber,
Kurosch Rezwan,
Michael Maas
Abstract:
Hypothesis: We test whether the wettability of nanoparticles (NPs) straddling at an air/water surface or oil/water interface can be extrapolated from sessile drop-derived macroscopic contact angles (mCAs) on planar substrates, assuming that both the nanoparticles and the macroscopic substrates are chemically equivalent and feature the same electrokinetic potential. Experiments: Pure silica (SiO2)…
▽ More
Hypothesis: We test whether the wettability of nanoparticles (NPs) straddling at an air/water surface or oil/water interface can be extrapolated from sessile drop-derived macroscopic contact angles (mCAs) on planar substrates, assuming that both the nanoparticles and the macroscopic substrates are chemically equivalent and feature the same electrokinetic potential. Experiments: Pure silica (SiO2) and amino-terminated silica (APTES-SiO2) NPs are compared to macroscopic surfaces with extremely low roughness (root mean square [RMS] roughness <= 2 nm) or a roughness determined by a close-packed layer of NPs (RMS roughness about 35 nm). Equivalence of the surface chemistry is assessed by comparing the electrokinetic potentials of the NPs via electrophoretic light scattering and of the macroscopic substrates via streaming current analysis. The wettability of the macroscopic substrates is obtained from advancing (ACAs) and receding contact angles (RCAs) and in situ synchrotron X-ray reflectivity (XRR) provided by the NP wettability at the liquid interfaces. Findings: Generally, the RCA on smooth surfaces provides a good estimate of NP wetting properties. However, mCAs alone cannot predict adsorption barriers that prevent NP segregation to the interface, as is the case with the pure SiO2 nanoparticles. This strategy greatly facilitates assessing the wetting properties of NPs for applications such as emulsion formulation, flotation, or water remediation.
△ Less
Submitted 9 February, 2022; v1 submitted 8 February, 2022;
originally announced February 2022.
-
Cyber-Cosmos: A New Citizen Science Concept in A Dark Sky Destination
Authors:
Domingos Barbosa,
Bruno Coelho,
Miguel Bergano,
Catarina Magalhães,
David Mendonça,
Daniela Silva,
Alexandre C. M. Correia,
João Pandeirada,
Valério Ribeiro,
Thomas Esposito,
Franck Marchis
Abstract:
Astrotourism and related citizen science activities are becoming a major trend of a sustainable, high-quality tourism segment, core elements to the protection of Dark skies in many countries. In the Summer of 2020, in the middle of COVID pandemics, we started an initiative to train young students - Cyber-Cosmos - using an Unistellar eVscope, a smart, compact and user-friendly digital telescope tha…
▽ More
Astrotourism and related citizen science activities are becoming a major trend of a sustainable, high-quality tourism segment, core elements to the protection of Dark skies in many countries. In the Summer of 2020, in the middle of COVID pandemics, we started an initiative to train young students - Cyber-Cosmos - using an Unistellar eVscope, a smart, compact and user-friendly digital telescope that offers unprecedented opportunities for deep-sky observation and citizen science campaigns. Sponsored by the Ciência Viva Summer program, this was probably the first continuous application of this equipment in a pedagogical and citizen-science context, and in a pandemic context. Pampilhosa da Serra, home to a certified Dark Sky destination (Aldeias do Xisto) in central Portugal, was the chosen location for this project, where we expect astrotourism and citizen science to flourish and contribute to space sciences education.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Cataloging Dependency Injection Anti-Patterns in Software Systems
Authors:
Rodrigo Laigner,
Diogo Mendonça,
Alessandro Garcia,
Marcos Kalinowski
Abstract:
Context: Dependency Injection (DI) is a commonly applied mechanism to decouple classes from their dependencies in order to provide higher modularization. However, bad DI practices often lead to negative consequences, such as increasing coupling. Although white literature conjectures about the existence of DI anti-patterns, there is no evidence on their practical relevance, usefulness, and generali…
▽ More
Context: Dependency Injection (DI) is a commonly applied mechanism to decouple classes from their dependencies in order to provide higher modularization. However, bad DI practices often lead to negative consequences, such as increasing coupling. Although white literature conjectures about the existence of DI anti-patterns, there is no evidence on their practical relevance, usefulness, and generality. Objective: The objective of this study is to propose and evaluate a catalog of Java DI anti-patterns and associated refactorings. Methodology: We reviewed existing reported DI anti-patterns in order to analyze their completeness. The limitations found in literature motivated proposing a novel catalog of 12 DI anti-patterns. We developed a tool to statically analyze the occurrence level of the candidate DI anti-patterns in both open-source and industry projects. Next, we survey practitioners to assess their perception on the relevance, usefulness, and their willingness on refactoring anti-pattern instances of the catalog. Results: Our static code analyzer tool showed a relative recall of 92.19% and high average precision. It revealed that at least 9 different DI anti-patterns appeared frequently in the analyzed projects. Besides, our survey confirmed the perceived relevance of the catalog and developers expressed their willingness to refactor instances of anti-patterns from source code. Conclusion: The catalog contains Java DI anti-patterns that occur in practice and that are perceived as useful. Sharing it with practitioners may help them to avoid such anti-patterns, thus improving source-code quality.
△ Less
Submitted 16 October, 2021; v1 submitted 9 September, 2021;
originally announced September 2021.
-
BlockColdChain: Vaccine Cold Chain Blockchain
Authors:
Ronan D. Mendonça,
Otávio S. Gomes,
Luiz F. M. Vieira,
Marcos A. M. Vieira,
Alex B. Vieira,
José A. M. Nacif
Abstract:
In this paper, we propose a blockchain-based cold chain technology for vaccine cooling track. The COVID-19 pandemic has caused the death of millions of people. An important step towards ending the pandemic is vaccination. Vaccines must be kept under control temperature during the whole process, from fabrication to the hands of the health professionals who will immunize the population. However, the…
▽ More
In this paper, we propose a blockchain-based cold chain technology for vaccine cooling track. The COVID-19 pandemic has caused the death of millions of people. An important step towards ending the pandemic is vaccination. Vaccines must be kept under control temperature during the whole process, from fabrication to the hands of the health professionals who will immunize the population. However, there are numerous reports of vaccine loss due to temperature variations, and, currently, people getting vaccinated have no control if their vaccine was kept safe. Blockchain is a technology solution that can provide public and verifiable records. We review the World Health Organization (WHO) cool chain and Blockchain technology. Moreover, we describe current IoT temperature monitoring devices and propose Blockcoldchain to track vaccine cold chain using blockchain, thus proving an unalterable vaccine temperature history. Our experimental results using smart contracts demonstrate the system's feasibility.
△ Less
Submitted 28 April, 2021;
originally announced April 2021.
-
An Empirical Investigation on the Challenges of Creating Custom Static Analysis Rules for Defect Localization
Authors:
Diogo Silveira Mendonça,
Marcos Kalinowski
Abstract:
Background: Custom static analysis rules, i.e., rules specific for one or more applications, have been successfully applied to perform corrective and preventive software maintenance. Pattern-Driven Maintenance (PDM) is a method designed to support the creation of such rules during software maintenance. However, as PDM was recently proposed, few maintainers have reported on its usage. Hence, the ch…
▽ More
Background: Custom static analysis rules, i.e., rules specific for one or more applications, have been successfully applied to perform corrective and preventive software maintenance. Pattern-Driven Maintenance (PDM) is a method designed to support the creation of such rules during software maintenance. However, as PDM was recently proposed, few maintainers have reported on its usage. Hence, the challenges and skills needed to apply PDM properly are unknown. Aims: In this paper, we investigate the challenges faced by maintainers on applying PDM for creating custom static analysis rules for defect localization. Method: We conducted an observational study on novice maintainers creating custom static analysis rules by applying PDM. The study was divided into three tasks: (i) identifying a defect pattern, (ii) programming a static analysis rule to locate instances of the pattern, and (iii) verifying the located instances. We analyzed the efficiency and acceptance of maintainers on applying PDM and their comments on task challenges. Results: We observed that previous knowledge on debugging, the subject software, and related technologies influenced the performance of maintainers as well as the time to learn the technology involved in rule programming. Conclusions: The results strengthen our confidence that PDM can help maintainers in producing custom static analysis rules for locating defects. However, a proper selection and training of maintainers is needed to apply PDM effectively. Also, using a higher level of abstraction can ease static analysis rule programming for novice maintainers.
△ Less
Submitted 18 November, 2021; v1 submitted 25 November, 2020;
originally announced November 2020.
-
Professional Practice in Higher Education: A Case Study in Faculty Training and Development in Brazil
Authors:
Edileuza de Freitas Miranda de Mendonca,
Jose Gomez-Galan
Abstract:
One of the most important debates is currently focusing on specifying the training that university teachers must receive for their professional practice. Improving it in higher education is extremely important not only for the scientific production generated by university but also for the adequacy of the training that future graduates will be offered; professionals facing an increasingly demanding…
▽ More
One of the most important debates is currently focusing on specifying the training that university teachers must receive for their professional practice. Improving it in higher education is extremely important not only for the scientific production generated by university but also for the adequacy of the training that future graduates will be offered; professionals facing an increasingly demanding labour market with new needs. University teachers training, thus, should be a priority in academic policies due to their influence and the role played in the evolution of society, as well as being the basis of the quality of Higher Education. This research, a case study in the State of Goias (Brazil), is focused on a sample of practicing university teachers from different fields of knowledge, and has as main objective to know the characteristics of the training received for their professional practice, both in the field of scientific education and their educational role and ability to transfer knowledge. The methodology used has been mixed, not experimental and descriptive, with the help of instruments for data collection and analysis of quantitative and qualitative nature (questionnaires, interviews, monitoring, checklists, documentary analysis, etc.). The results confirmed the initial hypothesis, which stated that university teachers current training is primarily scientific and technical, and has gaps in the teacher training required today for a more effective work in the classroom. In this area teachers often use teaching methodologies supported by previous experiences with traditional features. Finally, to optimize this situation, different strategies for university teachers training are proposed seeking to improve both their reflection and teaching practice.
△ Less
Submitted 26 January, 2018;
originally announced February 2018.
-
Loop quantization of a 3D Abelian BF model with sigma-model matter
Authors:
Diego C. M. Mendonça,
Olivier Piguet
Abstract:
The main goal of this work is to explore the symmetries and develop the dynamics associated to a 3D Abelian BF model coupled to scalar fields submitted to a sigma model like constraint, at the classical and quantum levels. We apply to the present model the techniques of Loop Quantum Gravity, construct its physical Hilbert space and its observables.
The main goal of this work is to explore the symmetries and develop the dynamics associated to a 3D Abelian BF model coupled to scalar fields submitted to a sigma model like constraint, at the classical and quantum levels. We apply to the present model the techniques of Loop Quantum Gravity, construct its physical Hilbert space and its observables.
△ Less
Submitted 4 October, 2014;
originally announced October 2014.