Suite de cualificación de herramientas conforme a DO-330, ISO-26262
Aplicable a
DO-178B, DO-178C / ED-12B, ED-12C / DO-278A / ED-109A
En qué consiste la cualificación de herramientas de verificación software
Ofrecemos la posibilidad de cualificar herramientas de verificación propias o comerciales. Sometemos a la herramienta a multitud de casos de prueba y proporcionamos un informe detallado con los resultados y su análisis. Ofrecemos, además de los casos de prueba, la posibilidad de añadir, personalizar o eliminar casos conforme a las necesidades del cliente. Junto a la suite de prueba se proporcionan la documentación de cualificación.
Establecemos un contacto estrecho con nuestros clientes y les guiamos durante el proceso de cualificación. Destaca nuestro soporte en la ejecución de los casos de prueba.
Qué ofrecemos
Creación de
casos de prueba a medida
Estudiamos la funcionalidad de la herramienta en la que el cliente está interesado y diseñamos los casos de prueba relevantes.
Ofrecemos una herramienta flexible, en la que es posible incorporar fácilmente nuevos casos de prueba personalizados.
Aportamos documentación de cualificación
Incluye dos documentos principales:
- Tool Operational Requirements (TOR), donde se describen los requisitos que debe cumplir la herramienta
- Tool Operational Verification & Validation Cases and Procedures (TOVVCP), que incluye una descripción detallada de los casos de prueba
Certificación conforme a distintos estándares y lenguajes de programación
Estamos familiarizados con estándares de certificación como MISRA-C 2004, 2012 y 2023, MISRA-C++ 2023 o ICAO ADS-B.
Hemos trabajado con herramientas basadas en C, C++ y LUA.
Servicio de soporte y asesoría
Ofrecemos soporte con respecto a la puesta en marcha y la utilización de nuestra herramienta. Además, ofrecemos asesoramiento en cuanto al correcto desarrollo de la herramienta para asegurar su adecuación al estándar
Mantenimiento durante el desarrollo
Acompañamos a nuestros clientes durante el desarrollo de su herramienta propietaria, proporcionando versiones consecutivas de la suite de cualificación para adaptarnos en todo momento a sus necesidades
Cómo lo hacemos
Entregables
Tool Qualification Plan (TQP)
Plan de cualificación de la herramienta
Tool Operational Requirements (TOR)
Especificación de requisitos operacionales
Tool Operational Verification and Validation Cases and Procedures (TOVVCP)
- Especificación de los casos de prueba
- Ficheros de configuración en los que se incluyen los casos de prueba: permiten añadir nuevos casos de prueba
La suite de cualificación
Herramienta basada en scripts de Python que ejecuta los casos de prueba y genera varios informes detallados de los resultados
- Código Python
- Ficheros de configuración
Tool Configuration Index
Identificación y configuración de la herramienta
Tool Accomplishment Summary
Diferencias entre el plan de cualificación y la cualificación realizada
Herramientas comerciales de análisis estático de código fuente
Hemos cualificado diversas herramientas comerciales, como PC-lint Plus, conforme a los siguientes estándares:
¡Disponible!
MISRA C 2004
MISRA C 2012
MISRA C 2023
MISRA C++ 2023
Herramientas de monitorización de tráfico de red
Hemos cualificado diversas herramientas propietarias conforme a los siguientes estándares:
¡Disponible! | Herramienta propietaria
Monitorización de mensajes ADS-B. Soportamos los mensajes downlink format DF-0 a DF-24 de ICAO (anexo 10, volumen 4).
¡Disponible! | Herramienta comercial
Protocolo ASTERIX, en la herramienta Wireshark.
Monitorización de mensajes ADS-B. Soporte de las siguientes categorías:
- CAT 001 (versión 1.4)
- CAT 002 (versión 1.1)
- CAT 004 (versión 1.13)
- CAT 008 (versión 1.3)
- CAT 010 (versión 1.1, 4)
- CAT 017 (versión 1.3)
- CAT 018 (versión 1.8)
- CAT 021 (versión 0.23, 1.8, 2.2, 2.3, 2.4, 2.6)
- CAT 023 (versión 1.2, 1.3)
- CAT 025 (versión 1.5)
- CAT 034 (versión 1.29)
- CAT 048 (versión 1.31)
- CAT 062 (versión 1.20)
- CAT 063 (versión 1.6)
- CAT 065 (versión 1.6)
- CAT 240 (versión 1.3)
- CAT 247 (versión 1.3)
Proyectos actuales
- Herramienta SnmpB, un explorador de MIBs SNMP con interfaz gráfica.
- Cppcheck, una herramienta de análisis estático de código.
