Quiz
POO
Crie uma conta grátis para terminar este quiz
Salve seu progresso e veja sua nota final.
Já tem uma conta? Inicie sessão
Perguntas do 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
Informações
- Descrição
- Grado Superior POO tema 3 Quiz sobre POO, criado por Myke M em 30-10-2022.
- Autor
- Myke M
- Idioma
- Español
- Visualizações
- 28
- Etiquetas
- Avaliação
- Ainda sem avaliações Avalie este quiz