Actas de los Talleres de JISBD

Volumen 2. Número 4
PRIS 2008: Pruebas en Ingeniería del Software [TOC]
Actas del III Taller sobre Pruebas en Ingeniería del Software.
Gijón, España
7 de octubre de 2008
Editor:
Claudio de la Riva
Universidad de Oviedo (España)

Tabla de Contenidos
Presentación
Páginas iii-iv
C. de la Riva
PDF
Estudios y Propuestas de Investigación
Framework para la Generación Dinámica de Invariantes en Composiciones de Servicios Web con WS-BPEL
Páginas 1-6
A. García, M. Palomo, I. Medina
PDF
Propuesta para pruebas dirigidas por modelos usando el perfil de pruebas de UML 2.0
Páginas 7-12
B. Pérez, P. Reales, I. García-Rodríguez, M. Polo
PDF
Operadores de mutación para WS-BPEL 2.0
Páginas 13-18
A. Estero, F. Palomo, I. Medina Bulo
PDF
Factores que afectan negativamente a la aplicación práctica de las pruebas de software
Páginas 19-26
L. Fernández-Sanz, P. Lara, M.T. Villalba, T. Vos
PDF
Generación de mutantes con algoritmos genéticos
Páginas 27-32
J.J. Domínguez, A. Estero, I. Medina Bulo
PDF
Herramientas y Modelos
Propuesta de Modelo para Especificar la Calidad de Herramientas de Prueba
Páginas 33-38
M. Pérez, E. Méndez, K. Domínguez y L. E. Mendoza
PDF
TestPAI: Un área de proceso de pruebas integrada con CMMI
Páginas 39-46
A.Sanz, J. Saldaña, J. García, D. Gaitero
PDF