Software verification process

Validación de software en CTAG

Software tests

Capabilities

Full coverage for right side of V-model (unit, integration and qualification) following ASPICE, ISO 26262, ISO 29119 and 25119 depending on project requirement, including following activities:

  • Requirements analysis
  • Test plan preparation
  • Test design and specification
  • Implementation & Execution
  • Continuous integration

Tools

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

MiL and SiL testing

Capabilities

  • Creation of Scenarios (Highways, Urban, Rural, Parking lots, V2X)
  • Calibration of models
  • Execution and reporting
  • Development of SIL and MIL Test benches for algorithms and ADAS functions
  • Automatization of test

Tools & facilities

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

HiL testing

Capabilities

  • Development of HiL Test Benches
  • Automatization of test
  • Test execution
  • Execution and reporting
  • Environment Simulation for scenarios like: Highways, Urban, Rural, Parking lots, V2X

Tools

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