Pruebas y Validación de Software y Servicios
Curso de Master/Doctorado, 2009-2010
(Última actualización: 9-Oct-2009)
Curso: Pruebas y Validación de Software y Servicios
URL: http://www.di.uniovi.es/~tuya/is/pvss.html
Fechas: 12-27 de Noviembre de 2009
Programa: Master Universitario en Sistemas y servicios informáticos para internet
Departamento: Informática
Grupo de Investigación en Ingeniería del Software
En
esta página se incluye información complementaria sobre
el curso. La información oficial se encuentra en la Página del master.
- Introducción a la Investigación en Pruebas del Software
- Generación y Evaluación de Casos de Prueba
- Pruebas de Arquitecturas Orientadas a Servicios
- Pruebas de Acceso a Datos (SQL y XML)
- Pruebas Funcionales, No Funcionales y de Calidad de Servicio
- Validación de resultados de investigación en Pruebas del Software
- Guía Docente
- Conocer y comprender los principales logros actuales y retos
futuros en las diferentes líneas de investigación
existentes en la temática de la prueba del software
- Conocer y comprender los principales métodos y técnica aplicables a la Prueba del Software
- Conocer y comprender la problemática de la prueba en el
ámbito de arquitecturas orientadas a servicio y pruebas de
acceso a datos
- Conocer y comprender las técnicas principales para la prueba
de arquitecturas orientadas a servicio y pruebas de acceso a datos
- Conocer y comprender las técnicas principales orientadas
hacia la prueba de aspectos no funcionales y calidad de servicio en
arquitecturas orientadas a servicio
- Conocer y comprender los principales métodos y
técnicas para la validación experimental de los
resultados de investigación en al ámbito de la prueba del
software
- Aplicar el método
científico para abordar aspectos relativos a la prueba y
validación del software
- Aplicar la metodología y técnicas de
validación experimental de un resultado de investigación
en la temática de la prueba del software
- Aplicar los métodos y técnicas de prueba del software
adecuadas para abordar nuevos retos de investigación en el
ámbito de aplicaciones y arquitecturas orientadas a servicios.
- Desarrollar la capacidad de análisis, síntesis y
evaluación de las diferentes aportaciones existentes en la
literatura
- Desarrollar la capacidad comunicativa escrita mediante la
elaboración de un trabajo de investigación en alguna de
las áreas de la Prueba del Software
- Comprender los resultados de una revisión de un trabajo de
investigación elaborado por el estudiante a partir de
comentarios procedentes de una revisión por pares
- Realizar cambios a un trabajo de investigación en base a los comentarios de revisión recibidos
- Desarrollar la capacidad comunicativa oral mediante la
presentación de los resultados de un trabajo de
investigación realizado por el estudiante ante un auditorio
especializado en la temática de prueba del software
- Desarrollar nuevo conocimiento en la temática de la prueba del software
- Grupo de Investigación en Ingeniería del Software - Pruebas del Software.
- RePRIS - Red para la promoción y mejora de las Pruebas en Ingeniería del Software.
- Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
- Taller sobre Pruebas en Ingeniería del Software (PRIS)
- International Symposium on Software Testing and Analysis (ISSTA).
- International Conference on Software Testing (ICST).
- Software Testing, Verification and Reliability. Wiley. Incluye artículos tanto relativos a pruebas como a verificación de software.
- Martin R. Woodward, Insights into software testing, Software Focus, 2 (3) 93-103, 2001.
- H. Zhu, Patric A. V. Hall, John H. R. May, Software Unit Test Coverage and Adequacy, ACM Computing Surveys, 29 (4) 1997.
- T.J.
Ostrand, M. J. Balcer, The Category-Partition Method for Specifying and
Generating Functional Tests, Communications of the ACM, 31 (6), 1988.
- B. Korel, Automated software test data generation, IEEE Transactions on Software Engineering, 16 (8), 1990.
- K.N.
King, J. Offutt, A Fortran Language System for Mutation-Based Software
Testing, Software, Practice and Experience, 21(7) 1991.
- P. McMinn, Search-based software test data generation: a survey, Software Testing, Verification and Reliability, 14, 2004.
- Publicaciones sobre Pruebas del Grupo de Investigación en Ingeniería del Software.
- Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado, A tabu search algorithm for structural software testing, Computers and Operations Research, 35(10) 3049-3392, 2008.
- Mª J.Suárez-Cabal, J. Tuya, Using a SQL Coverage Measurement for Testing Database Applications. 12th ACM SIGSOFT Symposium on Foundations of Software Engineering. ACM Software Engineering Notes 19(6) pp. 253-262, 2004.
- José García-Fanjul, Javier Tuya, Claudio de la Riva, Generating test cases specifications for compositions of web services , International Workshop on Web Services, Modeling and Testing (WS-MaTe), Palermo, 2006, pp. 83-94.
- Javier Tuya, Mª José Suárez-Cabal, Claudio de la Riva, Mutating Database Queries. Information and Software Technology, 49(4) 398-417, 2007. Herramienta SQLMutation.
- Javier Tuya, Javier Dolado, Mª Jose Suarez-Cabal, Claudio de la Riva, A controlled experiment on white-box database testing,
ACM SIGSOFT Software Engineering Notes, 33(1) 8.1-8.6, January 2008.
- Mª José Suárez Cabal, Javier Tuya, Structural Coverage Criteria for Testing SQL Queries, Journal of Universal Computer Science, 15(3) 584-619, 2009.
- Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz, Automated test data generation using a Scatter Search approach, Information and Software Technology, 51(4) 708–720, April 2009.
- Otras publicaciones sobre pruebas del grupo.
-
Trabajo Práctico:
- Lectura y búsqueda de literatura relacionada con el curso.
- Elaboración y presentación oral de trabajo individual en forma de artículo.
-
Evaluación:
- Calificación de los trabajos realizados y de la exposición
