Рекомендации

Описание и список инструкций по шашкам

Эти шашки связаны с лучшими практиками в кодировании. Polyspace^® повышает дефекты сложности программного обеспечения, когда метрика сложности модуля превышает определенный порог.

Используйте опции Check Guidelines (-guidelines) активировать эти шашки.

Результаты Polyspace

расширить все

Комплексность программного обеспечения

`Number of calling functions exceeds threshold`	Количество отдельных вызывающих абонентов функции больше заданного порога
`Number of called functions exceeds threshold`	Количество отдельных вызовов функций в теле функции больше заданного порога
`Comment density below threshold`	Плотность комментариев модуля падает ниже заданного порога
`Call tree complexity exceeds threshold`	Сложность дерева вызовов файла больше заданного порога
`Number of lines within body exceeds threshold`	Количество линий в теле функции больше заданного порога
`Number of executable lines exceeds threshold`	Количество исполняемых линий в теле функции больше заданного порога
`Number of goto statements exceeds threshold`	Количество `goto` операторы в функции больше заданного порога
`Depth of call nesting exceeds threshold`	Глубина вложения структур управления в функцию больше заданного порога глубины вложения функции
`Number of local static variables exceeds threshold`	Количество локальных статических переменных в функции больше заданного порога
`Number of local nonstatic variables exceeds threshold`	Количество локальных нестатических переменных в функции больше заданного порога
`Number of call occurrences exceeds threshold`	Количество вызовов функции в функции больше заданного порога вхождения вызова функции
`Number of function parameters exceeds threshold`	Количество аргументов функции больше заданного порога
`Number of paths exceeds threshold`	Количество статических путей в функции больше заданного порога
`Number of return statements exceeds threshold`	Количество `return` операторы в функции больше заданного порога
`Number of instructions exceeds threshold`	Количество инструкций в функции больше заданного порога
`Number of lines exceeds threshold`	Общее количество линий в файле больше заданного порога
`Cyclomatic complexity exceeds threshold`	Цикломатическая сложность функции больше заданного порога цикломатической сложности функции
`Language scope exceeds threshold`	Языковая область видимости функции больше заданного порога

Темы

Уменьшите сложность программного обеспечения при помощи Polyspace Checkers

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

Изменение поведения Bug Finder Checkers по умолчанию

Расширение или ограничение поведения по умолчанию дефектов или стандартных шашек кодирования с помощью опций анализа Polyspace.

Проверяйте на нарушения стандарта кодирования

Проверка на нарушения AUTOSAR C++ 14, CERT^® C, CERT C++ MISRA C^®, MISRA^® C++, JSF AV C++ или ISO-17961 стандарт с Bug Finder или Code Prover.

Документация Polyspace Bug Finder

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.