Качество программного кода. От выявления стилистических огрехов к поиску ошибок::Журнал СА 3.2014
www.samag.ru
     
Поиск   
              
 www.samag.ru    Web  0 товаров , сумма 0 руб.
E-mail
Пароль  
 Запомнить меня
Регистрация | Забыли пароль?
Журнал "Системный администратор"
Журнал «БИТ»
Подписка
Архив номеров
Где купить
Наука и технологии
Авторам
Рекламодателям
Контакты
   

  Опросы
  Статьи

Дата-центры  

Дата-центры: есть ли опасность утечки данных?

Российские компании уже несколько лет испытывают дефицит вычислительных мощностей. Рост числа проектов,

 Читать далее...

Событие  

В банке рассола ждет сисадмина с полей фрактал-кукумбер

Читайте впечатления о слете ДСА 2024, рассказанные волонтером и участником слета

 Читать далее...

Организация бесперебойной работы  

Бесперебойная работа ИТ-инфраструктуры в режиме 24/7 Как обеспечить ее в нынешних условиях?

Год назад ИТ-компания «Крок» провела исследование «Ключевые тренды сервисного рынка 2023». Результаты

 Читать далее...

Книжная полка  

Читайте и познавайте мир технологий!

Издательство «БХВ» продолжает радовать выпуском интересных и полезных, к тому же прекрасно

 Читать далее...

СУБД PostgreSQL  

СУБД Postgres Pro

Сертификация по новым требованиям ФСТЭК и роль администратора без доступа к данным

 Читать далее...

Критическая инфраструктура  

КИИ для оператора связи. Готовы ли компании к повышению уровня кибербезопасности?

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

 Читать далее...

Архитектура ПО  

Архитектурные метрики. Качество архитектуры и способность системы к эволюционированию

Обычно соответствие программного продукта требованиям мы проверяем через скоуп вполне себе понятных

 Читать далее...

Как хорошо вы это знаете  

Что вам известно о разработках компании ARinteg?

Компания ARinteg (ООО «АРинтег») – системный интегратор на российском рынке ИБ –

 Читать далее...

Графические редакторы  

Рисование абстрактных гор в стиле Paper Cut

Векторный графический редактор Inkscape – яркий представитель той прослойки open source, с

 Читать далее...

День сисадмина  

Учите матчасть! Или как стать системным администратором

Лето – время не только отпусков, но и хорошая возможность определиться с профессией

 Читать далее...

День сисадмина  

Живой айтишник – это всегда движение. Остановка смерти подобна

Наши авторы рассказывают о своем опыте и дают советы начинающим системным администраторам.

 Читать далее...

Виртуализация  

Рынок решений для виртуализации

По данным «Обзора российского рынка инфраструктурного ПО и перспектив его развития», сделанного

 Читать далее...

Книжная полка  

Как стать креативным и востребованным

Издательский дом «Питер» предлагает новинки компьютерной литературы, а также книги по бизнесу

 Читать далее...

Книжная полка  

От создания сайтов до разработки и реализации API

В издательстве «БХВ» недавно вышли книги, которые будут интересны системным администраторам, создателям

 Читать далее...

1001 и 1 книга  
19.03.2018г.
Просмотров: 6227
Комментарии: 0
Машинное обучение с использованием библиотеки Н2О

 Читать далее...

12.03.2018г.
Просмотров: 6933
Комментарии: 0
Особенности киберпреступлений в России: инструменты нападения и защита информации

 Читать далее...

12.03.2018г.
Просмотров: 4216
Комментарии: 0
Глубокое обучение с точки зрения практика

 Читать далее...

12.03.2018г.
Просмотров: 3006
Комментарии: 0
Изучаем pandas

 Читать далее...

12.03.2018г.
Просмотров: 3807
Комментарии: 0
Программирование на языке Rust (Цветное издание)

 Читать далее...

19.12.2017г.
Просмотров: 3822
Комментарии: 0
Глубокое обучение

 Читать далее...

19.12.2017г.
Просмотров: 6316
Комментарии: 0
Анализ социальных медиа на Python

 Читать далее...

19.12.2017г.
Просмотров: 3170
Комментарии: 0
Основы блокчейна

 Читать далее...

19.12.2017г.
Просмотров: 3460
Комментарии: 0
Java 9. Полный обзор нововведений

 Читать далее...

