Количество автоматических тестов (-automatic-orange-tester-tests-number)

Задайте количество тестов, которые должен запустить Автоматический Оранжевый Тестер

Описание

Эта опция влияет на анализ Программы автоматического доказательства Кода только. Используйте эту опцию, только если вы рассматриваете результаты Программы автоматического доказательства Кода в десктопных решениях Polyspace®.

Задайте количество тестов, которые вы хотите, чтобы Автоматический Оранжевый Тестер запустил. Чем больше количество тестов, тем больше возможность нахождения ошибки времени выполнения, но дольше оно берет завершиться.

Установите опцию

Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Advanced Settings. Смотрите Зависимости для других опций, которые необходимо также включить.

Командная строка: Используйте опцию -automatic-orange-tester-tests-number. Смотрите информацию о Командной строке.

Настройки

Значение по умолчанию: 500

Введите номер тестов максимум до 100 000.

Зависимости

Эта опция включена, только если вы устанавливаете следующие опции:

Информация о командной строке

Параметр: -automatic-orange-tester-tests-number
Значение: positive integer
Значение по умолчанию: 500
Пример (программа автоматического доказательства кода): polyspace-code-prover -sources file_name -lang c -automatic-orange-tester -automatic-orange-tester-tests-number 500