Actividad de puntos evaluables - Escenario 2

Fecha de entrega 1 de nov en 23:55 Puntos 50 Preguntas 5

Disponible 29 de oct en 0:00 - 1 de nov en 23:55 Límite de tiempo 90 minutos
Intentos permitidos 2

Instrucciones

Historial de intentos
 Intento Hora Puntaje
MANTENER Intento 2 7 minutos 40 de 50

MÁS RECIENTE Intento 2 7 minutos 40 de 50

Intento 1 20 minutos 10 de 50

 Las respuestas correctas estarán disponibles del 1 de nov en 23:55 al 2 de nov en 23:55.

Puntaje para este intento: 40 de 50

Entregado el 31 de oct en 0:46
Este intento tuvo una duración de 7 minutos.

Pregunta 1 10 / 10 pts

De acuerdo al material del curso, la precondición de un programa es:

Una condición sin la cual no se pueden escribir programas correctos.

Un estado posterior a la ejecución del programa.

Una pregunta que debe hacerse al iniciar a programar.

Una afirmación o condición que debe ser cierta antes de ejecutarse el

programa

Un programa que valida que las entradas de otro programa sean válidas.

Pregunta 2 10 / 10 pts

De acuerdo al material del curso, la postcondición de un programa es:

Una pregunta que debe hacerse al iniciar a programar.

 Un programa que valida que las salidas de otro programa sean válidas.

Una condición sin la cuál no se pueden escribir programas correctos.

Una afirmación o condición que debe ser cierta después de ejecutarse el

programa

Un estado anterior a la ejecución del programa.

Pregunta 3 10 / 10 pts

¿Cuál es el predicado más débil Q que hace la siguiente tripla válida?

{Pre Q: ___________________}

program mistery

input: a: , b:

var: r:boolean

if (a + b) mod 2 = 0 then

r := true

else

r := false

return r

{Pos R: r (a mod 2 = b mod 2)}

false

true
 (a + b) mod 2 = 0

a = A /\ b = B

a mod 2 = b mod 2

Incorrecto Pregunta 4 0 / 10 pts

Para completar Q, el predicado más débil que hace la tripla válida, debe
rellenarse los espacios en blanco con los valores:

{Pre Q: a = _________ /\ b = _________}

program mistery

input: a: , b:

a := a + b

b := a - b

a := a - b

return a, b

{Pos R: a = 10 /\ b = 12}

20 y 24

12 y 10

20 y 12

12 y 20

10 y 24
Pregunta 5 10 / 10 pts

Complete el siguiente programa de manera que la tripla resultante sea

válida:

{Pre Q: a = A b=B a > b}

program mistery

input: a: , b:

a := a + b

b := ______________

return a, b

{Pos R: a = A + B b = A}

a-b

a+b

Puntaje del examen: 40 de 50