Study and development of software testing techniques and their applications

• Grant number: 19/06937-0
• Support Opportunities: Regular Research Grants
• Start date: September 01, 2019
• End date: August 31, 2021
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Márcio Eduardo Delamaro
• Grantee: Márcio Eduardo Delamaro
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil
• City of the host institution: São Carlos
• Associated researchers: Adenilso da Silva Simão ; Ellen Francine Barbosa ; Jose Carlos Maldonado ; Paulo Sérgio Lopes de Souza ; Simone Do Rocio Senger de Souza

Abstract

This research project aims to contribute to the area of software testing by proposing new strategies, techniques and criteria to support the development of modern software products. Software development technology evolves ever faster, covering new environments, new application domains, and new architectures. With the increasing need to ensure quality in the software product, it is necessary to develop and adapt test techniques that follow this evolution. In particular, Virtual Reality systems, concurrent software, mobile robots, nonfunctional requirements and access control are themes that will be addressed in this project. In addition to the development of test techniques in these contexts, experimental studies will be carried out aiming at evaluating the new proposals in order to build a body of knowledge on evaluating testing techniques, criteria and tools. Also, teaching and training material on the approaches studied should be prepared with the purpose of transferring the new approaches produced to students and professionals of Software Engineering. Above all, the opportunity for collaboration between the teams, both specialist in the area of software testing, should produce results of extreme social and economic impact, given the importance that Computing and the development of quality software have in people's lives and in the countries' economies. (AU)

Scientific publications

(21)

(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)

ROCHA, MAURICIO; SIMAO, ADENILSO; SOUSA, THIAGO. Model-based test case generation from UML sequence diagrams using extended finite state machines. SOFTWARE QUALITY JOURNAL, MAR 2021. (19/06937-0, 13/07375-0)

DIAZ, SILVIA M. D.; SOUZA, PAULO S. L.; SOUZA, SIMONE R. S.. Structural testing for communication events into loops of message-passing parallel programs. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, JAN 2021. (13/07375-0, 19/06937-0)

BRITO, MARIA A. S.; SOUZA, SIMONE R. S.; SOUZA, PAULO S. L.. Integration testing for robotic systems. SOFTWARE QUALITY JOURNAL, NOV 2020. (13/03459-4, 19/06937-0)

DELAMARO, MARCIO E.; ANDRADE, STEVAO A.; DE SOUZA, SIMONE R. S.; DE SOUZA, PAULO S. L.. Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v. 31, n. 03, p. 44-pg., 2021-03-01. (17/19492-1, 13/16242-3, 19/06937-0)

DIAZ, SILVIA M. D.; SOUZA, PAULO S. L.; SOUZA, SIMONE R. S.. Structural testing for communication events into loops of message-passing parallel programs. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, v. 33, n. 18, SI, SEP 25 2021. (13/07375-0, 19/06937-0)

SIVEIRA, BEATRIZ N. C.; DURELLI, VINICIUS H. S.; SANTOS, SEBASTIAO H. N.; DURELLI, RAFAEL S.; DELAMARO, MARCIO E.; SOUZA, SIMONE R. S.. Test Data Selection Based on Applying Mutation Testing to Decision Tree Models. PROCEEDINGS OF THE 8TH BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFT-WARE TESTING, SAST 2023, v. N/A, p. 9-pg., 2023-01-01. (19/06937-0)

SANTOS, SEBASTIAO H. N.; CARVALHO DA SILVEIRA, BEATRIZ NOGUEIRA; ANDRADE, STEVAO A.; DELAMARO, MARCIO; SOUZA, SIMONE R. S.. An Experimental Study on Applying Metamorphic Testing in Machine Learning Applications. PROCEEDINGS OF THE 5TH BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING, SAST 2020, v. N/A, p. 9-pg., 2020-01-01. (17/19492-1, 19/06937-0)

SANTOS, ITALO; FILHO, JULIO CESAR C.; SOUZA, SIMONE R. S.; IEEE. A survey on the practices of mobile application testing. 2020 XLVI LATIN AMERICAN COMPUTING CONFERENCE (CLEI 2020), v. N/A, p. 10-pg., 2021-01-01. (18/10183-9, 19/06937-0)

BRITO, MARIA A. S.; SOUZA, SIMONE R. S.; SOUZA, PAULO S. L.. Integration testing for robotic systems. SOFTWARE QUALITY JOURNAL, v. 30, n. 1, p. 33-pg., 2020-11-18. (13/03459-4, 19/06937-0)

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)

