Final del 13/12/2017 - Ingeniería I (vieja)

De Cuba-Wiki
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.

El final lo tomó Victor Braberman, fue escrito y 2 personas se presentaron.

  1. ¿Para qué sirve y qué limitaciones tiene el algoritmo de T.S. Chow?
  2. El modelo de Jackson distingue entre aserciones descriptivas y prescriptivas. Explicar que son y como se relacionan con validación y verificación.
  3. ¿Qué significa que bisimulación sea una congruencia?
  4. ¿Qué técnica de generación de casos de test de caja negra utilizaría para un programa de 20 parámetros donde cada uno tiene unas pocas opciones?
  5. ¿Cuándo un objetivo es realizable por un agente? Dar ejemplos de objetivos realizables y de objetivos no realizables.