A utilização da regra de equivalência na demonstração...

Próximas questões
Com base no mesmo assunto
Q310291
Engenharia de Software Qualidade de Software ,
Ano: 2010 Banca: CESPE / CEBRASPE Órgão: SERPRO Prova: CESPE - 2010 - SERPRO - Analista - Tecnologia da Informação |
Q310291 Engenharia de Software
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.

Alternativas

Questões de assuntos semelhantes

Provas relacionadas