Um estudo de tecnicas de validacao e de verificacao de produtos de software

Abstract

No desenvolvimento de um produto de software devem ser efetuadas avaliações, com o objetivo de validá-lo e de verificá-lo, dando assim origem a produtos mais confiáveis. Este trabalho sttua a validação e a verificação no ciclo de desenvolvimento de um produto e apresenta algumas técnicas utilizadas em cada um destes processos. Apresenta, também, algumas considerações a respeito de quais as técnicas de valtdaçlo e de vertficaçlo mais apropriadas aos principais paradigmas de desenvolvimento de software (imperativo, orientaçlo a funções, orientação a objetos e orlentação a lógica).

When verification and validation <V & V> are done during the software development process they give rise to products of better quality. This work presents a study of software valldation and verification techniques. The validation and verification acttvtttes are related to the software development cycle and some specific techniques are presented. The àpproprtate V a V techniques to the matn software development approaches (imperative, function oriented, object oriented and logic oriented) are identifted.