ЭФФЕКТИВНОЕОО-ПРОЕКТИРОВАНИЕИ СТРУКТУРНОЕ КАЧЕСТВО ПРИЛОЖЕНИЙ

Алексей ПЕТРОВ

О ЧЕМ ПОЙДЕТ РЕЧЬ?

1

2

3

4

Что такое «структурное качество» приложений?

Как соотносятся шаблоны ОО-проектирования и

показатели качества?Что такое «анти-шаблоны»?

Какую помощь в обеспечении структурного качества

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

Какие мероприятия могут помочь в обеспечении

структурного качества?Реально ли повысить структурное качество уже написанных приложений?

НЕФОРМАЛЬНОЕ ВВЕДЕНИЕ

1

2

3

4

Качество — это…… «степень соответствия присущих характеристик <…> изделия или продукта потребностям, ожиданиям»(ГОСТ Р ИСО 9000). Различают качество программного обеспечения (ПО) и исходного кода.

Основная задача… планировать и осуществлять мероприятия по анализу и повышению структурного качества исходного программного кода как артефакта в процессах разработки ПО

АктуальностьИтеративные методы разработки; распространение методов обеспечения и контроля качества на все этапы разработки ПО; распространение методов ОО-анализа, проектирования и разработки; применение UML и CASE-средств.

Первые результатыПовышение качества управления рисками и затратами на всех этапах жизненного цикла ПО

МОДЕЛИ КАЧЕСТВА ПО

Модели качества ПО — это упорядоченные системы атрибутов, значимых для заинтересованных сторон проектаразработки ПО

Общий принцип — числовое выражение фактора: линейная комбинация взвешенных влияющих метрик

4,8𝒇 𝒊=∑𝒋

❑

𝒘 𝒊𝒋𝒎 𝒋

Критерии

точка зрения разработчика

точка зрения пользователя

Факторы

Метрикиа

тр

иб

ут

ы

мо

де

ли Дж.

МакКолБ. Боэм

ISO 9126

20стр.

ВОПРОС #1

Что такое «качественное ПО»?

1

2

Что такое «качественное ПО»?

– Ответьте, используя не более шести слов.

Какие характеристики ПО, на ваш взгляд, можно

назвать структурными?

– Ответьте, используя не более шести слов.

20стр.

МОДЕЛЬ КАЧЕСТВА ISO / IEC 9126

19912001

6целей

ожиданиеот ПО

21 атрибут

близость к достижению

цели

ISO / IEC 9126

ISO 25000:2005

SQuaRE — Software product Quality Requirements and

Evaluation

5 структурных

характеристик ПО

❶Надежностьпрочность, устойчивость; степень риска, сопряженного с использованием системы

❷Эффективностьпроизводительность операций; управление ресурсами; правила кодирования

❸Безопасность правила кодирования; обработка ошибок и исключений

документация в коде; удобство чтения кода; отсутствие «грязных» техник;

переносимость кода

❹Удобство сопровожденияоценка трудозатрат в ретроспективе и перспективе

❺Размер кода

МЕТРИКИ КАЧЕСТВА В МОДЕЛИ ISO / IEC 9126

19912001

6целей

ожиданиеот ПО

21 атрибут

близость к достижению

цели

ISO / IEC 9126

SQuaRE — Software product Quality Requirements and

Evaluation

ISO 9126-2, ISO 9126-3

Метрики качества

Полнота и корректность реализации функций

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

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

…

В трактовке ISO 9126,качество ПО можно повысить,

не внося в него изменений

ЛАНДШАФТ МЕТОДОВ ОЦЕНКИ КАЧЕСТВА ПО

1

2

3

Необходим «запуск» объекта

исследования?

По анализируемым

артефактам

По способу

изучения

статическиединамические

формальные моделиисходный программный код

объектный коддокументация

инструментальный анализ

целенаправленнаяинспекция (desk-checking)

рефакторинг

ВОПРОС #2

Ограничения статического анализа

Возможно ли путем статического анализа установить

степень реализации следующих атрибутов качества

ПО? Ответьте «да» или «нет»

– Защищенность

________________________

– Понятность ________________________

– Правильность, точность ________________________

– Привлекательность ________________________

– Работоспособность ________________________

– Удобство анализа ________________________

– Удобство обучения ________________________

20стр.

СТАТИЧЕСКИЙ АНАЛИЗ И СТРУКТУРНЫЕ ПОКАЗАТЕЛИ КАЧЕСТВА

1

2

3

Статический

анализ:

Нефункциональные

требования:

Оценка качества:

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

