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

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/56494/quizzes/133398 1/5
30/10/23, 18:10 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGORITMOS…

Historial de intentos

Intento Hora Puntaje

MÁS RECIENTE Intento 1 5 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 18:10
Este intento tuvo una duración de 5 minutos.

Pregunta 1 10 / 10 pts

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

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

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 pregunta que debe hacerse al iniciar a programar.

Pregunta 2 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.

https://poli.instructure.com/courses/56494/quizzes/133398 2/5
30/10/23, 18:10 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGORITMOS…

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.

Una pregunta que debe hacerse al iniciar a programar.

Un estado posterior a la ejecución 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}

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

valores elegiría para las variables de entrada?

La combinación x = 1, y = 3

La combinación x = 0.6, y = 0.6

https://poli.instructure.com/courses/56494/quizzes/133398 3/5
30/10/23, 18:10 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGORITMOS…

La combinación x = 0.5, y = 0.4

La combinación x = 2, y = 1

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

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

Pregunta 4 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

https://poli.instructure.com/courses/56494/quizzes/133398 4/5
30/10/23, 18:10 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGORITMOS…

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

10 y 24

12 y 20

12 y 10

20 y 12

20 y 24

Puntaje del examen: 50 de 50

https://poli.instructure.com/courses/56494/quizzes/133398 5/5