Proceso de verificación de software

Validación de software en CTAG

Ensayos de software

Capacidades

Cobertura total para el lado derecho del modelo de desarrollo en V (unidad, integración y cualificación) según ASPICE, ISO 26262, ISO 29119 y 25119 dependiendo de los requisitos del proyecto, incluidas las siguientes actividades:

  • Análisis de requisitos
  • Preparación del plan de pruebas
  • Especificación y diseño de pruebas
  • Implementación y ejecución
  • Integración continua

Herramientas

  • Vector Cast
  • Tessy
  • LDRA
  • GIT
  • Jenkins
  • Polyspace
  • QAC
  • PIKETEC (TPT)

Pruebas MiL y SiL

Capacidades

  • Creación de escenarios (Carreteras, Urbano, Rural, Aparcamientos, V2X)
  • Calibración de modelos
  • Ejecución e informe
  • Desarrollo de bancos de pruebas SIL y MIL para algoritmos y funciones ADAS
  • Automatización de prueba

Herramientas e instalaciones

  • CarMaker
  • SCANeR
  • Matlab & Simulink
  • ADTF
  • Vector Tools (Canoe, Canalyzer)
  • PIKETEC (TPT)

Pruebas HiL

Capacidades

  • Desarrollo de bancos de pruebas HiL
  • Automatización de pruebas
  • Ejecución de pruebas
  • Ejecución e informe
  • Simulación de entorno para escenarios (Carreteras, Urbano, Rural, Aparcamientos, V2X)

Herramientas

  • National Instruments Suite (HW/SW)
  • Vector Tools (Canoe, Canalyzer,…)
  • Matlab & Simulink
  • ADTF
  • SEA
  • PIKETEC (TPT)