-automatic-orange-tester
)(Чтобы быть удаленным), Указывают, что Автоматический Оранжевый Тестер должен быть выполнен после верификации
Автоматический Оранжевый Тестер будет удален в будущем релизе. См. Вопросы совместимости.
Эта опция влияет на анализ Программы автоматического доказательства Кода только. Используйте эту опцию, только если вы рассматриваете результаты Программы автоматического доказательства Кода в десктопных решениях Polyspace®.
Укажите, что Автоматический Оранжевый Тестер должен быть выполнен в конце верификации.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Advanced Settings. Смотрите Зависимость для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -automatic-orange-tester
. Смотрите информацию о командной строке.
Автоматический Оранжевый Тестер запускает динамические тесты на вашем коде. Динамические тесты помогают вам определить, представляет ли оранжевая проверка действительную ошибку времени выполнения или неточность анализа Polyspace. Для примера смотрите Тест Оранжевые Проверки на Ошибки времени выполнения (Polyspace Code Prover).
Чтобы запустить Автоматический Оранжевый Тестер после верификации, необходимо выбрать эту опцию перед верификацией. Во время верификации Polyspace генерирует дополнительный исходный код, чтобы протестировать каждый оранжевый, проверяют ошибки. Когда вы запускаете Автоматический Оранжевый Тестер позже, программное обеспечение использует этот оснащенный код для тестирования.
После верификации, когда вы запускаете Автоматический Оранжевый Тестер, Polyspace создает тесты для бездоказательного кода и запускает их.
Вы не можете запустить Автоматический Оранжевый Тестер после верификации.
Эта опция доступна, только если вы устанавливаете Source code language (-lang)
toc
или 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)
. В глобальной переменной утверждают режим, вы не можете использовать Constraint setup под Inputs & Stubbing.
Выберите эти опции, связанные с верификацией с плавающей точкой: Subnormal detection mode и Consider non finite floats.
Параметр:
-automatic-orange-tester |
Значение по умолчанию: Off |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Maximum loop iterations (-automatic-orange-tester-loop-max-iteration)
| Maximum test time (-automatic-orange-tester-timeout)
| Number of automatic tests (-automatic-orange-tester-tests-number)