Quiz1 Int1 PDF

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
https://poli.instructure.com/courses/13149/quizzes/46725 1/12
Volver a realizar el examen
Historial de intentos
Intento Hora Puntaje
Intento Hora Puntaje

MÁS RECIENTE Intento 1 52 minutos 32.5 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: 32.5 de 75

Entregado el 2 de jun en 21:32
Este intento tuvo una duración de 52 minutos.
Pregunta 1 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.
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}
E)
C)
F)
D)
A)
B)
Incorrecto Pregunta 2 0 / 7.5 pts
Se dice que un programa es correcto de acuerdo a su especificación si:
Compila perfectamente de acuerdo a la plataforma escogida de desarrollo
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
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.
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}
C)
A)
E)
B)
F)
D)
De acuerdo al material del curso, la postcondición de un programa es:
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 condición sin la cuál no se pueden escribir programas correctos.
Una pregunta que debe hacerse al iniciar a programar.
Una afirmación o condición que debe ser cierta después de ejecutarse el

programa
Un estado anterior a la ejecución del programa.
Parcial Pregunta 5 2.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?
k in [0,n]
x := x·b[k]
k := k + 1
k=0
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?
Cualquier combinación de valores en que a ≥ b, y que ambos sean pares

o ambos impares
La combinación a = 10, b = 11
La combinación a = 10, b = 8
Cualquier combinación de valores en que b ≥ a, y que la suma sea impar
El programa es correcto! Se puede demostrar con la combinación a = 4, b

=2
La combinación a = 10, b = 12 ó la combinación a = 9, b = 7
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 uno de los dos sea

impar y el otro par
El programa no es correcto, con estos valores sólo se demuestra

que para esos valores funciona.
De acuerdo al material del curso, la precondición de un programa es:
Una condición sin la cuál no se pueden escribir programas correctos.
Una afirmación o condición que debe ser cierta antes de ejecutarse el

programa
Un estado posterior a la ejecución del programa.
Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.
Un programa que valida que las entradas de otro programa sean válidas.
Una pregunta que debe hacerse al iniciar a programar.
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?
x := x·b[k]
k := k + 1
k in [0,n]
x=1
Esta es una instrucción, no se puede usar como hipótesis nunca!
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
La combinación x = 1, y = 3
El programa es correcto! Se puede demostrar que lo es con la

combinación de valores x = 3, y = 2
La combinación x = 0.6, y = 0.6
La combinación x = 2, y = 1
El programa no es correcto. Esta combinación de valores sólo prueba que

funciona para esos valores.
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}
El ciclo do termina
{R, ¬B1, B2} S1 {R}
{P} S0 {R}
P WP(Q, S1)
{R, B1, B2} S2 {R}
{R, B1, ¬B2} S2 {R}
{R, B1, ¬B2} S1 {R}
{R, ¬B1} Q
(P, ¬B1) Q
{R, ¬B1, ¬B2} Q
Puntaje del examen: 32.5 de 75

Quiz1 Int1 PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Quiz1 Int1 PDF

Cargado por

Copyright:

Formatos disponibles

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

Intento Hora Puntaje

Puntaje para este intento: 32.5 de 75

Pregunta 1 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

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

Incorrecto Pregunta 2 0 / 7.5 pts

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

Compila perfectamente de acuerdo a la plataforma escogida de desarrollo

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

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

No tiene errores de sintaxis y compila perfectamente.

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

Pregunta 3 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

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

Pregunta 4 7.5 / 7.5 pts

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

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

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

Una pregunta que debe hacerse al iniciar a programar.

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

Un estado anterior a la ejecución del programa.

Parcial Pregunta 5 2.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,

Incorrecto Pregunta 6 0 / 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é

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 la suma sea impar

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

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

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 uno de los dos sea

El programa no es correcto, con estos valores sólo se demuestra

Pregunta 7 7.5 / 7.5 pts

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

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

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

Un estado posterior a la ejecución del programa.

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

Una pregunta que debe hacerse al iniciar a programar.

Incorrecto Pregunta 8 0 / 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

Esta es una instrucción, no se puede usar como hipótesis nunca!

Incorrecto Pregunta 9 0 / 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.5, y = 0.4

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

La combinación x = 0.6, y = 0.6

El programa no es correcto. Esta combinación de valores sólo prueba que

Incorrecto Pregunta 10 0 / 7.5 pts

Usted tiene el siguiente programa en GCL:

{R, B1, B2} S1 {R}