Sistemul de analiză a acoperirii codului Testwell CTC++ este un sistem de analiză a acoperirii codului care identifică secțiuni neverificate de cod scrise în C și C++ . Acoperirea codului indică procentul din cât a fost testat codul sursă al programului. CTC++ Extensions pentru Java și C# extinde Testwell CTC++ la Java și C# .
Instrumentul analizează toate nivelurile de acoperire a testelor, până la MC/DC (acoperire de ramură/condiție modificată). Furnizarea acoperirii MC/DC este obligatorie pentru cele mai înalte niveluri de securitate ale software-ului critic în conformitate cu standardele de securitate precum RTCA , DO-178B și DO-178C (software aeropurtat), IEC 61508 , EN 50128 (software pentru industria feroviară) și ISO 26262 (securitatea funcțională a sistemelor electrice și/sau electronice în producția de automobile). [unu]
Pentru dezvoltarea sistemelor încorporate, Testwell CTC++ poate fi utilizat pentru a măsura acoperirea codului în toate sistemele încorporate și microprocesoare. [2]
Versiunile inițiale ale Testwell CTC++ au fost dezvoltate din 1989 în Finlanda de Oy Ab Softplan, Nokia Data Systems Oy și ICL Personal Systems Oy. În 1992, Testwell Oy (Finlanda) a preluat dezvoltarea în continuare a instrumentului [3] . Din 2013, drepturile de proprietate intelectuală ale Testwell CTC++ sunt deținute de Verifysoft Technology GmbH ( Germania ) [4] .