полнота краткость

понятность надежностьструктурированностьудобство сопровождения

компонентная структура

платформа архитектураисходный код схема БД

МЕТРИКИ В АРТЕФАКТАХ

1

2

3

4

АрхитектураСоблюдение стандартов разработки архитектуры;

реализация шаблонов проектирования разного уровня;

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

Транзакции и алгоритмыСложность транзакций и алгоритмов;

сложность приемов программирования и отсутствие «грязных» техник

Исходный кодСоблюдение правил оформления кода;

обработка ошибок и исключений;

соответствие выбранной парадигме

Техническая документацияУдобство чтения и структурированность;

объем документации

БОРЬБА СО СЛОЖНОСТЬЮ: РАУНД 1

1

2

3

4

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

Снижению сложности способствуют……предварительное проектирование архитектурыв соответствии с заданными критериями качествас учетом ее реализуемости на выбранном языке

«Несложный» код:

«Несложный» код обеспечивает……снижение совокупной стоимости владения ПО

лаконичность модульностьиспользование шаблонов

слабая связанность соблюдение правилоформления кода

систематическая обработка ошибок

20стр.

БОРЬБА СО СЛОЖНОСТЬЮ: РАУНД 2

1

2

3

4

Самодокументируемость кодаОбеспечивает понятность кода без обращения к документации;

способствует соответствию исходного кода «внутренней программной документации»

Композиция объектов компонентная разработка Не порождает сильной связи суперклассов с подклассами;

не вызывает проблемы «хрупких» базовых классов (fragile base class)

Контрактное программирование

Принцип «корректность по построению»Подразумевает применение методов проектирования, автоматически гарантирующих корректность получаемого продукта

ВОПРОС #3

«Контракты» в коде и качество ПО

1

2

Что вы знаете о контрактном программировании?

– Предложите свое определение контрактного программирования, содержащее не более пяти слов.

Какие структурные показатели качества улучшает

применение «контрактов» в исходном коде?

– Ответьте, используя не более четырех слов.

20стр.

ЗНАКОМЬТЕСЬ: ПРАКТИЧЕСКИЕ ПРИМЕРЫ

1

2

3

Стандарты и стили кодаОткрытые: Google C++ Style Guide,Code Conventions for the Java ProgrammingLanguage;

частные: корпоративные, командные и т.д.

Шаблоны проектированияФундаментальные (базовые);

GoF, Gang of Four (Э. Гамма и др.);

GRASP (К. Ларман);

PoEAA (М. Фаулер)Автоматическая генерация, рефакторинг, комментирование и документирование кода

CASE- и ALM-средства (в составе Microsoft Visual Studio,Eclipse IDE, IntelliJ IDEA и т.д.);

Doxygen, javadoc и т.д.

ФУНДАМЕНТАЛЬНЫЕ ШАБЛОНЫ ОО-ПРОЕКТИРОВАНИЯ. ШАБЛОНЫ GOF И GRASP

1

2

3

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

Типичные компромиссыСоответствие дизайна задаче общность дизайна;

доступность элементов системы безопасность;

удобство вызова возможность тонкой настройки

Шаблоны (паттерны) проектирования —это… …типовые архитектурные решения задач, в том числе:

фундаментальные шаблоны:наследование, делегирование и др.;

шаблоны «банды четырех» (GoF):стратегия, адаптер и др.;

шаблоны GRASP, PoEAA и др.

Единственно

правильных решений

не существует!

ПРИМЕР #1:ШАБЛОНЫ ОО-ПРОЕКТИРОВАНИЯ (UML)

Делеги-рование

Адаптер объекта

ПРИМЕР #2:ШАБЛОНЫ ОО-ПРОЕКТИРОВАНИЯ (JAVA)

public class Singleton {

private static final Singleton instance =

new Singleton();

private Singleton() {

// …

}

public static Singleton getInstance() {

return instance;

}

}

ВОПРОС #4

Проблемы архитектуры и качество ПО

20стр.

Какие показатели качества ПО страдают от наличия

следующих проблем в архитектуре системы? Ответьте

полно, насколько это возможно. Время на ответ —

3 минуты.

– Наличие «божественных» классов или объектов

_______________________________________________

– Сильная связанность классов или объектов

_______________________________________________

– Невозможность замены способа выполнения операции

(запроса)

_______________________________________________

КАК СООТНОСЯТСЯ ШАБЛОНЫ ПРОЕКТИРОВАНИЯ И КАЧЕСТВО ПРИЛОЖЕНИЙ? (1 / 3)

Проблема Пример шаблона

