test_parteI_MLP

¿Qué tipo de letra se utiliza para representar las variables que aparecen en los asertos de un programa que denotan en cada punto del mismo el último valor que se les haya asignado?. minúsculas. mayúsculas.

El dominio indica el conjunto de valores que permite tomar a. cuantificadores. variables ligadas.

¿Qué es un estado?. Consiste en la expresión del comportamiento esperado. Es la aplicación del conjunto de variables en el conjunto de sus posibles valores.

Cuál de los siguientes operaciones tiene mayor prioridad?. Relacionales. Aritméticas.

¿Cuándo es más útil un programa?. Con una precondición débil. Con una postcondición débil.

Teniendo en cuenta que tenemos demostrado {A1}P{A2} y A2=>A2', también se puede considerar. {A1'}P{A2}. {A1}P{A2'}. {A1'}P{A2'}.

Precondición: aserrto que impone condiciones a los datos. Cuanto más débil sea la precondición más útil será el programa. Cuanto más fuerte sea la precondición más útil será el programa.

Teniendo en cuenta que tenemos demostrado {A1}P{A2} y {B1}P{B2}, también se puede considerar. {A1^B1}P{A2^B2}. {A1 v B1}P{A2^B2}.

El elemento que se elige separar del dominio... pertenece. no pertenece.

¿De qué otra forma se le llama a la validación estática?. Verificación. Corrección.

¿Cuál es el aserto más fuerte?. X=falso. X>-1.

¿Cuándo se pueden separar los elementos de un dominio?. Cuando el dominio sea nulo. Cuando el dominio sea infinito.

¿Con qué se realiza la especificación formal?. Con la precondición. Con la precondición y postcondición.

¿Cuál de los dos asertos es más fuerte?. x > 2. x>10 ^ y = 8.

¿Se puede denotar mediante una expresión un valor de un tipo determinado?. Si. No.

¿Cuando el dominio de una expresión con cuantiicador está vacío, cuál es el resultado de dicha expresión?. no hay resultado alguno. el elemento neutro de la operación que se repite.

for x:mat; A1: x>=1 A2: x>1 A3 falso. A3 es más fuerte uqe A2 y A2 más fuerte que A1. A3 esmás fuerte que A1 y A2 es más fuerte que A3.

Si A1 es más fuerte que A2. A1 => A2. A2 => A1.

Un aserto hace que el programa sea cierto. Verdadero. Falso.

¿Cuándo podemos decir que A1 es más fuerte que A2?. Todo estado que cumple A1 debe cumplir A2. Todo estado que cumple A1 no debe cumplir A2.

¿Qué aserto es más fuerte?. x=3. x<3.

Dado el aserto "cierto" y A1=x<3 es más débil que el aserto cierto?. si. no.

¿Qué es necesario conocer para poder derivar o verificar un programa?. La especificación. La corrección.

La mejor forma de verificar el funcionamiento de un programa es mediante la validación dinámica. verdadero. falso.

En un programa correcto, si los asertos se incorporan en los lugares adecuados,¿Cuál debería ser su valor lógico?. Es indiferente (falso). Es cierto (verdadero).

Dados dos asertos A1 y A2 A1: x<2 A2: x<4 ¿Qué opción es correcta?. A1 => A2. A2 => A1.

La corrección de un programa mediante pruebas se llama validación... Estática. Dinámica.

¿Cómo se incorpora un aserto a un programa?. ' '. { }.

¿En caso de minimización y maximización, ¿cuántos elementos debe tener como nínimo el dominio general?. 1. 2.

¿A qué es similar un aserto?. Comentario. Especificacion.

Suponiendo que B -> I es una instrucción protegida, señala la correcta. I es la protección y B la instrucción. B es la protección e I la instrucción.

Los asertos: Son expresiones inventados para su uso único en los lenguajes de programación. No se ven limitados al plano booleano y por ello se pueden usar en operaciones de las que carecen los lenguajes de programación.