Productos

LDRA Software

PRODUCTOS DE TERCEROS

Distribuimos herramientas de LDRA para el análisis del código y test del software

LDRA Software

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