PLAN DE VERIFICACIÓN Y VALIDACIÓN

  • Diseño del plan de verificación y validación
    • Objetivos de calidad
    • Métricas de calidad
    • Contenido de cada sección
    • Artefactos de test (test plans, suites, casos y scripts)
  • Definición e implementación de estándares para el desarrollo de código y modelos

 

VERIFICACIÓN ESTÁTICA

  • Análisis de requisitos
  • Análisis de la trazabilidad y la configuración
  • Revisión de modelos
  • Revisión de código estático (“Coding Standards”)

 

VERIFICACIÓN DINÁMICA

  • Diseño, implementación y ejecución
  • Modelos ejecutables desarrollados con MBSE desde requisitos
  • Test de modelos (Model Based Testing)
  • Test de firmware y software
    • Test unitario
    • Test de integración
    • Alcance del código
  • Test de sistema y pruebas de aceptación
    • Verificación de protocolos de comunicación
    • Automatización de test
    • Plataformas de test
      • Gestión de la instrumentación
      • Plataformas Hardware-in-the-loop
      • Simuladores

 

DOCUMENTACIÓN DE LOS RESULTADOS DE LOS TEST 

  • Diseño de los informes
  • Generación de los informes (a tiempo real y offline)

 

PERSONALIZACIÓN E INTEGRACIÓN DE LAS HERRAMIENTAS

  • Adaptación e integración de las herramientas existentes y/o nuevas
Metodología

Aplicamos un enfoque pragmático en función de las necesidades de la empresa, sus procesos y las normativas aplicables.

  

Herramientas
  • Análisis y trazabilidad de los requisitos
  • Gestión de test y calidad
  • Análisis del código estático
  • Análisis del código dinámico
  • Frameworks para test
  • Automatización de test
  • Plataformas de test
  • Modelado y comprobadores

 

Algunos fabricantes
  • IBM
  • LDRA
  • Mathworks
  • National Instruments
  • The Reuse Company