Polyspace: Статический анализ С/С++ кода

5577
Polyspace Bug Finder
Polyspace Bug Finder

Рассматривается вопрос качества кода в части дефектов программного обеспечения. Демонстрируется, как Polyspace Bug Finder позволяет обнаруживать и классифицировать дефекты.
Polyspace Bug Finder: Обнаружение дефектов программного обеспечения

Polyspace Bug Finder: Проверка кода на соответствие стандартам кодирования

Доказательство отсутствия ошибок времени исполнения с помощью Polyspace Code Prover

Получение метрик исходного кода при помощи продуктов Polyspace

Интеграция Polyspace в среду разработки Simulink