Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFIC... https://poli.instructure.
com/courses/13149/quizzes/46725
Fecha de entrega 2 de jun en 23:55 Puntos 75 Preguntas 10
Disponible 30 de mayo en 0:00 - 2 de jun en 23:55 4 días Límite de tiempo 90 minutos
Intentos permitidos 2
1 de 11 30/06/2020, 11:28 p. m.
Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFIC... https://poli.instructure.com/courses/13149/quizzes/46725
Este examen fue bloqueado en 2 de jun en 23:55.
Intento Hora Puntaje
MÁS RECIENTE Intento 1 7 minutos 65 de 75
Las respuestas correctas ya no están disponibles.
Puntaje para este intento: 65 de 75
Entregado el 2 de jun en 23:54
Este intento tuvo una duración de 7 minutos.
Pregunta 1 7.5 / 7.5 pts
Usted tiene el siguiente programa en GCL:
{Pre: P}
S0
{Inv: R}
do B1 →if B2 then S1
else S2 fi
od
{Post: Q}
De los siguientes pasos, cuáles son necesarios para verificar que el
programa es correcto?
{R, ¬B1} Q
2 de 11 30/06/2020, 11:28 p. m.
Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFIC... https://poli.instructure.com/courses/13149/quizzes/46725
{R, B1, ¬B2} S2 {R}
{P} S0 {R}
{R, B1, B2} S1 {R}
El ciclo do termina
Pregunta 2 7.5 / 7.5 pts
Observe el siguiente programa en GCL:
{P: n > 0, b[0..n-1] }
x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }
Usted quiere demostrar que al finalizar el ciclo, la postcondición Q se
cumple, cuáles de las siguientes hipótesis debe utilizar?
3 de 11 30/06/2020, 11:28 p. m.
Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFIC... https://poli.instructure.com/courses/13149/quizzes/46725
k in [0,n]
Incorrecto Pregunta 3 0 / 7.5 pts
El siguiente programa es incorrecto con respecto a su especificación:
Variables Entrada: int a, b
Variable Salida: int c
{a > 0, b > 0, a mod 2 = b mod 2 }
c=0
c=c+a
c=c-b
{c > 0, c mod 2 = 0}
Usted debe mostrar que efectivamente el programa es incorrecto. ¿Qué
valores elegiría para las variables de entrada?
4 de 11 30/06/2020, 11:28 p. m.
Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFIC... https://poli.instructure.com/courses/13149/quizzes/46725
Cualquier combinación de valores en que b ≥ a, y que uno de los dos
sea impar y el otro par
Pregunta 4 7.5 / 7.5 pts
Observe el siguiente programa en GCL:
{P: n > 0, b[0..n-1] }
x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }
Usted quiere demostrar que el predicado invariante R se mantiene,
cuáles de las siguientes hipótesis debe utilizar?
5 de 11 30/06/2020, 11:28 p. m.
Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFIC... https://poli.instructure.com/courses/13149/quizzes/46725
k in [0,n]
Pregunta 5 7.5 / 7.5 pts
Observe el siguiente programa:
{Pre Q: a = Fib(n) , b = Fib(n-1), n > 1}
k := a ;
a := ? ;
b := k ;
n:=n + 1
{Pos R: a = Fib(n) , b = Fib(n-1) }
¿Qué expresión reemplaza el símbolo '?' de manera que el programa
es correcto con respecto a su especificación? (No use espacios).
6 de 11 30/06/2020, 11:28 p. m.
Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFIC... https://poli.instructure.com/courses/13149/quizzes/46725
Pregunta 6 7.5 / 7.5 pts
Se dice que un programa es correcto de acuerdo a su especificación si:
Partiendo de cualquier estado de la precondición, después de las
instrucciónes, se cumple la postcondición.
Pregunta 7 7.5 / 7.5 pts
De acuerdo al material del curso, la precondición de un programa es:
Una afirmación o condición que debe ser cierta antes de ejecutarse el
programa
7 de 11 30/06/2020, 11:28 p. m.
Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFIC... https://poli.instructure.com/courses/13149/quizzes/46725
Pregunta 8 7.5 / 7.5 pts
8 de 11 30/06/2020, 11:28 p. m.
Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFIC... https://poli.instructure.com/courses/13149/quizzes/46725
El siguiente programa es incorrecto con respecto a su especificación:
Variables Entrada: float x, y
Variable Salida: float z
{x-y>0}
z=0
z=z+x
z=z*z
z=z-y
{z > 0}
Usted debe mostrar que efectivamente el programa es incorrecto. ¿Qué
valores elegiría para las variables de entrada?
La combinación x = 0.5, y = 0.4
Pregunta 9 7.5 / 7.5 pts
Los siguientes programas escritos en GCL tienen únicamente
asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su
especificación. En todos las variables a, b y c son enteras, la variable p
es booleana.
9 de 11 30/06/2020, 11:28 p. m.
Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFIC... https://poli.instructure.com/courses/13149/quizzes/46725
A) {a > 0, b > 0} B) {a < 0, b > 0}
c := a + b c := a + b
{c > 0} {c > 0}
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}
A)
E)
Parcial Pregunta 10 5 / 7.5 pts
Los siguientes programas escritos en GCL tienen únicamente
asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su
especificación. En todos las variables a, b y c son enteras, la variable p
es booleana.
A) {b > a > 0} B) {b > a > 0}
c := a - b c := a - b
{c > 0} {c < 0}
10 de 11 30/06/2020, 11:28 p. m.
Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFIC... https://poli.instructure.com/courses/13149/quizzes/46725
C) {a > b > 0} D) {a > b > 0}
c := a - b c := a - b
{c > 0} {c < 0}
E) {a < b < 0} F) {a < b < 0}
c := a - b c := a - b
{c > 0} {c < 0}
C)
F)
Puntaje del examen: 65 de 75
11 de 11 30/06/2020, 11:28 p. m.
