Ed
ano passado
Para determinar a opção correta que especifica as pré e pós-condições para o programa que calcula o produto de dois números estritamente positivos \(i1\) e \(i2\), precisamos analisar cada alternativa. - Pré-condição: \(i1 > 0\) e \(i2 > 0\) (os números devem ser estritamente positivos). - Pós-condição: O resultado \(p\) deve ser igual ao produto de \(i1\) e \(i2\), ou seja, \(p = i1 * i2\). Agora, vamos analisar as opções: (A) { (i1 > 0) and (i2 > 0) } P {i1 = p * i2} - Esta opção está incorreta, pois a pós-condição não representa o cálculo correto do produto. (B) { (i1 > 0) and (i2 > 0) } P {p = i1 * i2} - Esta opção está correta, pois a pós-condição reflete exatamente o que o programa deve calcular. (C) { (i1 > 0) and (i2 > 0) } P {i2 = p * i1} - Esta opção está incorreta, pois inverte a relação do produto. (D) { (i1 > 0) and (i2 > 0) } P {i1 > i2} - Esta opção está incorreta, pois não diz respeito ao cálculo do produto. (E) { (i1 > 0) or (i2 > 0) } P {p = i1 * i2} - Esta opção está incorreta, pois a pré-condição deve ser "e" (ambos devem ser positivos), não "ou". Portanto, a opção correta é: (B) { (i1 > 0) and (i2 > 0) } P {p = i1 * i2}.
Já tem uma conta?
Ao continuar, você aceita os Termos de Uso e Política de Privacidade
Mais perguntas desse material