Quiz 1 - Semana 3 - RA - SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS - (GRUPO1)

2/6/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
Quiz 1 - Semana 3
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
Instrucciones
Volver a realizar el examen
https://poli.instructure.com/courses/13149/quizzes/46725 1/10
Historial de intentos
Intento Hora Puntaje

MÁS RECIENTE Intento 1 20 minutos 75 de 75
 Las respuestas correctas estarán disponibles del 3 de jun en 23:55 al 4 de jun en 23:55.
Puntaje para este intento: 75 de 75

Entregado el 2 de jun en 10:31
Este intento tuvo una duración de 20 minutos.
Pregunta 1 7.5 / 7.5 pts
De acuerdo al material del curso, la precondición de un programa es:
Una pregunta que debe hacerse al iniciar a programar.
Un programa que valida que las entradas de otro programa sean válidas.
Una afirmación o condición que debe ser cierta antes de ejecutarse el

programa
Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.
Un estado posterior a la ejecución del programa.
Una condición sin la cuál no se pueden escribir programas correctos.
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?
El programa es correcto! Se puede demostrar con la combinación a = 4, b

=2
La combinación a = 10, b = 11
Cualquier combinación de valores en que b ≥ a, y que ambos sean pares

o ambos impares.
Cualquier combinación de valores en que b ≥ a, y que la suma sea impar
La combinación a = 10, b = 8
La combinación a = 10, b = 12 ó la combinación a = 9, b = 7
Cualquier combinación de valores en que a ≥ b, y que ambos sean pares

o ambos impares
Cualquier combinación de valores en que b ≥ a, y que uno de los dos sea

impar y el otro par
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?
k=0
x := x·b[k]
k in [0,n]
k := k + 1
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?
k in [0,n]
x=1
k := k + 1
x := x·b[k]
Se dice que un programa es correcto de acuerdo a su especificación si:
No tiene errores de sintaxis y compila perfectamente.
Compila perfectamente de acuerdo a la plataforma escogida de desarrollo
No tiene errores de sintáxis de acuerdo a la definición del lenguaje de

programación utilizado
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.
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.6, y = 0.6
La combinación x = 0.5, y = 0.4
La combinación x = 1, y = 3
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
De acuerdo al material del curso, la postcondición de un programa es:
Un estado anterior a la ejecución del programa.
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.
Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.
Una pregunta que debe hacerse al iniciar a programar.
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?
{P} S1 {R}
{R, ¬B1, B2} S1 {R}
(P, ¬B1) Q
{R, ¬B1} Q
{R, B1, ¬B2} S2 {R}
P WP(Q, S1)
{P} S0 {R}
{R, B1, B2} S1 {R}
{R, B1, ¬B2} S1 {R}
{R, ¬B1, ¬B2} Q
{R, B1, B2} S2 {R}
El ciclo do termina
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).
a+b
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}
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}
B)
A)
C)
F)
D)
E)
Puntaje del examen: 75 de 75

Quiz 1 - Semana 3 - RA - SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS - (GRUPO1)

Hochgeladen von

Dokumentinformationen

Originalbeschreibung:

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Quiz 1 - Semana 3 - RA - SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS - (GRUPO1)

Hochgeladen von

Copyright:

Verfügbare Formate

2/6/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Fecha de entrega 2 de jun en 23:55 Puntos 75 Preguntas 10

Volver a realizar el examen

Intento Hora Puntaje

Puntaje para este intento: 75 de 75

Pregunta 1 7.5 / 7.5 pts

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

Una pregunta que debe hacerse al iniciar a programar.

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

Una serie de condiciones físicas y mentales que debe tener un

Un estado posterior a la ejecución del programa.

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

Pregunta 2 7.5 / 7.5 pts

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

{a > 0, b > 0, a mod 2 = b mod 2 }

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

El programa es correcto! Se puede demostrar con la combinación a = 4, b

Cualquier combinación de valores en que b ≥ a, y que ambos sean pares

Cualquier combinación de valores en que b ≥ a, y que la suma sea impar

La combinación a = 10, b = 12 ó la combinación a = 9, b = 7

Cualquier combinación de valores en que a ≥ b, y que ambos sean pares

Cualquier combinación de valores en que b ≥ a, y que uno de los dos sea

Pregunta 3 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

Usted quiere demostrar que el predicado invariante R se mantiene,

Pregunta 4 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

Usted quiere demostrar que al finalizar el ciclo, la postcondición Q se

Pregunta 5 7.5 / 7.5 pts

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

No tiene errores de sintaxis y compila perfectamente.

Compila perfectamente de acuerdo a la plataforma escogida de desarrollo

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

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

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

Pregunta 6 7.5 / 7.5 pts

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

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

La combinación x = 0.6, y = 0.6

La combinación x = 0.5, y = 0.4

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

Pregunta 7 7.5 / 7.5 pts

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

Un estado anterior a la ejecución del programa.

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

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

Una serie de condiciones físicas y mentales que debe tener un

Una pregunta que debe hacerse al iniciar a programar.

Pregunta 8 7.5 / 7.5 pts

Usted tiene el siguiente programa en GCL:

{R, ¬B1, B2} S1 {R}

{R, B1, ¬B2} S2 {R}

{R, B1, B2} S1 {R}

{R, B1, ¬B2} S1 {R}

{R, ¬B1, ¬B2} Q

{R, B1, B2} S2 {R}

Pregunta 9 7.5 / 7.5 pts

Observe el siguiente programa:

{Pre Q: a = Fib(n) , b = Fib(n-1), n > 1}

¿Qué expresión reemplaza el símbolo '?' de manera que el programa es