Registro  
Login

Modelado de Software y Sistemas

Desarrollo de Embedded Software


Pruebas de Software y Sistemas
Consultoría de Certificación Aeronáutica

Formación de Certificación Aeronáutica

Formación de Certificación Ferroviaria


Formación en Certificación ISO 26262

Formación en Ingeniería de Requisitos

14  a 16 de Abril de 2015

Madrid, Spain
:
Doymus reunió a partners y clientes para mostrar las herramientas de desarrollo más avanzadas del mercado. El seminario se desarrolló en dos salas en paralelo, con sesiones técnicas públicas en una de ellas y demostraciones de productos en directo, personalizadas, en la otra.

La asistencia al seminario, permitió:

   •  Contactar con múltiples fabricantes de herramientas en una única sesión
   •  Ver demos personalizadas y aclarar cualquier duda con los ingenieros de nuestros partners
   •  Consultar cómo mejorar sus procesos o técnicas habituales de desarrollo y validación de software
   •  Compartir experiencias de uso con otros usuarios de nuestras herramientas
Validación y Simulación
de Requisitos
Análisis Estático de Código Fuente y Binario
Pruebas de Integraz Gráfica
de Usuario (GUI)
Sistemas Operativos de Tiempo Real
Automatización de Pruebas Unitarias y de Sistemas
Automatización de Pruebas de Integración de Software y Hardware
Cuadros de Mando con Indicadores y Métricas de Calidad Software
Asistir a Sesiones Técnicas
Conocer nuevas Herramientas
Ver Demostraciones en Directo
Doymus Dev Tools 2017

Lo que fue nuestra última edición de Dev Tools

Herramienta de generación de requisitos mediante plantillas. Basada en métodos formales, permite la depuración y simulación de requisitos. Funcionalidad:

   •   Generación de requisitos con semántica asociada
   •   Verificación de cumplimiento de Requisitos de Seguridad software
   •   Generación de escenarios de prueba de requisitos formales
   •   Integración con SCADE y Matlab/Simulink
Depuración y Simulación de Requisitos
Runtime
Safety
Library
Entornos de Desarrollo Certificados
Entornos de desarrollo completos con certificación software conforme a normas aeronáuticas, ferroviarias, automoción y médicas:

   •   Compiladores C/C++ y Ada propietarios altamente optimizados
   •   Depuradores multi-core, multi-thread con trazado hardware
   •   Sistema Operativo multi-core con librerías de middleware
   •   Librerias de bajo nivel pre-certificadas (arranque, diagnósticos, etc.)
Astrée
Stack Analyzer
Data Flow Analyzer
AiT
WCET Analysis
Timing
Profiler
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
Análisis Estático de Código
Automatización Pruebas Unitarias y de Sistema
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
Automatización Pruebas de Interfaz Gráfica
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, ...
Automatización Pruebas de Integración HW/SW
Herramientas de automatización de pruebas de Integración HW/SW con simuladores de comunicaciones, E/S digital/analógicas, etc. Funcionalidad:

   •   Generación de casos de pruebas en C/C++
   •   Configuración del Sistema bajo prueba para el caso de pruebas
   •   Automatización pruebas de regresión: ejecución en batch
   •   Generación de Informes detallados de pruebas
Medida de Calidad del Software
Herramienta de medida de la calidad del código fuente. Se miden aspectos como la reusabilidad, mantenibilidad, nivel de pruebas, etc.  Funcionalidad:

   •   Calidad del proceso: requisitos, diseño, código fuente
   •   Análisis de tendencia con cada nueva release
   •   Análisis estático de código fuente: C, C++, C#, Java, PL/SQL, ...
   •   Integración con VectorCAST, Klocwork, CppCheck, ...
Programa de Sesiones Técnicas (Sala 1)

Herramientas en Exposición (Sala 2)
System
Validation
Facility
Doymus distribuye productos y servicios de las siguientes compañías:
Entornos de Desarrollo Software Embarcado
Placas y Sistemas Hardware
de Alta Disponibilidad
Pruebas dinámicas de Software Embarcado
Análisis Estático de Código Fuente y Binario
Productos
 
©  2017 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
Validación y Simulación
de Requisitos
Pruebas de Integraz Gráfica
de Usuario (GUI)
Formación DO 178/254
Consultoría de Certificación
Medida de Calidad de Proceso, Proyecto y Código Fuente
Especificación y Análisis de Requisitos y Riesgos
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