Study and development of software testing techniques and their applications

• Grant number: 19/06937-0
• Support Opportunities: Regular Research Grants
• Duration: September 01, 2019 - 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
• 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

(5)

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

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)

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)

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)

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)