Чрезмерное количество используемых классов, объектов или глобальных переменных системы

Наследование, прототип, одиночка, посредник,

приспособленец

«Хрупкие» базовые классы Композиция

«Божественные» объектыДекоратор, состояние,

стратегия

Слабая инкапсуляция (локализация) имен или зависимость от имен

Абстрактная фабрика, прототип, фабричный метод,

фасад, шаблонный метод

Слабая инкапсуляция (локализация) кода или структур данных

Итератор, мост, наблюдатель (менеджер), состояние,

стратегия, строитель, фасад, шаблонный метод

Каждый шаблон (справа) призван решать проблемы в архитектуре системы, последовательно устраняя важнейшие причины перепроектирования (слева)

20стр.

Проблема Пример шаблона

Дублирование кодаНаследование, композиция,

мост, шаблонный метод

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

Декоратор, делегирование (композиция), наблюдатель,

посредник, прототип, состояние, стратегия

Потребность в универсальном или альтернативном способе доступа (системе запросов), абстрактном типе данных (ADT)

Адаптер, интерфейс, итератор, компоновщик, наблюдатель,

посетитель

Потребность в глобальной точке доступа Одиночка

Потребность в константном объекте Неизменяемый объект

Зависимость системы от программной или аппаратной платформы

Абстрактная фабрика, мост

Зависимость клиента от алгоритмов, представления или реализации объекта

Итератор, мост

КАК СООТНОСЯТСЯ ШАБЛОНЫ ПРОЕКТИРОВАНИЯ И КАЧЕСТВО ПРИЛОЖЕНИЙ? (2 / 3)

20стр.

КАК СООТНОСЯТСЯ ШАБЛОНЫ ПРОЕКТИРОВАНИЯ И КАЧЕСТВО ПРИЛОЖЕНИЙ? (3 / 3)

Проблема Пример шаблона

Сильная связанность классов или объектовКоманда, мост, посредник,

фасад

Чрезмерное использование наследования Декоратор, композиция

Недостаточная скорость выполнения инициализирующих операций

Заместитель, отложенная инициализация

Необходимость широковещательных коммуникаций

Наблюдатель

Недостаточная расширяемость, переносимость и безопасность

Заместитель, команда, мост, фасад

Сложность архитектуры и компрометация уровней многоуровневой системы

Наблюдатель, фасад

20стр.

ЧТО ТАКОЕ «АНТИ-ШАБЛОНЫ»…?

Загадочный код (Cryptic code)

умышленное или неумышленное несоблюдение принципа

самодокументируемости исходного кода

Божественный объект (God object)монолитный артефакт большого размера в исходном коде

Жесткий код (Hard code)имена, адреса и пр. числовые и символьные литералы, наличие которых затрудняет (делает невозможным) конфигурирование системы

Магические числа (Magic numbers)константы с трудно постижимой семантикой

… И ЧТО ТАКОЕ «ГРЯЗНЫЕ ТЕХНИКИ»?

«Мертвый» или пустой кодкодовые фрагменты, которые не используются в текущей сборке (версии) приложения, устарели или сделаны «про запас»

Архитектурно необоснованные заглушкиметоды или функции, не выполняющие роль пустых неабстрактных методов, шаблонных методов (GoF) или операций-«зацепок» (hook operations)

Код с непредсказуемым поведениемобращение к неинициализированнымпеременным, «трюки» в управлениипамятью, неконтролируемоепереполнение буферов и т.д.

Критические

ошибки!!!

ВОПРОС #5

Языки ООП и качество исходного кода

20стр.

1

2

Какие «внеязыковые» возможности современных

сред разработки могут помочь в обеспечении

структурного качества исходного кода?

Какие возможности языков ОО-программирования

вносят свой вклад в обеспечение структурного

качества кода?

– Ответьте полно, насколько это возможно. Время на ответ — 2 минуты.

КАКУЮ ПОМОЩЬ МОГУТ ОКАЗАТЬ СОВРЕМЕННЫЕ ЯЗЫКИПРОГРАММИРОВАНИЯ? (1 / 2)

C++ Java

Исполнение управляемого кода в защищенной программной среде

быстро,

небезопасно

медленно, безопасно

«Родные» методы(выполняют код вне защищенной среды, имеют доступ ко всем системным ресурсам)

—

быстро, небезоп., непереносимо

Строгая типизация

Запрет автоматического приведения (преобразования) типов

част., особ. в C++11

Средства динамической идентификации типов времени выполнения (RTTI)

dynamic_cast,

typeid

instanceof

