-automatic-orange-tester
)(Будет удален) Укажите, что автоматический оранжевый тестер должен быть выполнен после верификации
Автоматический оранжевый тестер будет удален в следующем релизе. См. Вопросы совместимости.
Эта опция влияет только на анализ Code Prover. Используйте эту опцию только, если вы просматриваете результаты Code Prover в Polyspace® настольных продуктов.
Укажите, что автоматический оранжевый тестер должен быть выполнен в конце верификации.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Advanced Settings. Смотрите Зависимость для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -automatic-orange-tester
. См. «Информация о командной строке».
Автоматический оранжевый тестер запускает динамические тесты на вашем коде. Динамические тесты помогают вам определить, представляет ли оранжевая проверка реальную ошибку времени выполнения или неточность анализа Polyspace. Для получения руководства «Тестирование Orange Checks на ошибки времени выполнения».
Чтобы запустить автоматический оранжевый тестер после верификации, необходимо выбрать эту опцию перед верификацией. Во время верификации Polyspace генерирует дополнительный исходный код, чтобы протестировать каждую оранжевую проверку на ошибки. Когда вы запускаете Automatic Orange Tester позже, программное обеспечение использует этот инструментальный код для проверки.
После верификации, когда вы запускаете Automatic Orange Tester, Polyspace создает тесты на недоказанный код и запускает их.
Вы не можете запустить автоматический оранжевый тестер после верификации.
Эта опция доступна только при установке Source code language (-lang)
на C
или C-CPP
.
Чтобы запустить автоматический оранжевый тестер, после проверки откройте свои результаты. Выберите Tools > Automatic Orange Tester.
При использовании автоматического оранжевого тестера вы не можете:
Выберите Division round down под Target & Compiler.
Выберите опции c18
, tms320c3c
. x86_64
или sharc21x61
для Target & Compiler > Target processor type.
Задайте тип char
как 16-битный или short
как 8-битный с использованием опции mcpu...(Advanced)
для Target & Compiler > Target processor type. Для той же опции необходимо задать тип pointer
как 32-битный.
Задайте глобальные значения в коде, имея форму Pst_Global_Assert(A,B)
. В глобальном режиме assert вы не можете использовать Constraint setup под Inputs & Stubbing.
Выберите следующие опции, связанные с верификацией с плавающей точкой: Subnormal detection mode и Consider non finite floats.
Параметр:
-automatic-orange-tester |
По умолчанию: Off |
Пример (Code Prover):
Polyspace Code Prover -sources file_name |