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

Polyspace Bug Finder

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