VVTransv: a method for traversing testing and verification through critical software development

• 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
• 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)

Scientific publications

(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)

HANAZUMI, SIMONE; DE MELO, ANA C. V.. A Formal Approach to implement java exceptions in cooperative systems. JOURNAL OF SYSTEMS AND SOFTWARE, v. 131, p. 475-490, SEP 2017. (13/22317-6, 12/23767-2, 11/01928-1)

DOS SANTOS, LUCIANA BRASIL REBELO; DE SANTIAGO, VALDIVINO ALEXANDRE JUNIOR; VIJAYKUMAR, NANDAMUDI LANKALAPALLI. Transformation of UML Behavioral Diagrams to Support Software Model Checking. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, v. N/A, n. 147, p. 10-pg., 2014-01-01. (12/23767-2)