Segundo o teorema de Pitágoras, a hipotenusa c de um...
Próximas questões
Com base no mesmo assunto
Ano: 2010
Banca:
CESPE / CEBRASPE
Órgão:
SERPRO
Prova:
CESPE - 2010 - SERPRO - Analista - Tecnologia da Informação |
Q310290
Engenharia de Software
Texto associado
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.
Segundo o teorema de Pitágoras, a hipotenusa c de um triângulo retângulo de catetos a e b é calculada por meio da fórmula c = √a2 +b2 em que a > 0 e b > 0. A demonstração de correção de um programa que calcula o comprimento da hipotenusa c, tendo como dados de entrada os valores a e b para o comprimento dos catetos, deve estabelecer que sempre que a e b satisfizerem a propriedade de a > 0 e b > 0, o predicado a2 + b2 = c2 será satisfeito após a execução do programa.