Отладочные утверждения (assertions) времени компиляции (исполнения)

Автоматическая сборка мусора эмулируется

20стр.

КАКУЮ ПОМОЩЬ МОГУТ ОКАЗАТЬ СОВРЕМЕННЫЕ ЯЗЫКИПРОГРАММИРОВАНИЯ? (2 / 2)

C++ JavaОбобщенное программирование с поддержкой безопасности типов данных

шаблоны

обобщения

Элементы рефлексии в исходном коде

характеристики типов

аннотации

Расширенная поддержка ОО-парадигмы(абстрактные классы, «листовые» классы / методы, «удаленные» методы)

особ. в C++11

Обработка исключительных ситуаций. Стандартные и пользовательские классы-исключения

Спецификация типов исключений, возбуждаемых методами классов

на усмотрение разработчика

существуют

непроверяемые

Алгоритмы и структуры данных в составе стандартных библиотек

20стр.

ЭЛЕМЕНТЫ РЕФЛЕКСИИ В ИСХОДНОМ КОДЕ

1

2

3

4

Предотвращают……некорректное использование библиотек, ошибки при выборе (типов) фактических параметров, непреднамеренные ошибки в сигнатурах методов (архитектуре классов) и пр.

Выделяют и принуждают…… к отказу от использования устаревающих элементов архитектуры

Упрощают…… работу с атомарными характеристиками типов и позволяют предельно оптимизировать специализированные версии универсальных функций и методов

Сопровождают…… намеренно сохраненные в итоговой сборке кода предупреждения при компиляции

АЛГОРИТМЫ И КОНТЕЙНЕРЫ В СОСТАВЕ СТАНДАРТНЫХ БИБЛИОТЕК

1

Позволяют…работать с эффективным готовым исходным кодом;

ускорить процессы разработки;

снизить издержки на сопровождение продукта

2

Предоставляют…строгие гарантии вычислительной сложности операций (напр., поиск элемента списка требует линейного времени)

широкие возможности повторного использования кода;

расширяемые, удобные, взаимозаменяемые программные модули с унифицированными интерфейсами

3

Обеспечивают…вариативность решения задачи с учетом предпочтений разработчика;

структурную несовместимость контейнеров и алгоритмов, неэффективных при совместной работе

𝑂 (𝑁 )

ПРИМЕР #3: СТАНДАРТНЫЕ АЛГОРИТМЫ СОРТИРОВКИ (STD. TEMPLATE LIBRARY, C++)

1

std::sort (вариант quicksort) нестабильная сортировка на месте;

среднее время —

наибольшее время —

2

std::partial_sort (вариант heapsort)нестабильная сортировка на месте;

допускает получение отсортированного поддиапазонадлины ;

наибольшее время — или

3

std::stable_sort (вариант mergesort)стабильная сортировка на месте;

адаптируется к ограничениям памяти (оптимальный объем памяти — под элементов);

наибольшее время — от до

КАКИЕ ОРГАНИЗАЦИОННЫЕ МЕРОПРИЯТИЯ МОГУТ ПОМОЧЬ В ОБЕСПЕЧЕНИИ КАЧЕСТВА?

Выбор и внедрение модели качества ПОВыбор модели и атрибутов качества, определение метрик качества и их сравнительной значимости («весов»);принятие модели качества в «обязывающей» форме;утверждение и внедрение регламента регулярной оценки качества

Программа повышения квалификации(Принятая) модель и атрибуты структурного качества ПО;расширенные возможности языков моделирования (UML), запросов к БД (SQL) и языков программирования;поддержка качественного проектирования и разработки CASE-средствами, языками и инструментами

Соглашения о проектировании, моделировании, кодировании

Активное применение языков моделирования и CASE-технологий; автоматическая генерация исходного кода и технической документации по нему

1

2

3

4Аудит наличной архитектуры и кодовой базы

Разработка и реализация плана рефакторинга архитектуры системы и ее исходного программного кода

РЕАЛЬНО ЛИ ПОВЫСИТЬ СТРУКТУРНОЕ КАЧЕСТВО УЖЕ НАПИСАННЫХ ПРИЛОЖЕНИЙ?

Да!

❶ Провести комплексорганизационных мероприятий

❷ Запустить систематический рефакторинг архитектурыи исходного кода

❸ Провести дополнительноетестирование приложения

❹ На регулярной основе пересматриватьи ужесточать требования действующеймодели качества приложения

❺ Держаться курса, чего бы это ни стоило!

СПАСИБО! ВОПРОСЫ?

Алексей ПЕТРОВeducation@luxoft.com