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