Edición de «Final del 05/08/2015 (Ingeniería I)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
| Revisión actual | Tu texto | ||
| Línea 1: | Línea 1: | ||
Tomó Nicolas D'Ippolito. Fue escrito con 10 preguntas, divididas entre especificación y testing. Había que tener por lo menos 60% en ambos. | Tomó Nicolas D'Ippolito. Fue escrito con 10 preguntas, divididas entre especificación y testing. Había que tener por lo menos 60% en ambos. | ||
# Defina formalmente composición en paralelo de LTSs y ejemplifique como funciona cuando las máquinas estado a ser compuestas tienen distinto alfabeto. | # Defina formalmente composición en paralelo de LTSs y ejemplifique como funciona cuando las máquinas estado a ser compuestas tienen distinto alfabeto. | ||
# Indique cómo se le da semántica a un LTS. Ejemplifique y compare dicha noción con la semántica utilizada para la comparación entre LTSs. | # Indique cómo se le da semántica a un LTS. Ejemplifique y compare dicha noción con la semántica utilizada para la comparación entre LTSs. | ||
| Línea 8: | Línea 7: | ||
# ¿Cuáles son los tres tipos básicos de relaciones entre entidades en un modelo conceptual? Explique sus diferencias. | # ¿Cuáles son los tres tipos básicos de relaciones entre entidades en un modelo conceptual? Explique sus diferencias. | ||
# El modelo de Jackson distingue entre aserciones descriptivas y prescriptivas. ¿En qué consiste esta diferencia? Explique por qué esta distinción es relevante al momento de hacer verificación y validación en el contexto del modelo de Jackson. | # El modelo de Jackson distingue entre aserciones descriptivas y prescriptivas. ¿En qué consiste esta diferencia? Explique por qué esta distinción es relevante al momento de hacer verificación y validación en el contexto del modelo de Jackson. | ||
# ¿Qué significa que un criterio de test subsume a otro? Ejemplifique. | # ¿Qué significa que un criterio de test subsume a otro? Ejemplifique. | ||
# Explique qué es y para que sirven: el def-use graph y el flow graph. | # Explique qué es y para que sirven: el def-use graph y el flow graph. | ||
# ¿Qué es un oráculo y cómo se usa en testing? | # ¿Qué es un oráculo y cómo se usa en testing? | ||
