Questões Informática Gerência de Projetos

Considerando que, em grandes projetos , a garantia de qualidade do programa é considera...

Responda: Considerando que, em grandes projetos , a garantia de qualidade do programa é considerada fator imprescindível, e que a verificação e o teste podem ser abordados por meio de testes ou por meio de d...


1Q627985 | Informática, Gerência de Projetos, Analista, Serviço Federal de Processamento de Dados, CESPE CEBRASPE

Considerando que, em grandes projetos , a garantia de qualidade do programa é considerada fator imprescindível, e que a verificação e o teste podem ser abordados por meio de testes ou por meio de demonstração de correção, julgue os itens a seguir. A utilização da regra de equivalência na demonstração de correção de um programa envolve a demonstração de que as duas triplas de Hoare diferentes são válidas.
  1. ✂️
  2. ✂️
Utilizamos cookies e tecnologias semelhantes para aprimorar sua experiência de navegação. Política de Privacidade.