UNIVERSIDAD NACIONAL AUTNOMA DE MXICO FACULTAD DE INGENIERA PROGRAMA DE ESTUDIO

VERIFICACIN Y VALIDACIN DEL SOFTWARE

Asignatura Ingeniera Elctrica Divisin

0968
Clave

8, 9
Semestre

06
Crditos

Ingeniera en Computacin Departamento

Ingeniera en Computacin Carrera en que se imparte

Asignatura: Obligatoria Optativa de eleccin X

Horas: Tericas Prcticas 3.0 0.0

Aprobado: Consejo Tcnico de la Facultad

Total (horas): Semana 16 Semanas 3.0 48.0

Fecha: 25 de febrero, 17 de marzo y 16 de junio de 2005 11 de agosto de 2005

Modalidad: Curso. Asignatura obligatoria antecedente: Ninguna. Asignatura obligatoria consecuente: Ninguna.

Consejo Acadmico del rea de las Ciencias Fsico Matemticas y de las Ingenieras

Objetivo(s) del curso: El alumno aplicar, en un proyecto, la metodologa y herramientas de la validacin y verificacin del software.

Temario

NM.

NOMBRE

HORAS

1. 2. 3. 4. 5. 6.

Introduccin y panormica Control de la construccin y pruebas del software Tpicos de prueba complementarios Problemas de prueba especiales Pruebas automatizadas Organizacin del proyecto para verificacin y validacin

2.0 2.0 3.0 3.0 3.0 4.0

VERIFICACIN Y VALIDACIN DEL SOFTWARE

(2 / 6)

NM.

NOMBRE

HORAS

7. 8. 9. 10. 11. 12.

Actividades de verificacin y validacin de la ingeniera del sistema Actividades de verificacin y validacin del desarrollo del software Actividades de verificacin y validacin de la organizacin de las pruebas independientes Actividades de verificacin y validacin de la configuracin admn./aseguramiento de la calidad Actividades de verificacin y validacin externas a la organizacin del proyecto Tendencias futuras

6.0 6.0 6.0 6.0 6.0 1.0 48.0

Prcticas de laboratorio Total

0.0 48.0

VERIFICACIN Y VALIDACIN DEL SOFTWARE

(3 / 6)

1 Introduccin y panormica Objetivo: El alumno(a) explicar (verbalmente y/o mediante un ensayo) los antecedentes histricos de la verificacin y validacin, los trminos de confiabilidad, verificacin, validacin y certificacin y los aspectos conceptuales de las pruebas en la ingeniera de la programacin. Contenido: 1.1 Introduccin 1.2 Panormica

2 Control de la construccin y pruebas del software Objetivo: El alumno explicara la planificacin y el control de la construccin del software, as como las fases de prueba en los grandes proyectos de software. Contenido: 2.1 Enfoque bsico 2.2 Definicin de las secuencias 2.3 Planeacin de la prueba y de los procesos 2.4 Aplicacin del procedimiento 2.5 Integracin y prueba de sistemas grandes

3 Tpicos de prueba complementarios Objetivo: El alumno contrastar el enfoque anterior con otros de pruebas de software. Contenido: 3.1 Planeacin de prueba previa al desarrollo a gran escala 3.2 Consideraciones de las dimensiones del desarrollo de software 3.3 Estrategias del desarrollo del software 3.4 Mtodos para combinar componentes del software 3.5 Tendencias de errores a lo largo de las pruebas

4 Problemas de prueba especiales Objetivo: El alumno explicara las pruebas para algunos sistemas especficos como sistemas de tiempo real, sistemas dominados por datos y pruebas durante el mantenimiento. Contenido: 4.1 Pruebas en sistemas de tiempo real 4.2 Pruebas en sistemas dominados por datos 4.3 Pruebas durante la fase de mantenimiento

VERIFICACIN Y VALIDACIN DEL SOFTWARE

(4 / 6)

