CANTATA La solucin para probar software en C

Laboratorio de Sistemas de Informacin Facultad de Informtica Universidad Politcnica de Valencia

Introduccin
Necesidad de probar el software completa y sistemticamente, en cada fase del ciclo de desarrollo Problema: probar es caro Dilema: Calidad <-> Coste

03/02/03

Cantata
Producto de verificacin de software Solucin completa de verificacin de software en C, en un nico paquete Integracin en el entorno

03/02/03

Principales reas:
Dynamic testing Hace lo que debera? Coverage analysis Cmo son de buenas las pruebas?, son completas? Static analysis Es el SW mantenible? Cumple los estndares?

03/02/03

Dynamic testing (I)

Punto ms importante de la verificacin del software. Comprueba que lo que el software hace es lo que se espera que haga Cantata permite pruebas dinmicas en: Unidades individuales de SW Colecciones de unidades Sistemas completos

03/02/03 5

Dynamic testing (II)

Estructura formal para: especificacin, ejecucin, documentacin, reutilizacin y repeticin de pruebas Informe completo para diagnstico y garanta de calidad

03/02/03

Dynamic testing (III)

Permite diversos tipos de prueba: Funcional (caja negra) Estructural (caja blanca) Unidad (aislamiento) Integracin Genera pruebas de test, las ejecuta, genera informe de resultados y anlisis temporal

03/02/03

Coverage analysis (I)

Medida para comprobar la efectividad del dynamic test Mide la proporcin del software ejecutado durante la prueba Identifica cdigo no ejecutado Requerido por bastantes estndares: RTCA/DO-178B Def Stan 00-55

03/02/03

Coverage analysis (II)

Se puede efectuar sobre: Funciones simples Mdulos Clases Cualquier nmero de funciones integradas, mdulos o clases Aplicaciones completas

03/02/03

Static analysis
Aporta informacin sobre el cdigo: Mantenibilidad Estructura Legibilidad Verificabilidad Reforzar estndares de codificacin Valoracin de la complejidad Evala: Complejidad Mantenibilidad

03/02/03 10

Caso prctico: Funcin Convert

Analizaremos una funcin en C, que convierte un entero a formato string en decimal, octal o hexadecimal Para ello utilizaremos una simulacin de Cantata ...

03/02/03

11

Otros detalles
Portabilidad de los test (Windows, Unix, ...) ANSI C ISO 9000-3 Usado en proyectos crticos de desarrollo en C (aviacin, defensa, salud,...)

03/02/03

12