30/10/23, 21:22 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGO…

Actividad de puntos evaluables - Escenario 2

Fecha de entrega 31 de oct en 23:55 Puntos 50 Preguntas 5

Disponible 28 de oct en 0:00 - 31 de oct en 23:55 Límite de tiempo 90 minutos
Intentos permitidos 2

Instrucciones

Volver a realizar el examen

https://poli.instructure.com/courses/56107/quizzes/132205 1/5
30/10/23, 21:22 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGO…

Historial de intentos

Intento Hora Puntaje

MÁS RECIENTE Intento 1 26 minutos 50 de 50

 Las respuestas correctas estarán disponibles del 31 de oct en 23:55 al 1 de nov en 23:55.

Puntaje para este intento: 50 de 50

Entregado el 30 de oct en 21:21
Este intento tuvo una duración de 26 minutos.

Pregunta 1 10 / 10 pts

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

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

programa

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

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

Un estado anterior a la ejecución del programa.

Una pregunta que debe hacerse al iniciar a programar.

Pregunta 2 10 / 10 pts

Se dice que un programa es correcto de acuerdo a su especificación si:

No tiene errores de sintaxis y compila perfectamente.

https://poli.instructure.com/courses/56107/quizzes/132205 2/5
30/10/23, 21:22 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGO…

Compila perfectamente de acuerdo a la plataforma escogida de desarrollo

Partiendo de cualquier estado de la precondición, después de las

instrucciónes, se cumple la postcondición.

Cumple la precondición y la postcondición durante todas las instrucciones

del programa.

No tiene errores de sintáxis de acuerdo a la definición del lenguaje de

programación utilizado

Pregunta 3 10 / 10 pts

¿Es la siguiente tripla válida?

{Pre Q: a = A /\ b = B}

program mistery

input: a: , b:

a := 12

b := 10

return a, b

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

Verdadero

Falso

https://poli.instructure.com/courses/56107/quizzes/132205 3/5
30/10/23, 21:22 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGO…

Pregunta 4 10 / 10 pts

Observe el siguiente programa:

{Pre Q: a = X b=Y a > b > 0}

k := b ;
b := ? ;
a := k
{Pos R: a < X b<Y a>0 b>0 MCD(a,b) = MCD(X,Y) }

¿Por cuál expresión debe ser reemplazado el símbolo '?' para que el programa sea
correcto?

Nota: MCD(p, q) representa el máximo común divisor entre p y q.

a-b

b := a

k-a

b-a

Pregunta 5 10 / 10 pts

Los siguientes programas tienen únicamente asignaciones. Seleccione

los que son correctos de acuerdo a su especificación. En todos los
programas, las variables a, b y c son enteras.

A) {a > 0 b > 0} B) {a < 0 b > 0}

c := a + b c := a + b
{c > 0} {c > 0}

https://poli.instructure.com/courses/56107/quizzes/132205 4/5
30/10/23, 21:22 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGO…

C) {a > 0 b < 0} D) {a < 0 b > 0}

c := a + b c := a + b
{c > 0} {c < 0}
E) {a < 0 b < 0} F) {a > 0 b < 0}
c := a + b c := a + b
{c < 0} {c < 0}

D)

C)

E)

A)

B)

F)

Puntaje del examen: 50 de 50

https://poli.instructure.com/courses/56107/quizzes/132205 5/5