Verificación y validación de software

Este es el sitio web de la unidad de aprendizaje de Verificación y validación de software, impartida por la Dra. Elisa Schaeffer en la FIME de la UANL tentativamente en el semestre agosto-diciembre del 2012 para estudiantes de séptimo semestre de ITS los martes M4-6 (09:30-12:00) en el salón 4208.

Propósito

En el desarrollo de esta unidad de aprendizaje se contribuye al entendimiento de las técnicas que permiten el aseguramiento de la funcionalidad correcta y completa de un sistema de software.

Producto integrador

Los alumnos desarrollan un portafolio de evidencias de tareas individuales realizadas durante el semestre. Cada semana, con la excepción de las dos de exámenes y la primera y la última, hay una tarea. Son en total 12 tareas y cada una otorga un máximo de 10 puntos. El estudiante debe entregar por lo menos 8 tareas para tener derecho a presentar segunda oportunidad. Las tareas están definidos en la clase de la semana anterior a su entrega. La entrega se realiza exclusivamente a través de un blog personal del estudiante.

Ambos exámenes son de libro cerrado y otorgan un máximo de 10 puntos cada uno. Calificaciones totales que superan los cien puntos serán cortadas a cien exactos.

Unidades temáticas

Temario semanal

  1. Introducción a la verificación formal
  2. Lógica proposicional; formas normales (entrega de T1)
  3. Aplicaciones de la lógica proposicional (entrega de T2)
  4. Diagramas binarios de decisión (entrega de T3)
  5. Lógica predicativa de primer y segundo orden (entrega T4)
  6. Principios de demostraciones de validez (entrega de T5)
  7. Aplicaciones de la lógica predicativa (entrega T6)
  8. Examen de medio curso (EMC, 10 pts)
  9. Verificación formal de sistemas
  10. Modelado de sistemas concurrentes (entrega T7)
  11. Propiedades de modelos de verificación (entrega T8)
  12. Lógica temporal lineal LTL (entrega T9)
  13. Lógica de árboles de cómputo CTL (entrega T10)
  14. Herramienta Spin para chequeo de modelos en LTL (entrega T11)
  15. Aplicaciones del chequeo de modelos (entrega T12)
  16. Examen ordinario

Resultados

ParticipanteT1T2T3 T4T5T6EMC T7T8T9 T10T11T12 EOCF
Abraham 1077969 3 NP76 23NP 473
Adán 101010101010 2 679 55NP 599
Adriana 8971079 5 NPNP4 38NP 272
Alejandro 1010710710 5 867 35NP 492
Blanca 91081089 8 9NPNP NP32 581
Carmen 9101010106 4 8NP8 106NP 596
Cecilia 101010+3101010 7 10710 88NP NP100+13
Daniel 1010810109 5 9NP10 6103 NP100
David 8109968 1 1075 25NP NP80
Eduardo 91091066 4 106NP NP6NP 682
Emmanuel 910101079 6 10710 910NP 1100+8
Esteban NP1091088 6 6NP8 310NP 078
Isaías 10107989 5 10410 10510 0100+7
Jonathan 101098610 6 93NP NPNPNP 576
Juan Carlos 1010910109 8 101010 8NPNP 3100+7
Maximiliano 1010NP1089 3 7NP10 NP10NP 380
Obed 999101010 6 NP710 4NPNP 488
Osvaldo 748747 4 10NP6 7NP4 371
Rafael 10109107NP 5 975 810NP 393
Ramón 101010+310109 8 10109+10 76NP NP100+22
Raúl 10NP6954 4 10NP10 10NP3 172
René 9108944 3 748 25NP 477
Roberto M. 9101010108 7 10109 6NP10 2100+11
Roberto V. NP81010810 5 10NP7 2NPNP 575
Rodolfo 91079510 3 6NP4 NP9NP 375
Saúl 91010998 2 597+7 NP7+10NP 3100+5
Sergio 896988 5 6NP5 432 376
Vanessa 1086997 6 9NP6 36NP 483
Víctor 10881089 2 87NP 10NPNP 292
Porcentaje de
participación
93979710010097 100905986 797224 86100

Bibliografía básica

Las fuentes principales recomendados para referencia son los siguientes.


Actualizado el 26 de noviembre del 2012.
URL: http://elisa.dyndns-web.com/~elisa/teaching/sys/valid/