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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Разбор полетов  

Ошибок опыт трудный

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

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

Принципы проектирования  

Dependency Inversion Principle. Принцип инверсии зависимостей в разработке

Мы подошли к последнему принципу проектирования приложений из серии SOLID – Dependency

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

Рынок труда  

Вакансия: Администратор 1С

Администратор 1С – это специалист, который необходим любой организации, где установлены программы

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

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

Книги для профессионалов, студентов и пользователей

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

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

Принципы проектирования  

Interface Segregation Principle. Принцип разделения интерфейсов в проектировании приложений

Эта статья из серии «SOLID» посвящена четвертому принципу проектирования приложений – Interface

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

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

Секрет успешных людей

Книги издательства «БХВ» по ИТ рассчитаны на разные категории читателей: от новичков

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

Учебные центры  

Карьерные мечты нужно воплощать! А мы поможем

Школа Bell Integrator открывает свои двери для всех, кто хочет освоить перспективную

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

Гость номера  

Дмитрий Галов: «Нельзя сказать, что люди становятся доверчивее, скорее эволюционирует ландшафт киберугроз»

Использование мобильных устройств растет. А вместе с ними быстро растет количество мобильных

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

Прошу слова  

Твердая рука в бархатной перчатке: принципы soft skills

Лауреат Нобелевской премии, специалист по рынку труда, профессор Лондонской школы экономики Кристофер

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

1001 и 1 книга  
19.03.2018г.
Просмотров: 11274
Комментарии: 0
Потоковая обработка данных

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

19.03.2018г.
Просмотров: 9530
Комментарии: 0
Релевантный поиск с использованием Elasticsearch и Solr

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

19.03.2018г.
Просмотров: 9578
Комментарии: 0
Конкурентное программирование на SCALA

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

18.12.2013г.
Просмотров: 3350
Комментарии: 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-41
Fax: (499) 277-12-45
E-mail: sa@samag.ru