Questões da Prova CESPE - 2010 - SERPRO - Analista - Tecnologia da Informação

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.

Os indicadores de desempenho representam qualitativamente as características de produtos e processos, sendo utilizados pelas organizações para controlar e melhorar a qualidade e o desempenho de seus produtos e processos ao longo do tempo.

Com base nos requisitos da norma ISO 9001:2000, é correto afirmar que as empresas precisam medir e avaliar o desempenho dos processos do SGQ e das características do produto/serviço, a fim de prover forma de comprovar a melhoria contínua.

Sob o ponto de vista da qualidade, a gestão de uma empresa deve ser caracterizada por um conjunto de elementos interrelacionados ou interativos que estabeleçam políticas e objetivos por meio da realização de atividades coordenadas na consecução dos objetivos.