Verificação é a confirmação da evidência objetiva de que as exigências para uma utilização específica ou aplicação foram cumpridas. Ela garante a precisão, integralidade, consistência etc. do resultado da atividade relacionada a essa contribuição. As seguintes etapas estão incluídas:

Análise de Especificação Técnica (TA):

• Verificar as exigências de software contra os seguintes critérios:

  • rastreável em relação à partição de sistema e exigências de sistema

  • externamente e internamente consistenteunambiguous and verifiable

  • não-ambígüo e verificável

  • correção de segurança e criticalidade

  • operações e manutenção praticáveis

  • identificar agentes fundamentais de segurança e missão do projeto e potenciais casos de teste.

Análise de Projeto (DA):

• Foco na criação da arquitetura de software e criação detalhada, além da análise do manual de usuário do software.
  

• Avaliar o projeto de cada produto de software, como análise do Arquivo de Definição de Projeto (DDF) e Arquivo de Justificativa de Projeto (DJF), focando em aspectos como:

• • confiabilidade, disponibilidade e segurança, garantindo que uma detecção de falha, isolamento e mecanismos de controle suficientes e eficazes sejam incluídos

  • mecanismos para solução de erros

  • inicialização/finalização de componentes de software

  • interfaces entre componentes de software e entre componentes de software e hardware

  • sincronização de procedimentos/processos e compartilhamento de recurso

  • análise de orçamento e cronograma.

Análise de Código (CA):

• Análise de aplicação de código-fonte, procedimentos de teste e teste de dados.

• Avaliando o código-fonte de cada software selecionado, focando em aspectos como:

  • confiabilidade, disponibilidade e segurança, garantindo que uma detecção de falha, isolamento e mecanismos de controle suficientes e eficazes sejam incluídos

  • mecanismos para solução de erros

  • inicialização/finalização de componentes de software

  • interfaces entre componentes de software e entre componentes de software e hardware

  • threads / processes synchronisation and resource sharing

  • análise de orçamento e cronograma.