Casos De Prueba

Departamento de Lenguajes y Sistemas Informáticos
Escuela Técnica Superior de Ingeniería Informática Universidad de Sevilla

Avda Reina Mercedes, s/n. 41012 SEVILLA Fax : 95 455 71 39. Tlf: 95 455 71 39. E-mail: lsi@lsi.us.es

Generación de pruebas de sistema a partir de la especificación funcional

Universidad de Sevilla

Lenguajes y Sistemas Informáticos España

Javier JesúsGutiérrez

Tutores: Doctor D. Manuel Mejías Risoto. Doctora Dña. María José Escalona Cuaresma.

En Sevilla, Julio de 2.005

Generación de pruebas de sistema a partir de la especificación funcional

2

Departamento de Lenguajes y Sistemas Informáticos – Universidad de Sevilla

Generación de pruebas de sistema a partir de la especificación funcional

3

Presentación del informe deinvestigación.
El aumento de la complejidad de los sistemas software pone de manifiesto la necesidad de garantizar la calidad de dichos sistemas. En el contexto de este trabajo definimos calidad como la adecuación del software a sus requisitos. En este informe de investigación proponemos el uso de las pruebas de sistema como herramienta para verificar el cumplimiento de la especificaciónfuncional de un sistema y asegurar su calidad. En las secciones 1 y 2 se definen las pruebas de sistema y se exponen las ventajas de contar con propuestas que indiquen cómo obtener un conjunto de pruebas adecuadas y permitan automatizar este proceso. Loa puntos principales de este informe de investigación, secciones 3, 4 y 5, describen un análisis comparativo de las propuestas existentes para guiar lageneración de casos de prueba del sistema. Las conclusiones de este análisis, recogidas en las secciones 6 y 7, permiten establecer el nivel de detalle y madurez de estas propuestas, así como sentar las bases para un futuro trabajo de investigación. Por último, la sección 8 resume las publicaciones, congresos, institutos y grupos de investigación más relevantes en la investigación sobregeneración de casos de prueba

Departamento de Lenguajes y Sistemas Informáticos – Universidad de Sevilla

Generación de pruebas de sistema a partir de la especificación funcional

4

Departamento de Lenguajes y Sistemas Informáticos – Universidad de Sevilla

Generación de pruebas de sistema a partir de la especificación funcional

5

Índice:
Presentación del informe de investigación....................................................................... 3 1. Introducción................................................................................................................ 11 1.1. Definición de las pruebas software...................................................................... 11 1.2. Un proceso de prueba delsoftware...................................................................... 13 2. Planteamiento del problema. ...................................................................................... 15 2.1. Problemas de las pruebas manuales..................................................................... 15 2.2. Calidad del conjunto de pruebas......................................................................... 16 2.3. Costes delproceso de prueba............................................................................... 17 2.4. Acotación del problema de búsqueda.................................................................. 20 3. Estudio de la situación actual. .................................................................................... 23 3.1. Automated Test Case Generation from DynamicModels................................... 24 3.2. Requirements by Contract ................................................................................... 29 3.3. Testing From Use Cases Using Path Analysis Technique .................................. 32 3.4. Test Cases From Use Cases................................................................................. 35 3.5. PLUTO y Category Partition Method...