Aseguramiento de la calidad y pruebas de software

Transcripción

1 Aseguramiento de la calidad y pruebas de software 5- Pruebas del software Automatización de pruebas unitarias Blanca A. Vargas Govea vargasgovea@itesm.mx Abril 23, 2013

2 Contenido Automatización de pruebas Frameworks de automatización

3 Pruebas unitarias Ad-hoc intuitivas, sin plan, conforme se va presentando. Manuales planeación, scripts. Automáticas planeación, pieza de código para probar otro, uso de frameworks para pruebas unitarias.

4 Frameworks para pruebas unitarias Herramientas de software que soportan la escritura, ejecución y reporte de resultados de pruebas unitarias. Pueden contribuir en cada etapa del desarrollo de software, particularmente con el objetivo de aseguramiento de la calidad.

5 Desarrollo basada en pruebas (TDD: Test Driven Development) Práctica usada ampliamente en diversas metodologías y estrechamente relacionada a frameworks para pruebas unitarias. Pasos: rojo, verde, refactorizar

6 Desarrollo basada en pruebas (TDD: Test Driven Development) Pasos básicos: 1. Rojo escribir una prueba, ejecutarla y verificar la falla. La falla es importante porque valida que la prueba falle como se espera. 2. Verde se modifica el código para que la prueba tenga éxito Hacer lo más simple que pueda funcionar. 3. Refactorización mejorar el código sin modificar funcionalidad.

7 Desarrollo basada en pruebas (TDD: Test Driven Development) Escribir las pruebas obliga a pensar por adelantado en el mejor diseño de nuevo código. Continuar hasta que la prueba pase.

8 Familia xunit Kent Beck Smalltalk SUnit JUnit Java Cpp Unit Nunit.Net PyUnit XML Unit QUnit Javascript

9 Arquitectura La familia de xunits tienen la misma arquitectura básica. Clases principales TestCase, TestRunner, TestFixture, TestSuite, TestResult TestCase clase elemental, todas las pruebas unitarias son heredadas de esta clase. TestRunner reporta detalles sobre los resultados de las purebas.

10 Arquitectura TestFixture inicializar, ejecutar, verificar, destruir. TestSuite mecanismo para agrupar distintas pruebas. TestRunner ejecución de las pruebas. TestResult acumular resultados de pruebas.

11 PyUnit Ejemplo mínimo

12 Métodos para verificar y reportar fallas assertequal(a, b) a == b assertnotequal(a, b) a!= b asserttrue(x) bool(x) is True assertfalse(x) bool(x) is False assertis(a, b) a is b assertisnot(a, b) a is not b assertisnone(x) x is None assertisnotnone(x) x is not None assertin(a, b) a in b assertnotin(a, b) a not in b assertisinstance(a, b) isinstance(a, b) assertnotisinstance(a, b) not isinstance(a, b)

13 Actividad y Tarea 13

14 Actividad 21 - equipo 14

15 Actividad Instalar el framework de prueba acorde al lenguaje en el que estés desarrollando tu proyecto. 2. Ejecutar el ejemplo mínimo. 3. De la sesión 13 se tiene un problema y conjunto de casos de prueba. A partir de dichos casos, y utilizando el framework, realizar un programa que haga las pruebas automáticas. 15

16 Se está desarrollando un módulo que permite a un usuario introducir nuevos identificadores de widget en una base de datos. La especificación para el módulo establece que un identificador debe consistir de 3-15 caracteres alfanuméricos de los cuales los dos primeros deben ser letras. 16

17 Nombre del módulo: Inserta_Widget Identificador del módulo: AP62-Mod4 Fecha: Enero 31, 2010 Tester: Clark Kent Identificador de caso de prueba Valores de entrada Clases de equivalencia válidas y límites cubiertos 1 abc1 CE1,CE3 (ALB),CE6 Clases de equivalencia no válidas y límites cubiertos 2 ab1 CE1,CE3 (LB),CE6 3 abcdef CE1,CE3 (UB),CE6 4 abcde CE1,CE3 (BUB),CE6 5 abc* CE3 (ALB),CE6 CE2 6 ab CE1,CE6 CE4 (BLB) 7 abcdefg CE1,CE6 CE5 (AUB) 8 a123 CE1,CE3 (ALB) CE7 9 abcdef123 CE1,CE3,CE6 (caso típico) 17

18 Tarea 22: equipo Selecciona una tarea de tu proyecto, obtén los casos de prueba utilizando pruebas de caja blanca. Utilizando el framework realiza un programa que automatice la prueba de los casos. Fecha de entrega: Abril