Busca avançada
Ano de início
Entree

Teste e validação de software: estudos teóricos e aplicações

Resumo

Este projeto de pesquisa se concentra na área de Engenharia de Software e, mais especificamente, de teste de software. Além de contribuir para o avanço do estado da arte e estado da prática, propondo técnicas e ferramentas para o teste de software, este projeto deve contribuir na formação de recursos humanos na área, por meioda formação de estudantes de graduação e pós-graduação, que participarão da sua execução. Cinco tópicos principais são abordados:1) utilização de máquinas virtuais no teste de software; 2) definição de oráculos de teste para programas com saídas gráficas; 3) geração de dados de teste para modelos Simulink; 4) definição de oráculos de teste para modelos Simulink; e 5) definição de critérios de teste para aplicações de Realidade Virtual. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Publicações científicas (4)
(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)
CORREA SOUZA, ALINNE C.; NUNES, FATIMA L. S.; DELAMARO, MARCIO E.. An automated functional testing approach for virtual reality applications. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 28, n. 8, . (12/06476-4, 10/15691-0, 10/09806-0)
BARESI, LUCIANO; DELAMARO, MARCIO; NARDI, PAULO. Test oracles for simulink-like models. AUTOMATED SOFTWARE ENGINEERING, v. 24, n. 2, p. 369-391, . (10/09806-0)
NARCISO, EVERTON NOTE; DELAMARO, MARCIO EDUARDO; DOS SANTOS NUNES, FATIMA DE LOURDES. Test Case Selection: A Systematic Literature Review. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v. 24, n. 4, p. 653-676, . (10/09806-0, 10/15691-0)
VAGNER MENDONÇA GONÇALVES; MÁRCIO EDUARDO DELAMARO; FÁTIMA DE LOURDES DOS SANTOS NUNES. A systematic review on the evaluation and characteristics of computer-aided diagnosis systems. Rev. Bras. Eng. Bioméd., v. 30, n. 4, p. 355-383, . (10/09806-0, 10/15691-0, 10/01496-1)

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.