You are on page 1of 11

Temario Ingeniera de Software II

Prueba de Software Objetivos y principios de la prueba. Tcnicas y mtodos de prueba. La Prueba en el contexto de la calidad. Estrategias de prueba. Niveles de prueba. Organizacin y ejecucin de la prueba.

Ingeniera de Software. Prueba de Software.

Ingeniera de Software. Prueba de Software.

Objetivos de la Prueba
Segn Glen Myers:
Proceso de ejecucin de un programa con la intencin de descubrir errores. Un buen caso de prueba es aquel con alta probabilidad de descubrir un error no encontrado hasta el momento. Una prueba tiene xito si descubre errores.

Corolario sobre la Prueba


La ausencia de evidencias no es evidencia de ausencia. Si la prueba no descubre errores no se pueda afirmar que no existan.

Ingeniera de Software. Prueba de Software.

Ingeniera de Software. Prueba de Software.

Error vs. Defecto/Falla


Defecto: anomala del producto. [IEEE]. Falla: [IEEE].
Defecto en un componente de un producto de hardware. Paso incorrecto, proceso o definicin de datos en el software.

Principios de la Prueba
Segn Alan M. Davis:
Debe existir trazabilidad de ida y vuelta entre los requerimientos y los casos de prueba. Se debe planificar la prueba antes de construir el sistema. Aplicar el principio de Pareto (80/20). Las pruebas deben ir de lo pequeo a lo grande. No son posibles pruebas exhaustivas Tcnicas Realizar las pruebas por un equipo independiente.
Ingeniera de Software. Prueba de Software.

Defecto o falla: anomala del producto de software durante su ejecucin. Error: problema de calidad descubierto por el desarrollador antes de entregar el producto. Corolario: los sistemas tienen defectos o fallas a consecuencias de errores introducidos por los desarrolladores.
Ingeniera de Software. Prueba de Software.

Tcnicas de Prueba
Prueba de caja negra (funcional).
Ejecutando la aplicacin. A partir de la interfaz del usuario. Se pretende demostrar que son correctas y completas las entradas y las salidas.

Prueba de Caja Blanca


Los CP generados deben garantizar:
Se ejecutan todos los caminos. Se ejecutan todas la alternativas (true y false). Se ejecutan todos los loops. Se ejecutan todas la estructuras internas de datos.

Prueba de caja blanca (estructural).


Se analiza la estructura lgica interna de la aplicacin. Se pretende demostrar que los componentes internos de la aplicacin se comportan adecuadamente.
Ingeniera de Software. Prueba de Software.

Dos tcnicas:
Prueba del camino bsico (grafos - CCC). Prueba de la estructura de control.
Ingeniera de Software. Prueba de Software.

Prueba de Caja Negra


Parte de los requerimientos como los ve el usuario. Los CP generados deben ayudar a encontrar:
Funciones incorrectas o ausentes. Errores en interfaz. Errores en acceso a base de datos. Errores de desempeo. Errores de inicializacin y finalizacin.
Ingeniera de Software. Prueba de Software.

Caja Blanca vs. Caja Negra


No son antagnicas. Son complementarias. Caja Blanca. Caja Negra.
Se aplica a las pruebas de alto nivel (desde el punto de vista del usuario). Se aplica en las fases ms tardas de la prueba.

Se aplica a la pruebas de bajo nivel del software. Se aplica en las primeras fases de la prueba.

Ingeniera de Software. Prueba de Software.

10

CP Basados en Funciones
Se especifica el caso de uso. Se especifican distintos valores para las distintas variables de los casos de uso. Se generan n casos de prueba por caso de uso. Para la especificacin de valores se puede usar:
Particin equivalente (clases de equivalencia). Anlisis de valores frontera o lmites.

Caso de Uso
Un caso de uso tiene:
Nombre, Actor/es que intervienen, Descripcin, Puede contener:
pre- condiciones, post- condiciones, cursos alternativos.

Un caso de uso tiene un flujo finito Jim Heumann de eventos y alternativas.


Ingeniera de Software. Prueba de Software.

*Generating Test Cases from Use Cases,

11

Ingeniera de Software. Prueba de Software.

12

Definiciones
Curso alternativo: es un flujo de eventos diferente del normal del caso de uso. Escenario: es una instancia de un caso de uso, interaccin con el sistema de datos concretos.

