INPE-15648-NTC/377 SOFTWARE VERIFICATION AND VALIDATION METHODS AND TOOLS Ana Maria Ambrosio Nuno Silva* *Critical Software S.A. INPE São José dos Campos 2008 Publicado por: esta página é responsabilidade do SID Instituto Nacional de Pesquisas Espaciais (INPE) Gabinete do Diretor – (GB) Serviço de Informação e Documentação (SID) Caixa Postal 515 – CEP 12.245-970 São José dos Campos – SP – Brasil Tel.: (012) 3945-6911 Fax: (012) 3945-6919 E-mail:
[email protected] Solicita-se intercâmbio We ask for exchange Publicação Externa – É permitida sua reprodução para interessados. INPE-15648-NTC/377 SOFTWARE VERIFICATION AND VALIDATION METHODS AND TOOLS Ana Maria Ambrosio Nuno Silva* *Critical Software S.A. INPE São José dos Campos 2008 SOFTWARE VERIFICATION AND VALIDATION METHODS AND TOOLS REWIS PROJECT REVVIS – Reunião de Especialistas em Verificação e Validação de Software Working Group - Benchmarking de métodos e ferramentas de V&V de software Ana Maria Ambrosio
[email protected] Instituto National de Pesquisas Espaciais (INPE) – Brasil Author Nuno Silva
[email protected] Critical Software S.A. – Portugal Author Paulo C. Veras
[email protected] Instituto de Tecnologia Aeronáutica (ITA) - Brasil Contributor Enrique Larios Vargas
[email protected] Pontificia Universidad Catolica Del Peru - Peru Contributor Maximiliano Cristiá REVVIS Coordinator SUMMARY Pág. LIST OF TABLES…………………………………………………………………………… 1. Introduction .............................................................................................. .... 9 1.1 Document Scope ...........................................................................................