-automatic-orange-tester)(Подлежит удалению) Укажите, что автоматический оранжевый тестер должен быть выполнен после проверки
Автоматический оранжевый тестер будет удален в следующем выпуске. См. раздел Вопросы совместимости.
Этот параметр влияет только на анализ программы проверки кода. Используйте этот параметр только при просмотре результатов проверки кода в продукции Polyspace ® для настольных ПК.
Укажите, что автоматический оранжевая тестер должен быть выполнен в конце проверки.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Дополнительные настройки. Другие параметры, которые также необходимо включить, см. в разделе Зависимость.
файл командной строки и параметров: Использовать параметр -automatic-orange-tester. См. раздел Сведения о командной строке.
Автоматический оранжевый тестер выполняет динамические тесты кода. Динамические тесты помогают определить, представляет ли оранжевая проверка реальную ошибку времени выполнения или неточность анализа Polyspace. Учебное пособие см. в разделе Проверка оранжевого цвета на наличие ошибок времени выполнения.
Чтобы запустить автоматический оранжевый тестер после проверки, необходимо выбрать этот параметр перед проверкой. Во время проверки Polyspace генерирует дополнительный исходный код для проверки каждой оранжевой проверки на наличие ошибок. При последующем запуске автоматического оранжевого тестера программа использует этот инструментальный код для тестирования.
НаПосле проверки при запуске автоматического оранжевого тестера Polyspace создает тесты на неподтвержденный код и запускает их.
Выкл. (по умолчанию)Вы не можете запустить автоматический оранжевый тестер после проверки.
Эта опция доступна только при установке Source code language (-lang) кому C или C-CPP.
Чтобы запустить автоматический оранжевый тестер, после проверки откройте результаты. Выберите «Сервис» > «Автоматический оранжевый тестер».
При использовании автоматического оранжевого тестера нельзя:
Выберите Округление деления в разделе Цель и компилятор.
Выберите параметры c18, tms320c3c. x86_64 или sharc21x61 в поле Target & Compiler > Тип целевого процессора.
Укажите тип char как 16-битный или short как 8-битный с использованием опции mcpu...(Advanced) в поле Target & Compiler > Тип целевого процессора. Для того же параметра необходимо указать тип pointer 32-разрядный.
Укажите глобальные утверждения в коде, имеющем форму Pst_Global_Assert(A,B). В режиме глобального утверждения нельзя использовать настройку ограничения в разделе Входы и заглушки (Inputs & Stubbing).
Выберите следующие опции, связанные с верификацией с плавающей запятой: Режим субнормального обнаружения и Учет неграничных поплавков.
Параметр:
-automatic-orange-tester |
| По умолчанию: Откл. |
Пример (проверка кода):
polyspace-code-prover -sources |