Caso de Prueba vs. Caso de Uso


El caso de prueba (funcional) es similar a un caso de uso, describe como se debe interactuar con el sistema pero en forma especfica. Derivar un caso de prueba a partir de un caso de uso resulta natural, la prueba es un ejemplo de uso del sistema.

Ingeniera de Software. Prueba de Software.

13

Ingeniera de Software. Prueba de Software.

14

CU: Prestar Publicacin


Curso bsico:
1. El bibliotecario ingresa en el sistema los datos del alumno: nombre o nmero. 2. El sistema verifica que exista y sea estudiante activo comunicndose con el SIC. 3. El sistema muestra por pantalla los datos completos del alumno, sus prstamos actuales y atrasos. 4. El bibliotecario ingresa en el sistema los datos de la publicacin: ttulo o nmero. 5. El sistema verifica reservas y disponibilidad de la publicacin. 6. El bibliotecario indica en el sistema el nmero de ejemplar que se retira. 7. El sistema calcula e informa el plazo mximo de devolucin. 8. El bibliotecario confirma el prstamo. 9. El sistema registra el prstamo: fecha, publicacin, ejemplar y estudiante.
Ingeniera de Software. Prueba de Software.

CU: Prestar Publicacin


Curso alternativo. 2. El alumno no existe o no es activo en el SIC, el sistema informa de la situacin. 5. No hay ejemplares disponibles para prestar, el sistema informa de la situacin y vuelve al paso 4. 8. Si el bibliotecario no confirma el prstamo, finaliza el caso de uso, no se registra el prstamo.

15

Ingeniera de Software. Prueba de Software.

16

Del CU al CP
Paso 1: Crear Lista de Escenarios Paso 2: Generar Escenarios Paso 3: Generar Casos de Prueba Paso 4: Generar Datos de Prueba

Paso 1: Crear Lista de Escenarios


Identificar con un nombre a cada escenario, indicando los cursos de inicio y alternativas que recorre. Un escenario para el curso bsico y otros para cada curso alternativo o combinaciones posibles de los mismos.

Ingeniera de Software. Prueba de Software.

17

Ingeniera de Software. Prueba de Software.

18

Escenarios Posibles
Escenario 1 Escenario 2 Escenario 3 Escenario 4 Curso normal

Paso 2: Generar Escenarios


Escenario Escenario 1 Nombre Curso de comienzo Cursos alternativos Prstamo normal Bsico Alumno inexistente o inactivo Publicacin no disponible Prstamo no confirmado Bsico CA2

Curso normal Curso normal Curso normal

Curso alternativo 2
Escenario 2

Curso alternativo 5
Escenario 3

Bsico

CA5

Curso alternativo 8
Escenario 4

Bsico

CA8

Ingeniera de Software. Prueba de Software.

19

Ingeniera de Software. Prueba de Software.

20

Paso 3: Generar Casos de Prueba


Para cada escenario generar un caso de prueba, indicando:
identificacin del caso de prueba, escenario, datos a ingresar y resultado esperado.

Paso 3: Generar Casos de Prueba


Id. caso Escenario Alumno de prueba CP1 Escenario 1 V CP2 CP3 Escenario 2 Escenario 3 N/V Publicacin Confirmacin Resultado esperado V N/D V N/D N/D Prstamo registrado. Mensaje: Alumno no existe. Mensaje: Publicacin no disponible. Vuelve al paso 4. Mensaje: Prstamo cancelado. No se el registra prstamo

N/V

Los datos a ingresar pueden ser valores vlidos o no vlidos o valores no disponibles para ingresar, segn cada escenario. Es importante especificar el resultado esperado porque permite analizar el resultado (xito o fracaso) del caso de prueba.
Ingeniera de Software. Prueba de Software.

CP4

Escenario 4

N/V

Notas: V valor vlido. N/V valor no vlido. N/D valor no disponible.


Ingeniera de Software. Prueba de Software.

21

22

Paso 4: Generar Datos de Prueba


Para cada caso de prueba seleccionar datos concretos.
Ejemplo: publicacin vlida y disponible, AW1234 - La Illada.

Paso 4: Generar Datos de Prueba


