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