Diferencia entre revisiones de «Final del 05/08/2015 (Ingeniería I)»
De Cuba-Wiki
(Página creada con «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 composi...») |
(me olvidé de separar en temas) |
||
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. | ||
Especificación: | |||
# 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 7: | Línea 8: | ||
# ¿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. | ||
Testing: | |||
# ¿Qué significa que un criterio de test subsume a otro? Ejemplifique. | # ¿Qué significa que un criterio de test subsume a otro? Ejemplifique. | ||
# ¿Cuál es la diferencia entre verificación y validación? 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? |
Revisión actual - 03:10 31 ago 2015
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.
Especificación:
- 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.
- Suponga que un dominio ha sido descrito utilizando una composición de máquinas de estado y un diagrama de contexto. ¿Qué vículos esperaría encontrar entre ellos?
- ¿Cómo relacionaría los diagramas de secuencia con las máquinas de estado finito?
- ¿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.
Testing:
- ¿Qué significa que un criterio de test subsume a otro? Ejemplifique.
- ¿Cuál es la diferencia entre verificación y validación? Ejemplifique.
- 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?