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