Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
0968
Clave
8, 9
Semestre
06
Crditos
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 / 6)
NM.
NOMBRE
HORAS
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
0.0 48.0
(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
(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
(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
(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.
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
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.