Advanced search
Start date

Study and development of software testing techniques and their applications


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)

Articles published in Agência FAPESP Newsletter about the research grant:
Articles published in other media outlets (0 total):
More itemsLess items

Scientific publications (4)
(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, v. 33, n. 18, SI SEP 25 2021. Web of Science Citations: 2.
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. Web of Science Citations: 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. Web of Science Citations: 0.
BRITO, MARIA A. S.; SOUZA, SIMONE R. S.; SOUZA, PAULO S. L. Integration testing for robotic systems. SOFTWARE QUALITY JOURNAL, NOV 2020. Web of Science Citations: 0.

Please report errors in scientific publications list by writing to: