Quiz
POO
Create a free account to finish this quiz
Save your progress and see your final score.
Already have an account? Sign in
Questions in this quiz (29)
1Si un método contiene el código throw(new(Error()))
entonces:- Aes obligatorio escribir throws Error en su cabecera
- Bes obligatorio proteger la llamada al método en un bloque
try...catch - Cobligatoriamente debemos utilizar una de las opciones anteriores
- DTodas las respuestas anteriores son falsas
2Si en un código Java encuentro la expresión assert(a>0)
puedo deducir que. . .- Ael programador sabe que en ese punto a es positivo
- Bel programador desea comprobar si en ese punto a es positivo
- Ceste proyecto utiliza Cofoja
- Deste proyecto utiliza JUnit
3¿En qué momento debe ser cierto el invariante de una clase?
- ATras la ejecución de cada uno de sus métodos públicos
- BAntes y después de la ejecución de cada uno de sus métodos
públicos - CAntes de la ejecución de sus métodos públicos y tras la
ejecución de sus métodos públicos y constructores - DAntes y después de la ejecución de sus métodos públicos
y constructores
4Decimos que un programa es parcialmente correcto respecto
de una especificación P,Q si- ASiempre que P es cierto Q es cierto
- BSiempre que el programa termine, lo hace en condiciones
que satisfacen Q - CSiempre que el programa empiece en condiciones que satisfacen
P, termina en condiciones que satisfacen Q - DSiempre que el programa empiece en condiciones que satisfacen
P y termine, lo hace en condiciones que satisfacen
Q
5¿Cuál es la precondición más débil que hace totalmente
correcta la asignación i=i+1 con respecto a la postcondición
i = i + 1- AFalso
- BCierto
- Ci = 1
- DTodas las respuestas anteriores son falsas
6Si, durante la ejecución de un sistema Java contratado mediante
Cofoja, se produce el incumplimiento de una precondición
¿Se produce una excepción?- ASiempre
- BDepende de la forma en que se compiló el sistema
- CDepende del tipo de precondición incumplida
- DNunca
7En una batería de pruebas implementada mediante JUnit 4.*,
distinguimos los métodos que implementan una prueba por. . .- Auna anotación @Test
- Bsu nombre, puesto que todos empiezan por test
- Csu situación, todos están al final de la declaración de la
clase - DTodos los métodos de una clase de esas características
implementan una prueba
8¿Debemos comprobar la postcondición de un método de una
clase de la que somos clientes?- ASiempre
- BNo es obligatorio, pero si conveniente
- CSólo en el caso de que el método sea un comando
- DNunca
9Realizamos pruebas sobre nuestras clases para. ..
- Ademostrar que son correctos
- Bdemostrar que son fiables
- Cbuscar errores en ellas
- Dver que funcionan
10¿Qué caracteriza al invariante de un bucle?
- AQue siempre es cierto
- BQue cierto en todas las pasadas del bucle al pasar por
cierto punto del código - CQue no cambia
- DEn verificación no se definen invariantes para los bucles,
sólo para las clases.
11¿Podemos dedir que el código p=p+q;n=n+p; en el que
todas las variables son de tipo entero, es parcialmente correcto
con respecto de la precondición fq = q + 1g y la postcondición
f8a > 0 9b t.q. n = a bg?- ASólo si q es positivo
- BNo, faltan elementos de juicio
- CSi, en todo caso
- DNo, en ningún caso
12¿Puede identificar alguna variable ligada en la postcondición
de la cuestión anterior?- ASi, a
- BSi, n
- CTanto a como n
- DNo, ninguna puede ser variable ligada
13Decimos que un programa es totalmente correcto respecto
de una especificación P,Q si- ASiempre que P es cierto Q es cierto
- BSiempre que el programa termine, lo hace en condiciones
que satisfacen Q - CSiempre que el programa empiece en condiciones que satisfacen
P, termina en condiciones que satisfacen Q - DSiempre que el programa empiece en condiciones que satisfacen
P y termine, lo hace en condiciones que satisfacen
Q
14¿Cómo podemos llamar a una función en cuya declaración
aparece throws Exception?- ADentro de un bloque try...catch
- BEscribiendo throws Excepcion en la declaración de
mi método - CLas dos respuestas anteriores son ciertas
- DTodas las respuestas anteriores son falsas
15¿Qué diferencia una precondición de una postcondición?
- ALa primera tiene que ser cierta, la segunda no
- BLa segunda tiene que ser cierta, la primera no
- CLa segunda tiene que tener al menos una variable ligada,
la primera no puede tener ninguna - DLa única diferencia es la forma en que se usan en una
demostración
16Si aplicamos derivación directa sobre un nodo de decisión con
condición B y preconcición P elegiremos como postcondición. . .- AP ^ B
- BP ^ no B
- CP ^ B y P ^ no B
- DP ^ B y P ^ no B pero sólo si P garantiza que B es evaluable
17Cuando aplicamos derivación inversa buscamos. . .
- ALa precondición más débil que haga correcto un algoritmo
con respecto a una postcondición - BLa precondición más fuerte que haga correcto un algoritmo
con respecto a una postcondición - CLa postcondición más débil que haga correcto un algoritmo
con respecto a una precondición - DLa postcondición más fuerte que haga correcto un algoritmo
con respecto a una precondición
- ALa precondición más débil que haga correcto un algoritmo
18Sabemos que un algoritmo es parcialmente correcto con respecto
de P y Q. Si conseguimos demostrar que P ) P0 estamos
en condiciones de afirmar que. . .- AEs parcialmente correcto con respecto de P' y Q
- BEs totalmente correcto con respecto de P' y Q
- CLas dos respuestas anteriores son ciertas
- DTodas las respuestas anteriores son falsas
19Si sabemos que un algoritmo es totalmente correcto con
respecto de P y Q, podemos afirmar que. . .- Aes parcialmente correcto con respecto de P y Q
- Bes totalmente correcto con respecto de Q y P
- CLas dos respuestas anteriores son ciertas
- DTodas las respuestas anteriores son falsas
20¿Puede identificar alguna variable ligada en la postcondición
de la cuestión anterior?- ASí, a
- BSí, b
- CTanto a como b
- DNo, ninguna puede ser variable ligada
21Si en un código Java encuentro la expresión assert(a>0)
puedo deducir que. . .- Aeste proyecto utiliza Cofoja
- Beste proyecto utiliza JUnit
- Cse trata de un error sintáctico
- DEn realidad todas las respuestas anteriores son falsas
22Si defino un nuevo tipo de excepción mediante una clase hija
de Exception, lo que obtengo es una excepción. . .- Acomprobada
- Bno comprobada
- Ccomprobada o no en función del código utilizado
- DEn realidad no puedo hacer una definición como esa
23Cuando decimos que una clase es «quasi-modal» nos referimos
a que las restricciones sobre los mensajes que puede recibir
una de sus instancias están relacionadas con:- AEl orden de los mensajes
- BEl estado del objeto
- CTanto el orden como el estado del objeto
- DNo se establecen restricciones de ningún tipo
24Si aplicamos derivación directa sobre un nodo de unión de
dos ramas con precondiciones A y B respectivamente, elegiremos
como postcondición. . .- AA ^ B
- BA v B
- Ctanto A como B indistintamente
- DPara responder necesito más datos
25En un código Java encuentro la expresión
assert (x != 0) pero se que en ese punto x vale cero. . .- AMe encuentro ante un error sintáctico
- BEn ese contexto es imposible que x valga cero
- CJava se ocupa de informar al usuario de que la entrada de
datos es incorrecta y repite la ejecución - DTodas las respuestas anteriores son falsas
26Si defino un nuevo tipo de excepción mediante una clase hija
de RuntimeException, lo que obtengo es una excepción. . .- Acomprobada
- Bno comprobada
- Ccomprobada o no en función del código utilizado
- DEn realidad no puedo hacer una definición como esa
27En el marco de la teoría de pruebas, al hablar de un estado
de un objeto nos referimos a. . .- Alos valores de sus atributos
- Blos valores de sus atributos de tipo básico
- Cun conjunto de combinaciones de valores de sus atributos
que comparten alguna propiedad - Dsu situación con respecto del proceso de pruebas
28Las clases Credito y Debito han sido definidas como
descendientes directas de la clase Pago. ¿Es posible transformar
una instancia de Debito en instancia de Credito?- ASí, aplicando polimorfismo
- BSí, aplicando ligadura dinámica
- CNo
- DSí, siempre que Pago sea una clase abstracta
29La marca @Override antes de la redefinición de un método
es. . .- Aobligatoria, en caso de no aparecer el método es considerado
como nuevo - Brecomendable, evita reescribir la documentación JavaDoc
del método - Crecomendable, permite al compilador generar un error si
no se trata de una redefinición - Derrónea, esa anotación se utiliza exclusivamente para la
implementación de interfaces
- Aobligatoria, en caso de no aparecer el método es considerado
Information
- Description
- Grado Superior POO tema 3 Quiz on POO, created by Myke M on 30/10/2022.
- Author
- Myke M
- Language
- Español
- Views
- 28
- Tags
- Rating
- No ratings yet Rate this quiz