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 en Certificación Aeronáutica

Formación en Certificación Ferroviaria

Formación en Certificación Automoción

Formación en Ingeniería de Requisitos

Formación en Ingeniería de Desarrollo

Formación en Ingeniería de Pruebas

Herramientas y Servicios Presentados
Pruebas Integradas de SW y HW
Automatización de pruebas de SW y HW cubriendo todo el ciclo de desarrollo Software:

   •   Pruebas Unitarias (Caja Blanca)
   •   Pruebas de Integración de Software
   •   Pruebas de Integración de Software y Hardware (HW in the loop)
   •   Pruebas de Sistemas con equipos emulados o equipos reales
Pruebas de Interfaz Gráfica (GUI)
Diseño y Verificación de FPGAs, SoCs, ...
Herramientas de automatización de pruebas unitarias y de sistema, con obtención de cobertura en código fuente. Funcionalidad:

   •   Generación automática de ejecutable y stubs en C/C++ y Ada
   •   Ejecución de casos de prueba en host, simulador y target
   •   Automatización pruebas de regresión: detección cambios de código
   •   Integración con herramientas de CI como Jenkins
Validación de compiladores y librerías estándar
Herramienta de Validación de compiladores nativos y cruzados, incluyendo sus librerias estándar:

   •   Soporta C y C++ (hasta C++14)
   •  Verifica la correcta implementacion del lenguaje conforme al estándar
   •  Verifica la correcta generación de código con optimizaciones
   •  Verifica la correcta implementación de la libreria estándar
La mejor relación calidad/precio en Especificación de Requisitos
Herramienta ALM con plantillas para aplicaciones Safety Critical:

   •   Análisis de Riesgos FHA, PHA integrado
   •   Base de datos estándar ligera y de bajo coste
   •   Fácil personalización de roles, workflow, etc, sin ayuda del fabricante
   •   Módulo opcional de medida de calidad de requisitos
Astrée
Data & Control
Flow Analysis
Worst Case Execution Time Analysis
Stack Analyzer
Análisis Estático de Código
Herramientas de análisis estático de código binario y fuente. Basada en métodos formales, se garantiza la ausencia de errores adicionales a los encontrados. Funcionalidad:

   •   Comprobación de errores run-time en lenguaje C
   •   Obtención del tamaño de stack seguro
   •   Medidas de tiempos máximos de ejecución (Worst Case Execution Time)
   •   Análisis de Data Flow, Data Races y Control Flow
Herramientas de automatización de pruebas de Interfaz Gráfica de Usuario, multi-tecnología (Qt, Java, Win, Web, iOS, Android), multi-host (Windows, Linux, Mac). Funcionalidad:

   •   Generación automática de scripts de prueba
   •   Verificación de todo tipo de propiedades de los objetos gráficos
   •   Automatización pruebas de regresión: ejecución de scripts en batch
   •   Integración con HP Quality Center, Rational QM, Jenkins, ...
Inscripcion Doymus Dev Tools 2019
Doymus Dev Tools 2019

Madrid, 2 de Abril de 2019
Inscripcion Doymus Dev Tools 2019
Productos
 
©  2014 - 2019 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
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