Advanced search
Start date

Automating Test Oracles for Systems with Complex Outputs

Grant number: 12/06474-1
Support type:Scholarships in Brazil - Doctorate
Effective date (Start): December 01, 2012
Effective date (End): February 15, 2016
Field of knowledge:Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
Principal Investigator:Márcio Eduardo Delamaro
Grantee:Rafael Alves Paes de Oliveira
Home Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil
Associated scholarship(s):13/01775-6 - Automating test oracles for systems with complex outputs, BE.EP.DR


The definition of oracles - mechanisms (program, process or data) used to judge the correctness of a program under test - is key to successful automation of software testing activities. The automation of oracles is not a simple task and this activity becomes even more costly when the decision regarding the correctness of the system must take into account complex outputs, such as, a file that represents a sound message, a graphical interface or a Virtual Reality environment. When reactive or real time systems such as speech synthesis programs are cosidered the complexity becomes even greater. The literature is scarce on flexible strategies for automating oracles for these domains. One possible source of information for oracle automation may be the feature extraction of sound signals, images or virtual scenes produced by the systems under test. These characteristics serve as a source of information to indicate the correctness or otherwise of applications. This project aims at the implementation and the generation of resources to the automatization of testing oracles for systems whose output is given in complex form. The implementation of plugins for the framework O-FIm (Oracle for Image), developed in previous work, enables the automation of oracles for different test domains such as graphical interfaces and Web applications. O- FIm uses concepts of CBIR (Content-Based Image Retrieval) as a strategy to automated oracles to particular domains. As a result, the work is expected to contribute to the Software Engineering through empirical evaluations and experiments concerning the applicability of this strategy in systems whose output is given in complex formats. Furthermore, the implementation of plugins for the tool opens the possibility of technology transfer between academia and industry.

Academic Publications
(References retrieved automatically from State of São Paulo Research Institutions)
OLIVEIRA, Rafael Alves Paes de. Test orales for systems with complex outputs: the case of TTS systems. 2017. Doctoral Thesis - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação São Carlos.

Please report errors in scientific publications list by writing to: