Test & validazione

La verifica del software serve a dimostrare l'esistenza degli errori, ma non proverà mai la loro assenza.

La verifica e la validazione nei processi software e di sistema sono parte integrante delle nostre attività. E' importante controllare la qualità dello sviluppo ed il soddisfacimento dei requisiti concordati con il cliente.

  • Analisi e definizione dei requisiti

    Collaboriamo all'analisi e alla definizione dei requisiti per architetture embedded nel rispetto delle norme in ambito di software ferroviario. Partecipiamo allo sviluppo di moduli software e drivers.

  • Verifica del software

    Verifica statica e dinamica del codice con l'utilizzo di software dedicati come VectorCAST/C++, Cantata e Polyspace.

  • Validazione

    Validazione dei requisiti di sistema mediante matrici di tracciabilità. Pianificazione ed esecuzione di test di validazione Black Box. Contribuiamo inoltre alla progettazione e allo sviluppo di software per testbench automatizzati utilizzando diverse tecnologie fra le quali Matlab, TestStand, LabView