Embedded systems engineering services company

TBmanager® (+info)

• Trazabilidad automatizada desde los requisitos hasta el código y test
• Bidireccional con las herramientas populares de RM, ALM y CM como IBM Rational DOORS, Polarion AML, SVN, ...
• Integración con Word, Excel, PDF,...
• Ofrece la posibilidad de gestionar las pruebas
• Test funcional
• Test unitario/modular
• Análisis estático y dinámico
• Test de hardware
• Gestión de cumplimiento de los objetivo de estándares de “functional safety”
• Informes que incluyen matrices de trazabilidad, resultados de verificación, informes de cumplimiento de estándares, análisis estático / dinámico, etc.

TBvision® (+info)

• Análisis estático y dinámico
• Adhesión al estándar de codificación (MISRA C / C ++, CERT, CWE)
• Comprobación de errores en tiempo de ejecución
• Métricas de calidad
• Visualización de código a través de gráficos y diagramas de flujo
• Análisis de flujo de datos y control
• Informes de análisis para auditorías
• “Plugins” para identificación de terceros
• Métricas de cobertura de código
• Soporte para pruebas de host y destino para sistemas integrados
• Los resultados se pueden ver en los informes de TBvision y en varios plugins IDE
• Los informes muestran la cumplimentación del estándar
• Datos de análisis disponibles a través de API para la personalización

TBrun® (+info)

• Genera y administra automáticamente pruebas unitarias y pruebas de integración de sistemas
• Interfaz guiada por GUI para crear casos de prueba unitarias y de módulos
• Automatización del software basado en host y / o en objetivos
• Automatizar arneses de prueba
• Creación automatizada de apéndices para código que está fuera del alcance de las variables
• Generación automatizada de casos de prueba de robustez para ejercer condiciones límite, inyección de puntero nulo y más
• Se integra con todos los compiladores cruzados populares e IDE para facilitar las pruebas en el objetivo
• TBrun proporciona resultados de cobertura estructural para garantizar que el software bajo prueba se haya ejercido por completo
• Los artefactos e informes generados incluyen resultados de pruebas, cobertura estructural, validación de casos de prueba, cobertura de flujo de datos dinámico, etc.

LDRArules® (+info)

• Se adhiere a los estándares de codificación específicos del sector y definidos por el usuario
• Identifica posibles vulnerabilidades de seguridad
• Identifica posibles fallos

LDRAcover® (+info)

• Administra y mide de manera efectiva el progreso de la verificación del código y calcula el esfuerzo restante
• Mejora la confianza en la fiabilidad y solidez del código
• Identifiqua rápidamente software probado inadecuadamente
• Mejora la eficiencia del código
• Reduce los recursos de prueba
• Aumenta la calidad del producto
• Acorta el tiempo de comercialización

LDRAunit® (+info)

• Genera automáticamente controladores / arneses de prueba sin necesidad de secuencias de comandos manuales
• Altos niveles de rendimiento de prueba a través de las intuitivas opciones de interfaz gráfica y de línea de comando
• Análisis automatizado sofisticado que reduce el esfuerzo de pruebas, libera a los desarrolladores y ayuda a los testadores.
• Almacenamiento y mantenimiento de datos de test y resultados para análisis de regresión totalmente automatizado
• Detección y documentación automatizada de cambios en el código fuente
• Generación de vectores de prueba basada en herramientas
• Ejecución de pruebas en host, target y entornos de simulación
• Generación automatizada de documentación de casos de prueba incluyendo informes de análisis aprobado/no aprobado y regresión.

Más información y compra: info@ulmaembedded.com y www.ldra.com