TESSY
Automatización de tests dinámicos para software embebido
TESSY automatiza todo el ciclo de tests dinámicos para aplicaciones embebidas en C/C++, incluyendo tests unitarios y de integración, así como test de regresión y análisis de la cobertura de código.
Como herramienta fácil de instalar y usar, TESSY le guía desde la configuración del proyecto, pasando por el diseño y ejecución de los tests, hasta el análisis y generación de informes. TESSY se encarga además de la organización y gestión de la prueba, incluyendo requisitos, medición de la cobertura y trazabilidad.
El “Classification Tree Editor” (CTE) incluido, es un editor gráfico que permite aplicar el método de clasificación en árbol, usado para transformar especificaciones funcionales en un conjunto de casos de test.
TESSY cuenta con certificación para su uso en aplicaciones con requisitos Functional Safety según DO-178, IEC 61508 e ISO 26262.
Funcionalidades principales:
- Completa definición y gestión de proyectos de test
- Definición, lincado y trazabilidad de requisitos – posibilidad de importar desde 3as herramientas (DOORS, Polarion) o directamente desde archivos ReqIF, CSV o XML
- Definición de casos de test mediante el método de clasificación en árbol (CTE)
- Fácil definición y test de variantes jerárquicas de código
- Inyección de fallos automática sin modificación del código fuente para cobertura de test completa
- Varias medidas de cobertura de test (C0, C1, DC, MC/DC, MCC…)
- Soporte para la gran mayoría de Compiladores y Depuradores del mercado
- API para scripting y línea de comandos disponible para personalización o creación de nuevos módulos
- Generación de informes en HTML, Word DOC y DOCx, PDF