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