Id.CP Escenario CP1 Escenario 1 Alumno Publicacin Confirmacin Resultado esperado Acepta Prstamo registrado. Mensaje: Alumno no existe. Mensaje: Publicacin no disponible. Vuelve al paso 4. Mensaje: Prstamo cancelado. No se el registra prstamo 15632. AW1234. Martn La Illada Prez -

CP2

Escenario 2 1111. Juan Soares Escenario 3

Deben corresponder a datos vlidos o no vlidos de la aplicacin segn lo establecido en cada caso de prueba.

CP3

CP4

15632. QR1111. Martn La Prez Eneida 15632. AW1234. Escenario 4 Martn La Illada Prez

Cancela

Ingeniera de Software. Prueba de Software.

23

Ingeniera de Software. Prueba de Software.

24

Mtodos de Caja Negra


PE (Particin Equivalente ) Anlisis de Valores Lmites Comparacin (aplicaciones crticas como Industria aeronutica; Redundancia) Basados en Grafos (Comprensin y prueba de relacin de objetos)

Particin Equivalente (PE)


Clase de equivalencia: representa un conjunto de datos vlidos y otro de datos no vlidos. Ej.: 100 - 200, 300 - ... Condicin de entrada: valor numrico, rango de valores, conjunto de valores o condicin lgica.

Ingeniera de Software. Prueba de Software.

25

Ingeniera de Software. Prueba de Software.

26

Aplicacin de PE
Requerimientos.
Cdigo de rea: en blanco o nro. de 3 dgitos > 0.

Anlisis de Valores Lmites


Similar a PE, pero considerando los lmites. Reglas.
Si una condicin de entrada es:
Rango entre a y b, disear casos de prueba para a y b, por debajo de a y por encima de b. N de valores, probar el Mx. y mn, y los valores justo por encima del mx. y por debajo del mn.

Caso de prueba.
Cdigo de rea: Si condicin de entrada es lgica => puede ser nulo. Si condicin de entrada es rango => Clase de equivalencia correcta = 1 a 300. Clase de equivalencias no correctas = -100 a -1 y 301 a 500.
Ingeniera de Software. Prueba de Software.

Aplicar estas reglas para condiciones de salida y estructuras de datos.


Ingeniera de Software. Prueba de Software.

27

28

Pruebas de Entornos y Aplicaciones Especializadas


Pruebas de Interfaz Grfica de Usuario (GUIs) Pruebas de arquitecturas cliente/servidor Pruebas de documentacin y de ayuda Pruebas de Sistemas de Tiempo Real

Prueba de GUIs
Para ventanas:
Forma de abrir ventanas: teclado, mouse, men. Tamao, movimiento y despliegue de ventanas. Acceso de informacin disponible a mouse, teclas de funcin, flechas y otros. Se regenera al sobrescribir y volver abrir. Estn todas las funciones de la ventana operativas? Estn disponibles en la ventana los menes emergentes, barra de herramientas, barras deslizantes, cuadros de dilogo, botones, conos, etc.? etc.
Ingeniera de Software. Prueba de Software.

Ingeniera de Software. Prueba de Software.

29

30

Prueba de GUIs
Para menes:
Se muestra la barra de men apropiada en el contexto apropiado? Funcionan adecuadamente las funciones de despliegue? Estn todas las funciones del men accesibles con el mouse? Se ejecutan todas las funciones de cada men como se anunciaba? Si el ratn tiene varios botones, se reconocen en el contexto? Cambia adecuadamente el cursor en el orden del procesamiento? etc.
Ingeniera de Software. Prueba de Software.

Prueba de GUIs
Para entrada de datos:
Se repiten y son introducidos adecuadamente los datos alfanumricos en el sistema? Funcionan adecuadamente los modos grficos de entrada de datos como por ej. , una barra deslizante? Se reconocen adecuadamente los datos no vlidos? Son comprensibles los mensajes de entradas de datos?

31

Ingeniera de Software. Prueba de Software.

32

Prueba Cliente/Servidor
Comprobar aplicaciones clientes. Comprobar servidor de aplicaciones. Comprobar servidor de BD. Comprobar servidor de transacciones. Comprobar servidor de comunicaciones. Se prueba fundamentalmente desempeo.

Pruebas de Documentacin y Ayuda


Errores en documentacin (diseo, manual de usuario, etc.) 2 fases:
RTF del documento. Prueba en vivo con el sistema en ejecucin.

Se pueden utilizar diferentes tcnicas. Algunas Guas:


