Exponenta Banner

Точность

Задайте точность верификации

Чтобы управлять точностью верификации, используйте опции точности. Чем более точный верификация, тем меньше количество оранжевых проверок, чтобы рассмотреть. Вы имеете, чтобы вручную рассмотреть оранжевые проверки, потому что они указывают на код, где верификация не может доказать присутствие или отсутствие ошибки.

Аналитические опции

развернуть все

Precision level (-O)Задайте уровень точности для верификации
Verification level (-to)Задайте число раз, процесс проверки работает на вашем коде
Verification time limit (-timeout)Задайте ограничение по времени на своей верификации
Sensitivity context (-context-sensitivity)Сохраните контекстную информацию вызова, чтобы идентифицировать вызов функции, который вызвал ошибки
Improve precision of interprocedural analysis (-path-sensitivity-delta)Избегайте определенных приближений верификации для кода с меньшим количеством линий
Specific precision (-modules-precision)Задайте исходные файлы, которые вы хотите проверить в более высокой точности, чем остающаяся верификация

Темы

Задайте аналитические опции Polyspace

Задайте аналитические опции Polyspace® в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.

Уменьшайте оранжевые проверки

Улучшите свой проект кодирования или настройте свои опции верификации для более точной верификации.

Документация Polyspace Code Prover
Поддержка