Uma discussão sob o processo de verificação e validação de software crítico e seguro; definição de conceitos, limitações, normas, objetivos e técnicas aplicadas

Abstract

O processo de verificação e validação de software voltou a ser uma fase extremamente importante no ciclo de vida de desenvolvimento de software com a aparição do software crítico e seguro. Este software é caracterizado porque uma falha ne-le pode causar grandes perdas, incluso perda de vidas humanas. Neste artigo, uma discussão sobre o processo de verificação e validação de software crítico e seguro é feita, são tratadas as definições, erros de conceito, limitações, normas, níveis de condi-ção de falha e técnicas, entre outros.