Se describe con exactitud las secuencias de interaccin? Es fcil localizar la ayuda en la documentacin? Se pueden resolver problemas fcilmente con la documentacin? Estn descritos con detalle los posibles mensajes de errores para el usuario?

Ingeniera de Software. Prueba de Software.

33

Ingeniera de Software. Prueba de Software.

34

Pruebas en Sistemas de Tiempo Real


Factor determinante: el tiempo Foco en: Sincrona, interrupciones, temporizacin, paralelismo especificacin: Diagrama de Estados Difcil simulacin (relacin estrecha entre HW y SW) Estrategia de prueba:
1. Prueba de Tareas (anlogo a prueba modular) 2. Prueba de Comportamiento (categorizacin de sucesos 3. Pruebas Intertareas (Relacin entre tareas y tiempo de resolucin: asincrona, colas, almacenes de datos) 4. Pruebas del Sistema (Integracin de HW y SW)
Ingeniera de Software. Prueba de Software.

Resumen de Tcnicas de Prueba


Caja Blanca Tcnicas de Prueba Caja Negra Prueba del Camino Bsico Prueba de Estructuras de Control Basadas en funciones Particin equivalente Anlisis de valores lmites Prueba de GUIs Prueba Cliente/Servidor Documentacin y Ayuda STR
36

PE)

35

Ingeniera de Software. Prueba de Software.

La Prueba en el Contexto de la Calidad


MTODOS DE IS: Requerimientos. Diseo. Codificacin. Etc. MTRICAS: Productos. Procesos. Proyectos.

Reflexiones sobre Calidad


La calidad no son slo controles sino una filosofa de trabajo. La calidad no la asegura un equipo de trabajo especializado, sino todo el equipo de trabajo. La prueba no es el nico elemento para asegurar la calidad, sino que es parte de una red. La calidad no es algo que se compra sino algo que se construye.

CALIDAD
INGENIERIA DE PROCESOS: Definicin de procesos. Procedimientos. Estndares SQA: V&V mediante: Revisiones. Auditoras.

PRUEBAS.

Ingeniera de Software. Prueba de Software.

37

Ingeniera de Software. Prueba de Software.

38

Generacin de Casos de Prueba


NE. US. Ing. de Req.
Diseo Codif. Prueba

La Prueba en el Proceso de Desarrollo


SIST. CAJA NEGRA: VALIDACION Ing. de Req. del Sistema Ing. de Req. del Software Prueba del Sistema Prueba de Validacin Prueba de Integracin Prueba de Unidad

ESRE

CP

ESDI

CP+

Fuentes y Exes

CP++
Ingeniera de Software. Prueba de Software.

R E S U L T A D O S

Diseo Codificacin

CAJA BLANCA: VERIFICACION


39
Ingeniera de Software. Prueba de Software.

40

Pruebas de Regresin
Cada vez que se agrega o modifica el software, ste cambia. Puede verse afectado el funcionamiento previo de una o varias funciones. Aseguran que un cambio no introdujo un comportamiento no deseado o errores adicionales. Clases de casos de prueba:
Muestra representativa que ejecuta todas las funciones. Pruebas adicionales de las funciones de SW probablemente afectadas Pruebas centradas en los componentes de SW que cambiaron

Niveles de Prueba
Prueba de Unidad.
Prueba cada componente individualmente. Se basa en los requerimientos (especificaciones del componente) de la unidad.

Prueba de Integracin.
Prueba conjunto de componentes. Se basa en los requerimientos del conjunto. Requerimientos: especificaciones de diseo y arquitectura.

Prueba de Validacin.
Prueba toda la aplicacin de software. Se basa en los requerimientos del software. Requerimientos: ESRE del software.

Prueba del Sistema.


Prueba toda la aplicacin en el contexto del sistema. Se basa en los requerimientos del sistema. Requerimientos: ESRE del sistema.

Deseable que estn automatizadas

Ingeniera de Software. Prueba de Software.

41

Ingeniera de Software. Prueba de Software.

42

Prueba de Unidad
Interfaz.
Correctitud y completitud de parmetros y argumentos. Variables globales de intercomunicacin. Operaciones de E/S: Archivos (apertura, cierre, manejo, buffers, etc.).

Entorno de Prueba de Unidad


COMPONENTE A PROBAR CONDUCTOR

