Oggigiorno, la complessità del codice e la qualità delle applicazioni sono strettamente correlate. Codici complessi possono contenere ridondanze e/o linee di codice morto difficili da rilevare, cosa che porta ad uno spreco di risorse computazionali e a maggiori difficoltà nella manutenzione. Le tecniche di test convenzionali, inoltre, potrebbero non essere sufficienti per coprire completamente il codice, aumentando il rischio di rilasciare codice difettoso.

In aggiunta, errori nel software embedded possono causare gravi problemi, in particolare per tutte le applicazioni mission critical, come sistemi di controllo del volo, controllo ferroviario ed apparecchiature mediche, dove non è consentito alcun margine di errore. Pertanto, la qualità del software è diventata un aspetto critico non solo in termini di costi ma anche per la sicurezza. Sono pertanto necessarie misure efficaci di verifica della qualità del software per garantire il rispetto degli standard più comunemente utilizzati.

DOFWARE propone Testwell CTC++ di Verifysoft Technology GmbH in quanto rappresenta il prodotto leader tra gli strumenti di analisi di copertura del codice per applicazioni in software embedded e safety-critical.

In molti settori, i governi regolamentano la qualità del software in modo da renderne sicuro l’utilizzo attraverso la richiesta di conformità a specifici standard:

  • Aerospace & Defence – Lo standard DO-178C stabilisce requisiti rigorosi per quanto riguarda la verifica e la validazione di software nel settore avionico. In base ai livelli di criticità, lo standard DO-178 richiede la copertura del codice fino al livello Modified Condition Decision Structural Coverage (MC/DC).
  • Automotive & Transport – Gli standard ISO 26262 e IEC 61508 stabiliscono requisiti rigorosi per la verifica e la validazione del software. A seconda del valore di ASIL (Automotive Safety Integrity Level), è richiesta la copertura delle istruzioni, quella dei rami e/o la copertura MC/DC.
  • Automazione industriale – Lo standard IEC 61508 (Functional Safety of Electrical / Electronic / Programmable Electronic Safety-Related Systems) richiede, in base ai livelli di criticità, la copertura del codice, l’analisi statica e l’analisi dinamica.
  • Medicale e sanità – Lo standard IEC/ISO 62304 definisce un processo di sviluppo software orientato al rischio e alla qualità per lo sviluppo di dispositivi medici. Questo standard indica la necessità di test rigorosi, criteri di accettazione e tracciabilità.
Testwell CTC++ Test Coverage Analyser è lo strumento ideale per misurare la copertura dei test e rilasciare il software al massimo livello di qualità e sicurezza.

Vantaggi

  • Supporto per tutti i compilatori/cross-compilatori.
  • Supporto per tutti i target embedded e microcontrollori (anche molto piccoli, memoria limitata, nessun sistema operativo, ecc.).
  • Il più basso overhead di strumentazione disponibile sul mercato.
  • Analisi per tutti i livelli di copertura fino alla copertura MC/DC e MCC.
  • Conforme a sviluppo di codice safety-critical:
    • DO-178C tutti i livelli (DAL A, DAL B, DAL C, …).
    • ISO 26262 tutti i livelli (ASIL A, ASIL B, ASIL C, ASIL D).
    • IEC 61508 tutti i livelli (SIL 1, SIL 2, SIL 3, SIL 4).
    • EN 50657 o EN 50128 tutti i livelli (integrità di base/SIL 0, SIL 1, SIL 2, SIL 3, SIL 4).
    • IEC 60880.
    • IEC/EN 62304.
  • Disponibilità di un Qualification Kit.
  • Supporto ai linguaggi di programmazione C, C++, Java e C#.
  • Possibilità di integrazione in diverse toolchain e ambienti di test.
  • Possibilità di integrazione in diversi IDE.
  • Produzione di report chiari e significativi.
  • Molto facile da usare.

Verifysoft offre il Qualification Kit per Testwell CTC++. Sviluppato da Validas AG, fornisce documentazione, casi di test e procedure necessarie per validare Testwell CTC++ per l’utilizzo in progetti safety-critical.

Se desideri saperne di più su come Testwell CTC++ può supportarti nel miglioramento e nell’ottimizzazione del tuo software, contattaci. Inoltre, compila il form per ricevere una licenza di valutazione gratuita con cui toccare con mano l’efficacia di Testwell CTC++.

Comments are closed