Исходные ссылки на Когнитивную сложность и Википедия

Исходные ссылки на циклометрическую сложность Википедия Википедия RU

Проверка на цикломатическую сложность есть и у Microsoft
https://learn.microsoft.com/ru-ru/dotnet/fundamentals/code-analysis/quality-rules/ca1502

Что-то у меня разошлись значения когнитивной сложности в примере2 (https://1c-syntax.github.io/bsl-language-server/diagnostics/CognitiveComplexity/):
bls-ls говорит 33, а если подсчитать по комментам, вроде как 40.

Поэтому решил исходить из спецификации (Приложение B) источника (https://www.sonarsource.com/docs/CognitiveComplexity.pdf)

Буду придерживаться следующего алгоритма, поправьте, если допустил ошибки:

Конструкции увеличивающие сложность:

• Если, ИначеЕсли, Иначе
• тренарный оператор ?(,,)
• циклы
• ветвь исключения в попытке
• переход к метке
• логические операнды И, ИЛИ
• рекурсивный вызов

Конструкции получающие дополнительный штраф за уровень вложенности:

• если
• тренарный оператор
• циклы
• ветвь исключения в попытке

Конструкции увеличивающие уровень вложенности:

• если, ИначеЕсли, Иначе
• тренарный оператор
• циклы
• ветвь исключения в попытке
• вложенный вызов метода

А Edt умеет подсчитывать когнитивную и цикломатическую сложность? Не подскажите где эти настройки? И можно ли выдавать ошибку при превышении заданного порога?

А Edt умеет подсчитывать когнитивную и цикломатическую сложность? Не подскажите где эти настройки? И можно ли выдавать ошибку при превышении заданного порога?

Нет, ещё не умеет, как раз пробую научить. На скрине VCS с плагином

Взял в работу

Приведенный алгоритм цикломатической сложности тоже не нравится https://1c-syntax.github.io/bsl-language-server/diagnostics/CyclomaticComplexity/

Мне кажется мы не должны увеличивать счетчик для блока Иначе, также мне кажется цикломатическая сложность не возрастает при переходах goto. Зато, скорей всего необходимо учесть директивы препроцессора

Блок "Иначе" - это альтернативный (ещё один) вариант условий. Т.е. человек необходимо понять все условия срабатывания в "Если" или в "Иначе если" - потом понять весь скоуп всех возможных вариантов, вычесть из них те что могли отработать выше - и понять в каких же случаях реально будет срабатывание кода в "Иначе".

Это однозначное усложнение.

С метками goto всё ещё хуже: человек перестаёт понимать алгоритм линейно пока читает код, ему нужно перепрыгивать в другое место чтобы понимать и переносить (в своей голове) туда весь текущий контекст код, при чем он не может опираться на тот код который видит до метки, так как этого кода в данный момент (при переходе) не существует как бы.

То есть уровень загрузки/напряга мозга сильно повышается на метках.

Блок "Иначе" - это альтернативный (ещё один) вариант условий. Т.е. человек необходимо понять все условия срабатывания в "Если" или в "Иначе если" - потом понять весь скоуп всех возможных вариантов, вычесть из них те что могли отработать выше - и понять в каких же случаях реально будет срабатывание кода в "Иначе".

Это однозначное усложнение.

У нас Если добавляет ещё одну линию, вне зависимости от наличия Иначе, просто в сокращённом случае блок Если пустой и опускается. Поэтому наличие Если третью линию не добавляет. А вот ветки ИначеЕсли каждая добавляет по новой линии

Например:

Одна линия исполнения:

Процедура Тест()
    Инструкция1();
КонецПроцедуры;

Две линии исполнения (блок Если):

Процедура Тест()
    Инструкция1();
    Если Условиие Тогда
        Инструкция2();
    КонецЕсли;
КонецПроцедуры;

1: инструкция1, инструкция2
2: инстуркция1

По-прежнему две линии исполнения (блок Если Иначе):

Процедура Тест()
    Инструкция1();
    Если Условиие Тогда
        Инструкция2();
    Иначе
        Инстуркция3();
    КонецЕсли;
КонецПроцедуры;

1: Инструкция1, Инструкция2
2: Инстуркция1, Инструкция3

С метками goto всё ещё хуже: человек перестаёт понимать алгоритм линейно пока читает код, ему нужно перепрыгивать в другое место чтобы понимать и переносить (в своей голове) туда весь текущий контекст код, при чем он не может опираться на тот код который видит до метки, так как этого кода в данный момент (при переходе) не существует как бы.

То есть уровень загрузки/напряга мозга сильно повышается на метках.

То что мозг напряжется согласен, но изменится ли у нас количество линий исполнения?
Если правильно понимаю смысл цикломатической проверки, она должна сказать сколько минимум тестов нужно написать на код. Для это и подсчитываются линии исполнения. Можно ли подсчитать, сколько тестов добавит наличие перехода к метке?