SóProvas


ID
930877
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.

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.

Alternativas