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