A search approach for supporting the identification of infeasible sequences in concurrent software

• Grant number: 18/25744-6
• Support Opportunities: Scholarships in Brazil - Doctorate
• Effective date (Start): August 01, 2019
• Effective date (End): July 31, 2022
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Simone Do Rocio Senger de Souza
• Grantee: João Choma Neto
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil

Abstract

Software testing activity is imperative to improve the quality of a software product. However, finding a set of test data that satisfies a given test criterion is not a trivial task because the domain can be large and different test sets can be satisfactory solutions. Testing concurrent programs in addition to presenting the sequential program problems yet, for example, can address the problem of non-determinism and non-executability of synchronization sequences. Search Based Software Engineering (SBSE) seeks to solve difficult problems like this by using search algorithms. Numerous research reports the benefits of using genetic algorithms to solve problems related to software testing and other Software Engineering (SE) problems. After previous results of a state-of-the-art survey, no work was found regarding the use of genetic algorithms to solve the problem of non-executable synchronization sequences in concurrent programs. This project proposes the use of the genetic algorithm to support the problem of non-executability in concurrent programs. (AU)

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

CHOMA NETO, JOAO; MORI, ALLAN; VILELA, RICARDO FERREIRA; COLANZI, THELMA E.; DE SOUZA, SIMONE R. S.; FILIPE, J; SMIALEK, M; BRODSKY, A; HAMMOUDI, S. How to Identify the Infeasible Test Requirements using Static Analyse? An Exploratory Study. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS 2021), VOL 1, v. N/A, p. 8-pg., 2021-01-01. (19/06937-0, 18/25744-6)