Estructuras de datos.
Tipos de datos. Inicializacin. Nombres de variables. Condiciones de borde o de overflow.

Condiciones lmites.
Anlisis de valores lmite. Loops y alternativas.

RESGUARDO1

...

RESGUARDON

RESULTADOS

CASOS DE PRUEBA

Caminos independientes. Caminos de manejos de errores/excepcin.


Ingeniera de Software. Prueba de Software.

43

Ingeniera de Software. Prueba de Software.

44

Prueba de Integracin
Big bang.
Se integran todos los componentes. Se prueban todos juntos No recomendado. Incremental. Descendente. Se utilizan resguardos. Se puede realizar en: pre/in/pos order. Ascendente. Se utilizan conductores. Se puede realizar en inversa de: pre/in/pos order. Requiere prueba de regresin. Repetir casos de prueba si hay modificaciones.
Ingeniera de Software. Prueba de Software.

Prueba de Validacin
Se prueba el sistema como un todo. Contra requerimientos (ESRE). Se utilizan criterios de validacin. Procedimiento:
1. 2. 3. 4.
45

Realizar auditora de la configuracin. Realizar pruebas. Anotar desviaciones. Corregir.


46

Ingeniera de Software. Prueba de Software.

Tipos de Prueba de Validacin


Prueba de Aceptacin.
Cuando el software es hecho a medida para un cliente. El Cliente ejecuta las pruebas y reporta desviaciones. A veces puede estar presente el Constructor.

Prueba del Sistema


En el entorno que va a funcionar el software. Prueba de recuperacin.
Se demuestra la tolerancia a fallas. Se fuerza el fallo y se verifica la recuperacin.

Prueba de Seguridad.
Contra intrusos. Descubrir las claves de seguridad. Intentar bloquear el sistema. Intentar acceder durante la recuperacin.

Pruebas Alfa y Beta.


Cuando es un producto de venta masiva. Prueba alfa: las realiza un cliente voluntario en el lugar de desarrollo. Prueba beta: las realiza el cliente en su ambiente habitual sin presencia del desarrollador.
Ingeniera de Software. Prueba de Software.

Prueba de resistencia y desempeo.


Probar lmites extras del sistema. Verifican la degradacin del servicio.
47
Ingeniera de Software. Prueba de Software.

48

Responsabilidades en la Prueba
EQUIPO INDEPENDIENTE: V&V Ing. de Req. del Sistema Ing. de Req. del Software Diseo Codificacin Prueba del Sistema Prueba de Validacin Prueba de Integracin Prueba de Unidad

Cundo Parar de Probar?


La ausencia de evidencias no es evidencia de ausencia. La prueba nunca termina.
Termina probando el cliente.

Se termina cuando se consumi el presupuesto o el tiempo disponibles. Modelo estadstico.


Solucin ms profesional.
49
Ingeniera de Software. Prueba de Software.

EQUIPO DE DESARROLLO: V&V


Ingeniera de Software. Prueba de Software.

50

Condiciones para una Prueba Exitosa


Especificar requerimientos en forma cuantificable. Desarrollar perfil de usuarios del sistema. Explicitar los objetivos de la prueba. Grado de cobertura. Tiempo medio entre fallas. Costo encontrar/depurar errores. Frecuencia de fallas. Etc. Construir software que se auto-pruebe. Realizar revisiones formales de los CP y la prueba. Mejora continua del proceso de prueba.
Ingeniera de Software. Prueba de Software.

Metodologa de Prueba
Planificacin de la Prueba
Creacin del plan (objetivos, qu probar, mtodos, recursos, productos a generar y responsables)

Diseo de la Prueba
Cmo probar, cmo utilizar los mtodos, criterios de aceptacin.

Determinacin de los casos de prueba


Objetos a probar, entradas y salidas esperadas.

Planificacin del Procedimiento de Prueba


Requerimientos de la prueba, Secuencia de ejecucin y condicin de terminacin de cada caso de prueba

Ejecucin de la Prueba
Ejecutar los casos de prueba segn el procedimiento planificado y registrar los incidentes o problemas encontrados

51

Anlisis y Evaluacin de la Prueba


Examen de Resultados y Control de objetivos propuestos
52

Ingeniera de Software. Prueba de Software.

Especificacin de la Prueba [Pressman]


