- ID
- 930880
- Banca
- CESPE / CEBRASPE
- Órgão
- SERPRO
- Ano
- 2010
- Provas
- Disciplina
- Engenharia de Software
- Assuntos
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.