EGIAZTATZE ETA BALIOZTATZE PLANA

  • Egiaztatze eta balioztatze planaren diseinua
    • Kalitatezko helburuak
    • Kalitatezko metrikak
    • Atal bakoitzaren edukia
    • Test atalak
  • Arauen definizio eta inplementazioa kodearen eta modeloaren garapenerako

 

EGIAZTATZE ESTATIKOA

  • Betebeharren analisia
  • Trazabilitate eta konfigurazioaren analisia
  • Modeloen azterketa
  • Kodearen azterketa estatikoa

 

EGIAZTATZE DINAMIKOA

  • Diseinua, inplementazioa eta exekuzioa
  • Betebeharretatik abiatuta exekutatu daitezken modeloak MBSE bidez garatu
  • Modeloen testa (Model Based Testing)
  • Software eta firmwarearen testa
    • Test unitarioa
    • Integrazio testa
    • Kodearen norainokoa
  • Onarpen testa
    • Komunikazio protokoloen egiaztatzea
    • Testen automatizazioa
    • Test plataformak
      • Instrumentazioaren kudeaketa
      • Hardware- in- the-loop plataformak
      • Simuladoreak

 

TESTEN EMAITZEN DOKUMENTAZIOA 

  • Txostenaren diseinua
  • Txostenak sortzea

 

ERREMINTEN PERTSONALIZAZIOA ETA INTEGRAZIOA

  • Aurretik dauden erreminten edo berrien egokitzea eta integrazioa
Metodologia

Bezeroaren beharrak, prozesuak eta aplikatu behar diren arauak aztertzen ditugu eskaintzen dugun zerbitzua bezeroaren beharretara egokitzeko.

  

Erremintak
  • Betebeharren analisirako eta trazabilitaterako
  • Test eta kalitatearen kudeaketarako
  • Kode estatikoa analizatzeko
  • Kode dinamikoa analizatzeko
  • Testentzako markoak
  • Test automatizazioa
  • Test plataformak
  • Modelatzeko eta kontrolerako erremintak

 

Ekoizle batzuk
  • IBM
  • LDRA
  • Mathworks
  • National Instruments
  • The Reuse Company