SANTOS, ITALO; FURLANETTI, ANDRE B. P.; MELO, SILVANA M.; LOPES DE SOUZA, PAULO SERGIO; DELAMARO, MARCIO E.; SOUZA, SIMONE R. S.. Contributions to improve the combined selection of concurrent software testing techniques. PROCEEDINGS OF THE 5TH BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING, SAST 2020, v. N/A, p. 10-pg., 2020-01-01. (18/10183-9, 19/06937-0)

POLO RUIZ, KEVIN GERARDO; BOTAZZO DELBEM, ALEXANDRE CLAUDIO; LOPES DE SOUZA, PAULO SERGIO. Impact of Distances in an Anomaly Detection Context for Time Series in Software Testing. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS-ICCSA 2025, PT II, v. 15649, p. 17-pg., 2025-01-01. (19/06937-0, 19/26702-8, 13/07375-0)

ANDRADE, STEVAO A.; QUEVEDO, ALVARO JOFFRE U.; NUNES, FATIMA L. S.; DELAMARO, MARCIO E.; IEEE. Understanding VR Software Testing Needs from Stakeholders' Points of View. 2020 22ND SYMPOSIUM ON VIRTUAL AND AUGMENTED REALITY (SVR 2020), v. N/A, p. 10-pg., 2020-01-01. (17/19492-1, 19/06937-0)

SANTOS, ITALO; MELO, SILVANA MORITA; LOPES DE SOUZA, PAULO SERGIO; SOUZA, SIMONE R. S.; IEEE. Towards a unified catalog of attributes to guide industry in software testing technique selection. 2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), v. N/A, p. 10-pg., 2020-01-01. (18/10183-9, 19/06937-0)

ROCHA, MAURICIO; SIMAO, ADENILSO; SOUSA, THIAGO. Model-based test case generation from UML sequence diagrams using extended finite state machines. SOFTWARE QUALITY JOURNAL, v. 29, n. 3, p. 31-pg., 2021-03-17. (13/07375-0, 19/06937-0)

CHOMA NETO, JOAO; CHAGAS, RICARDO; VILELA, RICARDO FERREIRA; MORI, ALLAN; COLANZI, THELMA E.; DE SOUZA, SIMONE R. S.. A Strategy to Support the Infeasible Test Requirements Identification. 7TH BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING, SAST 2022, v. N/A, p. 10-pg., 2022-01-01. (18/25744-6, 19/06937-0)

NASCIMENTO DAMASCENO, CARLOS DIEGO; MOUSAVI, MOHAMMAD REZA; SIMAO, ADENILSO DA SILVA. Learning by sampling: learning behavioral family models from software product lines. EMPIRICAL SOFTWARE ENGINEERING, v. 26, n. 1, JAN 8 2021. (19/06937-0)

GONCALVES, VAGNER MENDONCA; DELAMARO, MARCIO E.; NUNES, FATIMA L. S.; PAIVA, AC; CONCI, A; BRAZ, G; ALMEIDA, JDS; FERNANDES, LAF. Graphical Oracles to Assess Computer-Aided Diagnosis Systems: A Case Study in Mammogram Masses and Calcifications Detection. PROCEEDINGS OF THE 2020 INTERNATIONAL CONFERENCE ON SYSTEMS, SIGNALS AND IMAGE PROCESSING (IWSSIP), 27TH EDITION, v. N/A, p. 6-pg., 2020-01-01. (10/01496-1, 19/06937-0)

MELO, SILVANA M.; MOREIRA, VERONICA X. S.; PASCHOAL, LEO NATAN; SOUZA, SIMONE R. S.. Testing Education: A Survey on a Global Scale. 34TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, SBES 2020, v. N/A, p. 10-pg., 2020-01-01. (18/26636-2, 19/06937-0)

SANTOS, ITALO; COUTINHO, EMANUEL F.; SOUZA, SIMONE R. S.. Software testing ecosystems insights and research opportunities. 34TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, SBES 2020, v. N/A, p. 6-pg., 2020-01-01. (18/10183-9, 19/06937-0)

HERRERA, CAIO GUIMARAES; MONTES, VITOR SILVA; SOUZA, SIMONE R. S.; DOS SANTOS, RICARDO RIBEIRO; LOPES DE SOUZA, PAULO SERGIO. An Architecture for a Reliability Tool Applied to Distributed Systems. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS-ICCSA 2025, PT II, v. 15649, p. 17-pg., 2025-01-01. (19/06937-0, 13/07375-0, 19/26702-8)