PROGRAMA DE LA MATERIA

U.T. 1: Gestión de Proyectos

Temas: 

 

▪ Conceptos de gestión de proyectos. El problema de las 4 "P” (personal, producto, proceso, proyecto). Actividades de gestión, planificación del proyecto, hitos y entregas. El plan de proyecto. 

 

▪ Planificación Organizativa: del equipo y del proyecto. 

 

▪ Calidad: Conceptos de Calidad y Calidad Total. Calidad del proceso y del producto. Aseguramiento y estándares de calidad. Planeamiento de la calidad. Control de la 28 calidad. ▪ Gestión del Riesgo: identificación de riesgos, proyección, impacto, reducción, supervisión y gestión. Planes de contingencia. El plan de RSGR. 

 

▪ Gestión de la configuración del software: Línea base, gestión del cambio, control de versiones, auditoría. Apuntes y Practica

U.T. 2: Planificación y Seguimiento de Proyectos

 

Temas: 

 

•      Planificación, seguimiento y control de proyectos. 

•      Principios básicos de la planificación. 

•      Herramientas de seguimiento y control. 

•      Entrenamiento.

•      Documentación.

 

U.T. 3: Desarrollo de Software
 

Temas: 

•      Modelos de mejoras de procesos de desarrollo de software.

•      Modelos de Calidad para el desarrollo de Software: CMM y CMMI. 

•      Otros modelos de calidad, normas ISO. 

•      Métodos de evaluación basados en CMMI: SCAMPI A, B y C. El ciclo de mejoras, el modelo IDEAL.

 

U.T. 4: Verificación y Validación

Temas: 

Verificación y Validación

➢ Técnicas de Prueba 

➢ Pruebas de Caja blanca: camino básico, bucles.

 

➢ Pruebas de Caja negra: partición equivalente, análisis de valores límites. 

 

Estrategias de Prueba 

➢ Defectos y fallas. Planificación. Diseño de casos de prueba. Resultados. Documentación de las pruebas.

 

 Automatización. 

➢ Pruebas de unidad (arquitecturas convencionales y arquitecturas orientadas a objetos).

➢ Pruebas de integración (arquitecturas convencionales y arquitecturas orientadas a objetos).

➢ Pruebas de validación: alfa y beta.

➢ Pruebas del sistema: de recuperación, de seguridad, de resistencia, de desempeño.

➢ Pruebas de regresión. 

➢ La depuración: proceso, estrategia, corrección del error. 

 

            Normas ISO 9000. Pruebas de validación. Certificaciones.

U.T. 5: Seguridad, Auditoria y peritaje de sistemas

Temas: 

• Rejuvenecimiento del software: redocumentación,  Reestructuración, ingeniería inversa, reingeniería.

• Privacidad, Integridad y Seguridad.  

    Auditoría y Peritaje.

Bibliografía:

 

1. Obligatoria:

✓  Ingeniería de Software. 9na Edición. Ian Sommerville. Pearson. 2011. 

✓  Software Engineering: Theory and Practice. 4th Edition. Shari Pfleeger. Prentice Hall.

2010s. (Edición en castellano: Ingeniería de Software. Teoría y Práctica. Shari Pfleeger. Pearson Education. 2002) 

✓  Ingeniería de Software. Un enfoque práctico. 7ma Edición. Roger Pressman. McGrawHill. 2010. 

✓  Auditoria en Informática 2da Edición. José Antonio Echenique García. McGraw-Hill.

2001. 

 

Testing estructural

ü  Sommerville, I., Software Engineering, Addison-Wesley, Harlow, 1995. Páginas 445452.

ü  Ghezzi, C., Jazayeri, M. y Mandrioli, D., Fundamentals of Software Engineering, Prentice Hall, Upper Saddle River, 1991. Páginas 255-278.

 

Testing funcional y especificaciones formales

ü  Hörcher, H., Peleska, J., "Using formal specifications to support software testing", Software Quality Journal, 4: 309-327, 1995.

ü  Ghezzi, C., Jazayeri, M. y Mandrioli, D., Fundamentals of Software Engineering, Prentice Hall, Upper Saddle River, 1991. Páginas 280-295. Optativa

 

2. Complementaria 

 

✓   Systems Analysis and Design, 9/E. Kendall & Kendall. Pearson. 2013. (Edición en castellano: Análisis y diseño de sistemas. 8va Edición. Kendall & Kendall. Pearson. 2011).

 

✓   Análisis de Sistemas. Diseño y Métodos. 7ma Edición. Whitten y Bentley. 2008.

 

ü  Richards Adrion, W., Branstad, M. A., Cherniavsky, J. C., "Validation, verification, and testing of computer software", ACM Computing Surveys, 11(2): 159-192, junio 1982.

 

ü  Stocks, P., Carringtong, D., "A framework for specification-based testing", IEEE Transactions on Software Engineering, 22(11): 777-793, noviembre 1996.

 

ü  Tai, K., "Theory of fault-based predicate testing for computer programs", IEEE Transactions on Software Engineering, 22(8): 552-562, agosto 1996.

 

ü  Rapps, S., Weyuker, E.J., "Data flow analysis techniques for test data selection", Proceedings of IEEE International Conference on Software Engineering, 272-278, septiembre 1982.

 

ü  Stocks, P., "Applying formal methods to software testing", Tesis doctoral, Department of Computer Science, University of Queensland, 1993. Páginas 27-32, 47-64