Registro  
Login

Visure: Gestion de Requisitos

Astrée: Detección de errores runtime


Stack Analyzer: Dimensionar el stack

Multi: Entorno de desarrollo cruzado

Integrity: Real Time Operating System

Squish: Pruebas de Interfaz Gráfica
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 Sistemas


Formación en SonarQube

Python for testers

HDL Verification for Safety Critical

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 - 2021 Doymus Software e Ingeniería  •  Aviso Legal  •   Política de Privacidad  •  Política de Cookies
Formación
Contactar
+34 911.788.540
info@doymus.com
Software & Hardware Development Tools
and Professional Services
Tweets por el @DoymusSI.
Análisis Estático de Código Fuente y Binario
Placas y Sistemas Hardware
de Alta Disponibilidad
Pruebas de Integraz Gráfica
de Usuario (GUI)
Entornos de Desarrollo Software Embarcado
Especificación y Análisis de Requisitos y Riesgos
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:
Servicios
Gap Analysis

Plantillas para ARP 4754A / ED-79A

Plantillas para DO-178C / ED-12C

Plantillas para DO-254 / ED-80

Plantillas para DO-278A / ED-109A


Soporte a la Certificación DO-178C


Soporte a la Certificación ISO-26262
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