Questão Q827948
2010 Centro de Seleção e de Promoção de Eventos UnB (CESPE) Serviço Federal de Processamento de Dados (SERPRO)
Ciência da Computação Gerência de Projetos
Prova: Concurso Serviço Federal de Processamento de Dados (SERPRO) - Analista Área Administração de Serviços de Tecnologia da Informação (Área de Formação: Tecnologia da Informação) - Centro de Seleção e de Promoção de Eventos UnB (CESPE) do ano 2010 • Serviço Federal de Processamento de Dados (SERPRO)

Considerando que, em grandes projetos , a garantia de qua...

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.

Comentários

Faça login para participar da discussão.

Cadastre-se Gratuitamente
Carregando comentários...