Questão de Engenharia de Software — Qualidade de Software — CESPE / CEBRASPE 2010
Engenharia de SoftwareQualidade de Software
- Código
- ce315408
- Banca
- CESPE / CEBRASPE
- Órgão
- SERPRO
- Ano
- 2010
- Nível
- Superior
- Cargo
- CESPE - - Analista - Tecnologia da Informação
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 = √a² +b² 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 a² + b² = c² será satisfeito após a execução do programa.
- CCerto
- EErrado