El sistema de análisis de cobertura de código Testwell CTC++ es un sistema de análisis de cobertura de código que identifica secciones no verificadas de código escritas en C y C++ . La cobertura de código indica el porcentaje de cuánto se ha probado el código fuente del programa. Las extensiones de CTC++ para Java y C# amplían Testwell CTC++ a Java y C# .
La herramienta analiza todos los niveles de cobertura de prueba, hasta MC/DC (cobertura de rama/condición modificada). La provisión de cobertura MC/DC es obligatoria para los más altos niveles de seguridad de software crítico de acuerdo con estándares de seguridad como RTCA , DO-178B y DO-178C (software aéreo), IEC 61508 , EN 50128 (software para la industria ferroviaria) y ISO 26262 (seguridad funcional de los sistemas eléctricos y/o electrónicos en la producción de automóviles). [una]
Para el desarrollo de sistemas integrados, Testwell CTC++ se puede utilizar para medir la cobertura de código en todos los sistemas integrados y microprocesadores. [2]
Las versiones iniciales de Testwell CTC++ han sido desarrolladas desde 1989 en Finlandia por Oy Ab Softplan, Nokia Data Systems Oy e ICL Personal Systems Oy. En 1992, Testwell Oy (Finlandia) se hizo cargo del desarrollo posterior de la herramienta [3] . Desde 2013, los derechos de propiedad intelectual de Testwell CTC++ pertenecen a Verifysoft Technology GmbH ( Alemania ) [4] .