Automatic Test Generation for Reactive Systems

• Grant number: 12/23500-6
• Support Opportunities: Scholarships in Brazil - Post-Doctoral
• Start date: April 01, 2013
• End date: April 30, 2014
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Theory of Computation
• Principal Investigator: Arnaldo Vieira Moura
• Grantee: Adilson Luiz Bonifácio
• Host Institution: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Abstract

The development process of critical systems, often embedded and mostly reactive, certainly needs the support of formal techniques and methods in order to automate activities related to the system development and, specially, those activities related to testing. One of the most promising approaches is model-based testing, with the aid of appropriate formalisms for treating the reactive aspects of such systems. Discrete transitions together with the continuous time evolution are additional aspects that makes more difficult and complex the activity of testing reactive critical systems. This project intends to develop and apply techniques based on formal models to the testing process of reactive and temporal systems. In particular, the project focus the automatic generation of test suites, as well as the completeness of the test cases that result from such automatic processes.