Diferencia entre revisiones de «Final del 13/12/2017 - Ingeniería I (vieja)»
De Cuba-Wiki
(Página creada con «El final lo tomó Victor Braberman, fue escrito y 2 personas se presentaron. # ¿Para qué sirve y qué limitaciones tiene el algoritmo de T.S. Chow? # El modelo de Jackso...») |
(Sin diferencias)
|
Revisión actual - 14:19 15 dic 2017
El final lo tomó Victor Braberman, fue escrito y 2 personas se presentaron.
- ¿Para qué sirve y qué limitaciones tiene el algoritmo de T.S. Chow?
- El modelo de Jackson distingue entre aserciones descriptivas y prescriptivas. Explicar que son y como se relacionan con validación y verificación.
- ¿Qué significa que bisimulación sea una congruencia?
- ¿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?
- ¿Cuándo un objetivo es realizable por un agente? Dar ejemplos de objetivos realizables y de objetivos no realizables.