Polyspace® Bug Finder™ Server™ является механизмом статического анализа, который идентифицирует общие классы ошибок в C и C++, включая ошибки времени выполнения, проблемы параллелизма и другие дефекты кодирования. Polyspace Bug Finder Server также проверяет исходный код на соблюдение кодирования правил (MISRA C, MISRA C++, JSF ++), правила безопасности (CWE, CERT-C, C++ CERT, ISO/IEC 17961), и пользовательские правила.
С Polyspace Bug Finder Server можно контролировать метрики кода включая цикломатическую сложность, использование стека и метрики HIS в проекте, файле и функциональных уровнях. Можно сконфигурировать сервер для использования с различными компиляторами, целевыми процессорами и средами RTOS, и автоматизировать выполнение с непрерывными системными инструментами использования интегрирования, такими как Дженкинс. Результаты анализа кода могут быть опубликованы к Polyspace Bug Finder Access™ для медицинской сортировки и разрешения.
Поддержка промышленных стандартов доступна через IEC Certification Kit IEC Certification Kit (для IEC 61508 и ISO 26262) и DO Qualification Kit (for DO-178).
Контрольный код после представления для дефектов и кодирования стандартных нарушений и загрузки приводит для анализа к веб-интерфейсу.
Пошлите электронные письма разработчикам с прикреплениями, содержащими ссылки на результаты Polyspace.
Разгрузите анализ Polyspace к локально размещенному серверу и рассмотрите загруженные результаты на рабочем столе.
Найдите информацию обо всех Продуктах polyspace, которые могут использоваться в жизненном цикле разработки программного обеспечения.
Смотрите то, что необходимо сделать для подготовки запусков Polyspace для проекта, команды или организации.
Узнайте различия между этими двумя продуктами и определите, когда развернуть каждый продукт в вашем рабочем процессе разработки.
