Software test and validation: theoretical studies and applications

• Grant number: 10/09806-0
• Support Opportunities: Regular Research Grants
• Start date: March 01, 2011
• End date: February 28, 2013
• 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: Fátima de Lourdes dos Santos Nunes Marques

Abstract

This research project focuses on the area of Software Engineering and more specifically software testing. Besides contributing to the advancement of the state of the art and state ofthe practice, proposing techniques and tools for software testing, this project contributes to the development of human resources in the area, through training of undergraduate and postgraduate students, who participate in its implementation.Five major topics are covered: 1) use of virtual machines in software testing; 2) definition of test oracles for programs with graphical output; 3) generation of test data for Simulink models; 4) definition of test oracles for Simulink models; and 5) definition of test criteria for Virtual Reality applications. (AU)

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)

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, DEC 2018. (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, JUN 2017. (10/09806-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, 2014-12-00. (10/15691-0, 10/01496-1, 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, MAY 2014. (10/09806-0, 10/15691-0)