5 Pruebas automatizadas Objetivo: El alumno explicar los beneficios de las herramientas automatizadas para la verificacin y validacin. Contenido: 5.1 Motivacin para la automatizacin 5.2 Alcance de las herramientas automatizadas 5.3 El sistema de verificacin automatizada 5.4 Un sistema de verificacin automatizada 5.5 Un sistema de depuracin en lnea

6 Organizacin del proyecto para verificacin y validacin Objetivo: El alumno mostrara la estructura de la organizacin de un proyecto de software tpico as como los eventos del ciclo de vida del software. Contenido: 6.1 El ciclo de vida del software 6.2 La organizacin del proyecto del software

7 Actividades de verificacin y validacin de la ingeniera del sistema Objetivo: El alumno detallar las actividades de verificacin y validacin de la organizacin de la ingeniera del sistema. Contenido: 7.1 Revisin del diseo formal 7.2 Validacin de requerimientos 7.3 Administracin de la base de datos 7.4 Coordinacin del diseo del sistema y problemas de interfaz 7.5 Revisin de las propuestas de cambio

8 Actividades de verificacin y validacin del desarrollo del software Objetivo: El alumno explicar las actividades relacionadas con la verificacin y validacin realizadas por la organizacin de desarrollo del software. Contenido: 8.1 Enfoques de desarrollo del equipo 8.2 Mtodos constructivos 8.3 Diseo asistido por computadora 8.4 Revisiones estructuradas 8.5 Pruebas preliminares

VERIFICACIN Y VALIDACIN DEL SOFTWARE

(5 / 6)

9 Actividades de verificacin y validacin de la organizacin de las pruebas independientes Objetivo: El alumno explicar las funciones de la organizacin de prueba independiente en el ciclo de vida del software. Contenido: 9.1 Actividades durante la fase de definicin de requerimientos 9.2 Actividades durante el perodo de definicin 9.3 Actividades durante el perodo de diseo 9.4 Actividades durante el perodo de construccin 9.5 Actividades durante el perodo de prueba 9.6 Actividades durante el perodo de integracin

10 Actividades de verificacin y validacin de la configuracin admn./aseguramiento de la calidad Objetivo: El alumno explicar de las organizaciones que administran la configuracin y el aseguramiento de la calidad. Contenido: 10.1 Administracin de la configuracin 10.2 Aseguramiento de la calidad

11 Actividades de verificacin y validacin externas a la organizacin del proyecto Objetivo: El alumno explicar los papeles del contratista para la verificacin y validacin independiente as como los del grupo de revisin independiente. Contenido: 11.1 El contratista independiente para la verificacin y validacin 11.2 El grupo de revisin independiente

12 Tendencias futuras Objetivo: El alumno realizar una prospectiva de la verificacin y validacin del software. Contenido: 12.1 Tendencias administrativas 12.2 Tendencias tecnolgicas

VERIFICACIN Y VALIDACIN DEL SOFTWARE

(6 / 6)

Bibliografa bsica: DEUTSCH, Michael Software verification an validation New Jersey Prentice Hall, 1982 STEVEN, R. Rakitin Software Verification and Validation for Practitioners and Managers 2nd edition Artech House, 2001.

Temas para los que se recomienda : Todos

Todos

Bibliografa complementaria: GORDON SCHULMEYER G., Garth r. Mackenzie Verification and Validation of Modern Software-Intensive Systems New Jersey Prentice Hall, 2000 Todos

Sugerencias didcticas: Exposicin oral Exposicin audiovisual Ejercicios dentro de clase Ejercicios fuera del aula Seminarios

X X

Lecturas obligatorias Trabajos de investigacin Prcticas de taller o laboratorio Prcticas de campo Otras

X X X

Forma de evaluar: Exmenes parciales Exmenes finales Trabajos y tareas fuera del aula

X X X

Participacin en clase Asistencias a prcticas Otras

X X

Perfil profesiogrfico de quienes pueden impartir la asignatura Perfil profesiogrfico: Profesional con experiencia en la verificacin y validacin del software, de preferencia debe contar con un postgrado (maestra o doctorado) en el campo.