Polyspace® JSF® С++ шашка помогает вам соответствовать Joint Strike Fighter® Стандарты кодирования воздушных транспортных средств C++ (JSF++). Эти стандарты кодирования были разработаны Lockheed Martin® для программы Joint Strike Fighter. Они призваны улучшить робастность кода С++ и улучшить поддерживаемость.
[1]
При нарушении правил JSF++ проверка Polyspace JSF C++ позволяет программному обеспечению Polyspace предоставлять сообщения с информацией о нарушениях правил. Большинство сообщений сообщается на фазе компиляции анализа.
Примечание
Проверка Polyspace JSF C++ основана на JSF++: 2005.
[1] JSF и Joint Strike Fighter являются Lockheed Martin.