Статический анализ e!COCKPIT; Однопользовательская лицензия, Wago # 2759-403/1420-1000 

В дополнение к проверке компилятором дополнение e!COCKPIT Static Analysis проверяет исходный код на основе определённых правил и соглашений о наименовании. Это дополнение отображает потенциальные проблемы разработки, позволяя обнаруживать и исправлять ошибки до полевого тестирования. Более 100 частично параметрируемых правил уже реализовано. Эти правила можно объединять в отдельные наборы правил. Функции дополнения полностью интегрированы в среду разработки e!COCKPIT.

Преимущества:

• Предупреждение ошибок при создании программ
• Экономия времени на устранение неполадок при разработке приложений
• Обеспечение удобочитаемости и соответствия программного кода определённым правилам

Основные функции:

• Точная проверка приложения посредством команды меню
• Альтернативный вариант: автоматическая проверка во время генерации кода
• Управление инструкциями препроцессора и определение анализируемых частей кода

Правила и соглашения о наименованиях:

В настройках проекта e!COCKPIT в стандартной версии можно настроить стандартный набор правил программирования и соглашений о наименовании.

• Неиспользуемые переменные
• Перекрывающиеся области памяти
• Одновременный доступ
• Множественный доступ на запись при выводе
• Многократное использование наименований

Кроме того, с помощью e!COCKPIT Static Analysis можно получить следующую аналитику:

• Выявление недоступных частей кода
• Поиск пустых объектов
• Поиск пустых инструкций
• Поиск бесполезных объявлений
• Конверсии
• Доступ на запись к входным переменным
• Правила для операторов
• Правила для инструкций FOR и CASE
• Строгое тестирование правил МЭК

Результат анализа:

Результат анализа отображается в окне сообщений. Каждому нарушению присваивается уникальный номер, который можно связать с настроенными правилами и соглашениями о наименованиях.

Метрики:

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

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