| Grant number: | 12/23767-2 |
| Support Opportunities: | Regular Research Grants |
| Start date: | August 01, 2013 |
| End date: | July 31, 2016 |
| Field of knowledge: | Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques |
| Principal Investigator: | Ana Cristina Vieira de Melo |
| Grantee: | Ana Cristina Vieira de Melo |
| Host Institution: | Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil |
| City of the host institution: | São Paulo |
| Associated researchers: | Nandamudi Lankalapalli Vijaykumar ; Valdivino Alexandre de Santiago Júnior |
Abstract
Testing and formal verification are the main software development activities to guarantee systems reliability. Due to the high cost of these activities in practice, the application of both to a single project depends on methods to explore information they can interchange in a complementar manner and tools to support such methods.Aiming at applying testing and formal verification to critical mission software in practice, this project proposes the development of a methodology to integrate these activities, together with a set tools to support the practical work to make them more cost-effective. The main scientific challenge in this project is the exploration of possible ways information can be interchanged between testing and verification throughout software development to provide their simultaneous use in single projects. (AU)
| Articles published in Agência FAPESP Newsletter about the research grant: |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |