Engenharia de softwareQualidade de software

• (CESPE 2010)

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.




C) Certo

E) Errado


Próximo:
EXERCÍCIOS - Exercício 153

Vamos para o Anterior: Exercício 151

Tente Este: Exercício 179

Primeiro: Exercício 1

VOLTAR ao índice: Engenharia de software