Polyspace® проверяет каждую операцию в коде на наличие определенных ошибок времени выполнения. Поэтому в результатах верификации может быть несколько оранжевых чеков. Чтобы не тратить необоснованное время на оранжевый чек-обзор, вы должны разработать эффективный процесс обзора.
В зависимости от вашего этапа разработки программного обеспечения и целей качества, вы можете выбрать:
Проверьте все проверки красного цвета и критические проверки оранжевого цвета.
Проверьте все проверки красного цвета и все проверки оранжевого цвета.
Чтобы увидеть только проверки красного и критического оранжевого цвета, в раскрывающемся списке слева от панели инструментов Results List выберите Critical checks.
| Этап разработки | Ситуация | Процесс рассмотрения |
|---|---|---|
| Начальный этап или этап разработки модуля | На начальных стадиях разработки можно иметь частично разработанный код или хотеть проверить каждый исходный файл самостоятельно. В этом случае возможно, что:
Из-за недостаточной информации в коде Polyspace делает предположения, которые приводят ко многим оранжевым проверкам. Например, если вы используете строение по умолчанию, Polyspace принимает полную область значений для входов функций, которые не вызываются в коде. | На начальных этапах разработки проверьте все красные проверки. Для оранжевых проверок, в зависимости от ваших требований, выполните одно из следующих действий:
|
| Более поздняя стадия или стадия интегрирования | На более поздних стадиях разработки вы предоставили все свои исходные файлы. Однако возможно, что ваш код не содержит всей информации, необходимой для верификации. Например, у вас есть переменные, значения которых известны только во время исполнения. | В зависимости от времени, которое вы хотите провести, выполните одно из следующих действий:
|
| Заключительный этап |
| В зависимости от времени, которое вы хотите провести, выполните одно из следующих действий:
Для каждого оранжевого чека:
Как часть процесса окончательного релиза, вы можете иметь один из следующих критериев:
Для обоснования проверки присвойте Status |
Для критических приложений необходимо проверить все проверки красного и оранжевого цвета.
Если оранжевая проверка указывает на ошибку времени выполнения, исправьте причину ошибки.
Если оранжевая проверка указывает на приближение Polyspace, введите комментарий в результаты или исходный код.
В рамках процесса окончательного релиза проверьте и обосновайте все проверки красного и оранжевого цвета. Для обоснования проверки присвойте Status No action planned или Justified в чек.
Для некритических приложений можно выбрать, рассматривать ли некритические оранжевые проверки.
