Segundo o teorema de Pitágoras, a hipotenusa c de um triângulo retâ...
🏢 CESPE / CEBRASPE🎯 SERPRO📚 Engenharia de Software
#Garantia da Qualidade de Software
Esta questão foi aplicada no ano de 2010 pela banca CESPE / CEBRASPE no concurso para SERPRO. A questão aborda conhecimentos da disciplina de Engenharia de Software, especificamente sobre Garantia da Qualidade de Software.
Esta é uma questão de múltipla escolha com 2 alternativas. Teste seus conhecimentos e selecione a resposta correta.
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 +b2em 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.