Риск

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

Зафиксировать

Исправление зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Используйте этот список событий, чтобы определить, как аргумент функции получает недопустимые значения. Вы можете реализовать исправление на любом событии в последовательности. Если сведения о результате не отображают историю событий, можно отследить их с помощью опций правого щелчка в исходном коде и просмотреть предыдущие связанные события. Смотрите также Результаты интерпретации Bug Finder в интерфейсе пользователя Polyspace Desktop.

Рекомендуется обрабатывать ошибки области перед использованием стандартной функции с плавающей точкой библиотеки. Например, перед вызовом acos function, проверьте, находится ли аргумент в [-1.0, 1.0] и обработайте ошибку.

См. примеры исправлений ниже.

Если вы не хотите устранять проблему, например, когда вы обрабатываете бесконечности в коде, добавляйте комментарии к своему результату или коду, чтобы избежать другого рассмотрения. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.