Questões de Concurso Público SERPRO 2010 para Analista - Tecnologia da Informação

Considere que, na elaboração de um questionário para avaliar um sistema, um gerente tenha utilizado a seguinte questão: “o sistema trata corretamente os dados empregando os modelos de mensuração de riscos”. Nessa situação, é correto afirmar que o critério de desempenho avaliado por essa questão é a corretude dos dados, e o uso de modelos de mensuração de riscos é a condição na qual se espera que o desempenho ocorra.

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.

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.