Рассматривается вопрос качества кода в части дефектов программного обеспечения. Демонстрируется, как Polyspace Bug Finder позволяет обнаруживать и классифицировать дефекты.
Polyspace Bug Finder: Обнаружение дефектов программного обеспечения
Polyspace Bug Finder: Проверка кода на соответствие стандартам кодирования
Доказательство отсутствия ошибок времени исполнения с помощью Polyspace Code Prover
Получение метрик исходного кода при помощи продуктов Polyspace
Интеграция Polyspace в среду разработки Simulink