16.02.2017г.
Просмотров: 7278
Комментарии: 0
Опоздавших не бывает, или книга о стеке

 Читать далее...

17.05.2016г.
Просмотров: 10647
Комментарии: 0
Теория вычислений для программистов

 Читать далее...

30.03.2015г.
Просмотров: 12365
Комментарии: 0
От математики к обобщенному программированию

 Читать далее...

18.02.2014г.
Просмотров: 13999
Комментарии: 0
Рецензия на книгу «Читаем Тьюринга»

 Читать далее...

13.02.2014г.
Просмотров: 9124
Комментарии: 0
Читайте, размышляйте, действуйте

 Читать далее...

12.02.2014г.
Просмотров: 7079
Комментарии: 0
Рисуем наши мысли

 Читать далее...

10.02.2014г.
Просмотров: 5388
Комментарии: 3
Страна в цифрах

 Читать далее...

18.12.2013г.
Просмотров: 4617
Комментарии: 0
Большие данные меняют нашу жизнь

 Читать далее...

18.12.2013г.
Просмотров: 3427
Комментарии: 0
Компьютерные технологии – корень зла для точки роста

 Читать далее...

04.12.2013г.
Просмотров: 3155
Комментарии: 0
Паутина в облаках

 Читать далее...

03.12.2013г.
Просмотров: 3402
Комментарии: 0
Рецензия на книгу «MongoDB в действии»

 Читать далее...

02.12.2013г.
Просмотров: 3026
Комментарии: 0
Не думай о минутах свысока

 Читать далее...

Друзья сайта  

 Качество программного кода. От выявления стилистических огрехов к поиску ошибок

Архив номеров / 2014 / Выпуск №3 (136) / Качество программного кода. От выявления стилистических огрехов к поиску ошибок

Рубрика: Карьера/Образование /  Пятая пара

Денис Силаков ДЕНИС СИЛАКОВ, кандидат ф.-м. н., ЗАО «РОСА», член рабочей группы LSB, старший архитектор, занимается автоматизацией разработки ОС «РОСА», denis.silakov@rosalab.ru

Качество программного кода
От выявления стилистических огрехов к поиску ошибок

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

В предыдущей статье [1], посвященной качеству кода, мы рассмотрели ряд инструментов, помогающих разработчикам улучшить читаемость исходных текстов программ и облегчить тем самым их поддержку и развитие. Достоинством подобных утилит является простота и легкость использования – достаточно указать, какие правила необходимо проверять, и запустить инструмент. Этот фактор обусловил большую популярность таких средств анализа кода, особенно при использовании систем CI.

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

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

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

Анализаторы семантической корректности кода

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

Типичным представителем таких инструментов в мире Java является PMD (см. рис. 1), позволяющий выявлять:

  • мертвый код (неиспользуемые переменные, приватные методы и параметры функций);
  • пустые тела циклов и условий;
  • излишне усложненные циклы;
  • некорректное или неэффективное использование стандартных классов Java и так далее.

Рисунок 1. Отчет плагина PMD в Eclipse (изображение с eclipsezone.com)

Рисунок 1. Отчет плагина PMD в Eclipse (изображение с eclipsezone.com)

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

В мире .NET аналогичные возможности предоставляет FxCop, анализирующий промежуточный код на языке CLI (в который компилируются все .NET-приложения, независимо от конкретного языка программирования). Наряду с проверкой следования правилам именования и другим аспектам, влияющим на простоту поддержки кода, FxCop позволяет выявлять проблемы с надежностью, переносимостью и безопасностью приложений. Анализ на основе FxCop встроен в некоторые редакции Visual Studio.

Другие языки тоже не обделены вниманием – для C++ существует мощный cppcheck (интегрирующийся с Visual Studio, Eclipse, Code::Blocks и другими популярными IDE), для Python – PyChecker и Frosted, для Groovy – CodeNarc и так далее.

Статью целиком читайте в журнале «Системный администратор», №3 за 2014 г. на страницах 80-84.


Комментарии отсутствуют

Добавить комментарий

Комментарии могут оставлять только зарегистрированные пользователи

               Copyright © Системный администратор

Яндекс.Метрика
Tel.: (499) 277-12-45
E-mail: sa@samag.ru