Estudo e desenvolvimento de técnicas de teste de software e suas aplicações

• Processo: 19/06937-0
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Data de Início da vigência: 01 de setembro de 2019
• Data de Término da vigência: 31 de agosto de 2021
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Márcio Eduardo Delamaro
• Beneficiário: Márcio Eduardo Delamaro
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Pesquisadores associados: Adenilso da Silva Simão ; Ellen Francine Barbosa ; Jose Carlos Maldonado ; Paulo Sérgio Lopes de Souza ; Simone Do Rocio Senger de Souza
• Assunto(s): Engenharia de software Teste e avaliação de software Teste de mutação
• Palavra(s)-Chave do Pesquisador: Engenharia de Software | Ensino de Teste de Software | Oraculos de teste | software concorrente | Teste de Mutação | Teste de Software | Engenharia de software

Resumo

Este projeto de pesquisa visa contribuir com a área de teste de software por meio da proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimento de produtos de software modernos. A tecnologia de desenvolvimento de software evolui de forma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação e novas arquiteturas. Com a necessidade cada vez maior de garantir qualidade no produto de software, é necessário desenvolver e adaptar técnicas de teste que acompanhem essa evolução. Em particular, sistemas de Realidade Virtual, software concorrente, robôs móveis, requisitos não funcionais e controle de acesso são temas que serão abordados no presente projeto. Além do desenvolvimento de técnicas de teste nesses contextos, estudos experimentais serão realizados visando avaliar as novas propostas de modo a construir um corpo de conhecimento sobre avaliação de técnicas, critérios e ferramentas de teste de software. Ainda, material de ensino e treinamento sobre as abordagens estudadas devem ser preparados com o propósito de transferir as novas abordagens produzidas para estudantes e profissionais de Engenharia de Software. Sobretudo, a oportunidade de colaboração entre as equipes, ambas especialistas na área de teste de software, deverá produzir resultados de extremo impacto social e econômico, dada a importância que a Computação e o desenvolvimento de software, com qualidade, têm na vida das pessoas e na economia dos países. (AU)

Publicações científicas

(13)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

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)

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)

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)

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)

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)

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

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)

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)

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)

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)