Registro  
Login

Análisis Estático de Código

Desarrollo de Embedded Software


Pruebas de Software y Sistemas

Pruebas de Interfaz Gráfica GUI
Soporte a la Certificación DO-178/254

Soporte a la Certificación ISO-26262

Diseño y Verificación de SoCs y FPGAs

Formación de Certificación DO-178/254

Formación de Certificación Ferroviaria


Formación en Certificación ISO 26262

Formación en Ingeniería de Requisitos

Mejore su productivad
Detección de errores en tiempo de ejecución y errores de concurrencia
Reduzca el tiempo de desarrollo

Herramientas de Análisis Estático de Código

Astrée es una herramienta de gama alta, basada en métodos formales, que garantiza que cuando no detecta errores de ejecución, la aplicación realmente no tiene errores de ejecución.

A día de hoy, únicamente existen dos herramientas en el mercado, basadas en métodos formales, que puedan dar esta garantía.

¿Por qué elegir Astrée?

Integrity Multivisor: Tecnología de Virtualización
Los compiladores más optimizados
El depurador más potente del mercado
Detección de errores debidos a “Stack Overflow”

¿Por qué elegir StackAnalyzer?

Stack Analyzer, basada en métodos formales, permite probar la ausencia de errores en tiempo de ejecución de tipo “stack overflow”

A día de hoy, es posiblemente la única herramienta que puede dar esta garantía.
Realiza el análisis estático sobre el código binario (ejecutable)
Soporta múltiples compiladores cruzados de distintos fabricantes y lenguajes de programación (C, C++, Ada)
Proporciona una información detallada de uso de stack de usuario y de sistema a nivel de tarea
Permite seleccionar el punto de entrada del análisis
Realiza una reconstrucción del flujo de control directamente desde el código binario
Proporciona información a nivel de código ensamblador y código fuente
Mediante el módulo opcional, Value Analyzer, permite realizar el análisis de control de flujo y de control de datos (análisis de registros y zonas de memoria, control de acceso a variables y funciones)
Tiene integraciones con Jenkins, Eclipse y TargetLink (dSpace)
Tiene un Paquete de Certificación para DO-178, ISO 26262, EN-50128 y FDA
Funciona para aplicaciones escritas en lenguaje C
Detecta errores de concurrencia en el sistema operativo OSEK y perfil ARINC 653
Detecta errores de división por cero
Detecta errores de acceso a arrays fuera de rango
Detecta manipulaciones de punteros erróneas
Detecta desbordamientos de variables de tipo entero y punto flotante
Detecta errores de redondeo en cálculos de punto flotante
Detecta accesos a variables no inicializadas
Detecta accesos concurrentes problemáticos a variables compartidas por varios procesos
Detecta errores de inconsistencia de bloqueo de variables
Permite el diagnóstico de aserciones definidas por el usuario para probar propiedades adicionales en tiempo de ejecución
Permite probar qué porciones de código no son ejecutables bajo ninguna circunstancia (detección de código muerto)
Chequea el código fuente conforme a las siguientes normas de codificación  software:





Tiene interfaz IDE y por línea de comandos, permitiendo la ejecución en batch para facilitar las pruebas de regresión
Tiene integraciones con Jenkins, SCADE, TargetLink (dSPACE), SymtaVision y RT-Druid
Tiene un Paquete de Certificación para DO-178, ISO 26262, EN-50128 y FDA
MISRA C (2004 y 2012, incluyendo Amendment 1)
Lenguaje C99 (Anexo J de ISO/IEC 9899:1999)
CWE (CCR accuracies Exact, CWE-more-abstract y CWE-more-specific)
SEI CERT C
ISO/IEC TS 17961:2012
Productos
 
©  2018 Doymus Software e Ingeniería  •  Aviso Legal  •   Política de Privacidad  •  Política de Cookies
Servicios
Contactar
+34 911.788.540
info@doymus.com
Software & Hardware Development Tools
and Professional Services
Otros
Referencias

Recursos

Newsletters

Eventos
Doymus
Análisis Estático de Código Fuente y Binario
Placas y Sistemas Hardware
de Alta Disponibilidad
Validación y Simulación
de Requisitos
Pruebas de Integraz Gráfica
de Usuario (GUI)
Entornos de Desarrollo Software Embarcado
Especificación y Análisis de Requisitos y Riesgos
Pruebas dinámicas de Software Embarcado
Medida de Calidad de Proceso, Proyecto y Código Fuente
Soporte a la Certificación ISO-26262
Formación DO 178/254
Soporte a la Certificación DO 178/254
Diseño y Verificación de SoCs y FPGAs
Doymus distribuye productos y servicios de las siguientes compañías:
Este sitio web usa cookies para recopilar información estadística sobre su navegación. Si continúa navegando, consideramos que acepta su uso. Más información en: Política de Cookies