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

Lorena Gayarre Peña, Marcelo Lopes De Oliveira E Souza

Resumo


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.


Texto completo:

PDF


DOI: https://doi.org/10.5540/03.2013.001.01.0075

Apontamentos

  • Não há apontamentos.


SBMAC - Sociedade de Matemática Aplicada e Computacional
Edifício Medical Center - Rua Maestro João Seppe, nº. 900, 16º. andar - Sala 163 | São Carlos/SP - CEP: 13561-120
 


Normas para publicação | Contato