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