Направляющие линии

Описание и список средств проверки инструкций

Эти средства проверки связаны с лучшыми практиками в кодировании. 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

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

Измените поведение по умолчанию средств проверки Bug Finder

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

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

Проверяйте на нарушения C++ AUTOSAR 14, CERT^® C, CERT C ++ MISRA C^®, MISRA^® C ++, JSF AV C++ или стандарт ISO 17961 с Программой автоматического доказательства Кода или Bug Finder.

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

Поддержка

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

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

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

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

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

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