Contenido principal

Reglas JSF C++

Lista y descripción de las directrices JSF® C++ compatibles con Polyspace®

El comprobador JSF C++ de Polyspace le ayudará a cumplir los estándares de codificación Joint Strike Fighter® Air Vehicle C++ (JSF++). Estos estándares están diseñados para mejorar la solidez del código C++ y su mantenibilidad.

Para obtener información sobre las reglas compatibles, consulte JSF AV C++ Coding Rules. Utilice la opción de análisis Check JSF C++ rules (-jsf-coding-rules) para activar subconjuntos de reglas. Cuando se infringen las reglas de JSF C++, Polyspace proporciona mensajes con información sobre las infracciones de las reglas. La mayoría de los mensajes se notifican durante la fase de compilación de un análisis.

Nota

El comprobador Polyspace JSF C++ se basa en JSF++:2005.

Temas