C++ de alta integridad

High Integrity C++ (HIC++ o anteriormente HICPP) es un estándar de codificación de software para el lenguaje de programación C++ desarrollado por Programming Research Limited, ahora parte de Perforce Software . ^{[ 1 ]} HIC++ se publicó por primera vez en octubre de 2003. ^{[ 2 ]} La última revisión, la versión 4.0, se publicó en octubre de 2013 y documenta 155 reglas que restringen el uso del lenguaje ISO C++ para mejorar el mantenimiento y la confiabilidad del software en aplicaciones de alta confiabilidad o críticas para la seguridad . ^{[ 3 ]}

La lista de referencias del estándar de codificación C++ de la Motor Industry Software Reliability Association (MISRA) incluye High Integrity C++. ^{[ 4 ]}

Algunas herramientas destacadas que comprueban el cumplimiento de la norma High Integrity C++ son:

• Plataforma de pruebas LDRA de Liverpool Data Research Associates
• Helix QAC (anteriormente Programming Research Limited QA-C++)
• Prueba de Parasoft C/C++ realizada por Parasoft
• clang -tidy de LLVM

• 1.0 – 3 de octubre de 2003
• 2.0 – 20 de octubre de 2003
• 3.0 – 24 de enero de 2008
• 4.0 – 3 de octubre de 2013

• Sitio web oficial