Ipari területen alkalmazott szoftvereknél elsődlegesek a biztonsági és megbízhatósági szempontok, a szoftverek fejlesztése előre definiált életciklus modell szerint történik. A biztonságkritikus szoftverek esetében az alkalmazandó tesztelési metódusokat nemzetközi szabványok írják le, ezeknek megfelelően nyújtunk többszintű statikus és dinamikus tesztelési szolgáltatásokat, ami a teljesség igénye nélkül a következőket foglalja magába:

  • forráskód verifikáció,
  • unit tesztelés (fehér doboz / fekete doboz tesztelés),
  • integrációs tesztelés,
  • szoftver-hardver integrációs tesztelés,
  • követelmény tesztelés,
  • dokumentum verifikálás