-automatic-orange-tester-tests-number)(Подлежит удалению) Укажите количество тестов, которые должен выполнить автоматический оранжевый тестер
Автоматический оранжевый тестер будет удален в следующем выпуске. См. раздел Вопросы совместимости.
Этот параметр влияет только на анализ программы проверки кода. Используйте этот параметр только при просмотре результатов проверки кода в продукции Polyspace ® для настольных ПК.
Укажите количество тестов, которые должен выполнить автоматический оранжевый тестер. Чем больше количество тестов, тем больше вероятность обнаружения ошибки времени выполнения, но больше времени требуется для выполнения.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Дополнительные настройки. Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
файл командной строки и параметров: Использовать параметр -automatic-orange-tester-tests-number. См. раздел Сведения о командной строке.
По умолчанию: 500
Введите количество тестов, не превышающее 100 000.
Эта опция включена только в том случае, если установлены следующие параметры:
Набор Source code language (-lang) кому C или C-CPP.
Укажите опцию Automatic Orange Tester (-automatic-orange-tester).
Параметр:
-automatic-orange-tester-tests-number |
Значение:
positive integer |
| По умолчанию: 500 |
Пример (проверка кода):
polyspace-code-prover -sources |