Questões de Engenharia de Software - Qualidade de Software para Concurso

A norma internacional ISO/IEC 9126-1 define um modelo para a avaliação da qualidade dos processos de desenvolvimento de software em geral, em que cada processo pode ser avaliado quanto a seis características. Trata-se de modelo genérico que pode ser utilizado por qualquer organização produtora de software.

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.

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.

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.