1 / 12

CANTATA “La solución para probar software en C”

CANTATA “La solución para probar software en C”. Laboratorio de Sistemas de Información Facultad de Informática Universidad Politécnica de Valencia. Introducción. Necesidad de probar el software completa y sistemáticamente, en cada fase del ciclo de desarrollo Problema: probar es caro

baird
Télécharger la présentation

CANTATA “La solución para probar software en C”

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CANTATA“La solución para probar software en C” Laboratorio de Sistemas de Información Facultad de Informática Universidad Politécnica de Valencia

  2. Introducción • Necesidad de probar el software completa y sistemáticamente, en cada fase del ciclo de desarrollo • Problema: probar es caro • Dilema: Calidad <-> Coste

  3. Cantata • Producto de verificación de software • Solución completa de verificación de software en C, en un único paquete • Integración en el entorno

  4. Principales áreas: • Dynamic testing • ¿Hace lo que debería? • Coverage analysis • ¿Cómo son de buenas las pruebas?, ¿son completas? • Static analysis • ¿Es el SW mantenible? • ¿Cumple los estándares?

  5. Dynamic testing (I) • Punto más importante de la verificación del software. • Comprueba que lo que el software hace es lo que se espera que haga • Cantata permite pruebas dinámicas en: • Unidades individuales de SW • Colecciones de unidades • Sistemas completos

  6. Dynamic testing (II) • Estructura formal para: especificación, ejecución, documentación, reutilización y repetición de pruebas • Informe completo para diagnóstico y garantía de calidad

  7. Dynamic testing (III) • Permite diversos tipos de prueba: • Funcional (caja negra) • Estructural (caja blanca) • Unidad (aislamiento) • Integración • Genera pruebas de test, las ejecuta, genera informe de resultados y análisis temporal

  8. Coverage analysis (I) • Medida para comprobar la efectividad del dynamic test • Mide la proporción del software ejecutado durante la prueba • Identifica código no ejecutado • Requerido por bastantes estándares: • RTCA/DO-178B • Def Stan 00-55

  9. Coverage analysis (II) • Se puede efectuar sobre: • Funciones simples • Módulos • Clases • Cualquier número de funciones integradas, módulos o clases • Aplicaciones completas

  10. Static analysis • Aporta información sobre el código: • Mantenibilidad • Estructura • Legibilidad • Verificabilidad • Reforzar estándares de codificación • Valoración de la complejidad • Evalúa: • Complejidad • Mantenibilidad

  11. Caso práctico: Función Convert • Analizaremos una función en C, que convierte un entero a formato string en decimal, octal o hexadecimal • Para ello utilizaremos una simulación de Cantata ...

  12. Otros detalles • Portabilidad de los test (Windows, Unix, ...) • ANSI C • ISO 9000-3 • Usado en proyectos críticos de desarrollo en C (aviación, defensa, salud,...)

More Related