I. II. A. B. C. D. III. A. B. C. D. E. IV. V. VI. Ambito de la Prueba. [Objetivos, esfuerzo, criterios de finalizacin, etc.] Plan de Prueba. Fases de la prueba y construcciones. [Por ej.: (1) capa de interfaz, (2) capa de clculo y (3) capa de persistencia.] Planificacin. [Cronograma, ventanas de disponibilidad.] Software Adicional. [Conductores, resguardos, herramientas automticas, etc.] Entorno y Recursos. [Configuracin de hard/soft, simuladores, RRHH, etc.] Procedimiento de Prueba del Componentei. Orden de Integracin. [Propsito, subcomponentes, etc.] Pruebas de Unidad a Realizar. Entorno de Prueba. [tcnicas, herramientas, software.] Casos de prueba. Resultados Esperados. Resultados Generales. Referencias. Apndices.
53

Herramientas Automticas de Prueba


De anlisis de cdigo.
Estticas. Dinmicas.

De ejecucin de pruebas. De generacin de casos de prueba. Entornos automticos de prueba.

Ingeniera de Software. Prueba de Software.

Ingeniera de Software. Prueba de Software.

54

Herramientas de Anlisis Estticas


Se ejecutan sobre el cdigo del programa. Auditores de cdigo.
Verifican sintaxis. Detectan elementos no definidos. Brindar informacin de definicin y uso de variables. tiles para pruebas de definicin y uso.

Herramientas de Anlisis Dinmicas


Se ejecutan sobre la ejecucin del programa. Son monitores de programas. Controlan el comportamiento del sistema. Muestran la cantidad de veces que un elemento fue invocado o ejecutado. Brindan informacin estadstica de resumen respecto de ramas cubiertas por los juegos de prueba. Especialmente tiles en sistemas orientados a eventos.
Ingeniera de Software. Prueba de Software.

Chequeadores de estructura.
Generan grafos de la aplicacin. Muestran la ubicacin sentencias que nunca se ejecutarn.

Auditores de datos.
Chequean definicin e interfaces de estructuras de datos. Muestran existencia divisiones entre cero. Detectan pasajes de parmetros incorrectos.

Chequeadores de secuencias.
Verifican el correcto orden de los eventos. Ej.: Intento de uso de archivo no abierto.
Ingeniera de Software. Prueba de Software.

55

56

Herramientas de Ejecucin de Pruebas


Se ejecutan sobre la ejecucin del programa. Permiten automatizar la ejecucin de la prueba. Capture and Playback.
Realizan captura y reproduccin Se pueden usar una vez finalizados los casos de prueba. Captura los entradas y salidas de la ejecucin del programa. Compara salidas reales con salidas esperadas e informa. Especialmente tiles para pruebas de regresin. Setean variables de entorno para ejecucin de casos de prueba. Reinicializan variables para nuevos casos de prueba. Simulan ingresos por teclado. Comparan salidas de datos. Registran caminos de ejecucin durante las pruebas. Interactan con debbugers para analizar y depurar errores.
57

Herramientas de Generacin de Casos de Prueba


Generadores de datos de prueba. Se basan en el anlisis de la estructura del cdigo. Por ej. camino bsico. Generan datos al azar. Ejemplo de herramienta: siembra de fallas.

Drivers and Stubs.


Ingeniera de Software. Prueba de Software.

Ingeniera de Software. Prueba de Software.

58

Entornos Automticos de Prueba


Son la integracin de distintas herramientas automticas. Ejemplo:
Analizadores de cdigo. Generadores de casos de prueba. Ejecutores de prueba. Base de datos corporativa de testing. Herramientas de mtricas.

Resumen

59

Objetivos y principios de la prueba. Tcnicas y mtodos de prueba. La Prueba en el contexto de la calidad. Estrategias de prueba. Niveles de prueba. Organizacin y ejecucin de la prueba. Metodologa de la prueba
60

Ingeniera de Software. Prueba de Software.

Ingeniera de Software. Prueba de Software.

Bibliografa
Captulos 16 y 17, Ingeniera del Software, 4ta. Edicin, Pressman. Generating Test Cases from Use Cases, Jim Heumann,
http://www.computing.dcu.ie/~ltuohey/CA314_2004_2005/GeneratingTestCasesFromUseCasesJune01.pdf

Ingeniera de Software. Prueba de Software.

61