30/10/23, 21:37 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/58394/quizzes/135964 1/5
30/10/23, 21:37 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 17 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:36
Este intento tuvo una duración de 17 minutos.

Pregunta 1 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 estado anterior a la ejecución del programa.

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

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.

Pregunta 2 10 / 10 pts

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

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

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

programación utilizado

No tiene errores de sintaxis y compila perfectamente.

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

instrucciónes, se cumple la postcondición.

Compila perfectamente de acuerdo a la plataforma escogida de desarrollo

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

del programa.

Pregunta 3 10 / 10 pts

El siguiente programa es incorrecto con respecto a su especificación:

{Pre Q: x - y > 0}

program ejercicio

input: x, y:

var: z:

z := 0
z := z + x
z := z * z

z := z - y

return z

{Pos R: z > 0}

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

Usted debe mostrar que efectivamente el programa es incorrecto. ¿Qué

valores elegiría para las variables de entrada?

El programa es correcto! Se puede demostrar que lo es con la

combinación de valores x = 3, y = 2.

La combinación x = 1, y = 3

La combinación x = 0.5, y = 0.4

La combinación x = 0.6, y = 0.6

La combinación x = 2, y = 1

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.

b-a

b := a

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

a-b

k-a

Pregunta 5 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}

Falso

Verdadero

Puntaje del examen: 50 de 50

https://poli.instructure.com/courses/58394/quizzes/135964 5/5