Verificação de Software Crítico de Segurança Aviónica

A intenção deste livro é fornecer uma visão geral das técnicas de verificação utilizadas para verificar software Avionics crítico para a segurança em conformidade com a norma DO-178B, com ênfase principal no teste da unidade de software. Uma verificação completa do software inclui testes de software em vários níveis / fases. O objetivo do teste de software é demonstrar que o software satisfaz suas exigências e também demonstrar com um alto grau de confiança que erros que poderiam levar a condições de falha inaceitáveis, conforme determinado pelo processo de avaliação de segurança do sistema, foram removidos. Os resultados dos testes fornecem uma indicação da confiabilidade e qualidade do software.