-automatic-orange-tester)Укажите, что Автоматический Оранжевый Тестер должен быть выполнен после верификации
Эта опция влияет на анализ Программы автоматического доказательства Кода только. Используйте эту опцию, только если вы рассматриваете результаты Программы автоматического доказательства Кода в десктопных решениях Polyspace®.
Укажите, что Автоматический Оранжевый Тестер должен быть выполнен в конце верификации.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Advanced Settings. Смотрите Зависимость для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -automatic-orange-tester. Смотрите информацию о командной строке.
Автоматический Оранжевый Тестер запускает динамические тесты на вашем коде. Динамические тесты помогают вам определить, представляет ли оранжевая проверка действительную ошибку времени выполнения или неточность анализа Polyspace. Для примера смотрите Тест Оранжевые Проверки на Ошибки времени выполнения.
Чтобы запустить Автоматический Оранжевый Тестер после верификации, необходимо выбрать эту опцию перед верификацией. Во время верификации 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 - источники |