Чтобы задать команды или скрипты, которые могут выполняться после верификации, или задавать опции, которые являются единственными командной строкой в пользовательском интерфейсе Polyspace®, используйте расширенные настройки. Для более позднего динамического тестирования операций с оранжевыми проверками, опционально, активируют Автоматический Оранжевый Тестер.
Command/script to apply after the end of the code verification (-post-analysis-command) | Задайте команду или скрипт, который будет выполняться после анализа |
Automatic Orange Tester (-automatic-orange-tester) | Укажите, что Автоматический Оранжевый Тестер должен быть выполнен после верификации |
Number of automatic tests (-automatic-orange-tester-tests-number) | Задайте количество тестов, которые должен запустить Автоматический Оранжевый Тестер |
Maximum loop iterations (-automatic-orange-tester-loop-max-iteration) | Задайте количество итераций цикла, после которых Автоматический Оранжевый Тестер рассматривает бесконечный цикл |
Maximum test time (-automatic-orange-tester-timeout) | Укажите, что время в секундах допускало один тест в Автоматическом Оранжевом Тестере |
Other | Задайте дополнительные флаги для анализа |
Задайте аналитические опции Polyspace
Задайте аналитические опции Polyspace в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Протестируйте оранжевые проверки на ошибки времени выполнения
Запустите динамические тесты на операциях с оранжевыми проверками и смотрите, перестали ли тесты работать.
