Управление качеством программных средств, монография, Бураков В.В., 2009

Управление качеством программных средств, Монография, Бураков В.В., 2009.

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




МОДЕЛИРОВАНИЕ ПРОГРАММНЫХ СРЕДСТВ.
Объектом системы управления качеством является программное средство, в целях формального описания которого должна быть создана модель. Для представления программных сущностей и их взаимоотношений целесообразно использованы графы. В силу своей математической природы теория графов является одним из самых простых и удобных формализмов для представления программ, их структур и поведения. Наглядность и простота представления программных сущностей и взаимоотношений между ними сочетается в графовых спецификациях с развитым математическим базисом.

Одним из первых шагов в этой области следует считать [11], где графы использовались для спецификации сообщений, которые объекты посылают друг другу во время исполнения программы, что давало возможность улучшения понимания, фиксации свойств и отладки программ на Smalltalk. Другие разновидности графов использовались в работе [12] для описания поведения крупных объектно-ориентированных систем. Помимо графов вызовов методов, использовались графы вызова объектов, графы наследования и агрегации. Каждый из типов графов описывал отдельную проекцию поведения программы, что повлекло за собой улучшение понимания поведения программы, которое сказалось на увеличении повторного использования кода. В работе [13] концептуальные графовые нотации использовались для описания объектно-ориентированных концепций. Некоторые подходы к формальному описанию метрик также базируются на описании программных систем с помощью теории графов.

ОГЛАВЛЕНИЕ.
Введение.
Глава 1. Моделирование программных средств.
1.1. Графовая модель программы.
1.1.1. Расширение базовой теории графов.
1.1.2. Понятие помеченного графа.
1.1.3. Понятие помеченного типизированного графа.
1.1.4. Визуализация помеченных типизированных графов.
1.1.5. Абстрактный помеченный граф.
1.1.6. Понятие подграфа.
1.1.7. Принципы типизации.
1.1.8. Частично-упорядоченные графовые типы.
1.1.9. Морфизмы, сохраняющие подтипы.
1.1.10. Спецификация множественности.
1.2. Адаптация графовой модели к предметной области.
1.3. Моделирование диаграмм классов UML.
1.3.1. Идентификация типов вершин и ребер.
1.3.2. Построение множества типовых графов.
1.3.3. Построение множества антитиповых графов.
1.4. Моделирование объектно-ориентированного кода.
1.4.1. Идентификация типов вершин и ребер.
1.4.2. Построение множества типовых графов.
1.4.3. Построение множества антитиповых графов.
1.5. Описание принципов проектирования с помощью антитиповых графов.
1.6. Описание принципов проектирования с помощью ролей.
1.6.1. Варианты описания ролей в программном коде.
1.6.2. Порождающий шаблон «абстрактная фабрика».
1.6.3. Структурный шаблон «мост».
1.6.4. Поведенческий шаблон «наблюдатель».
1.6.5. Архитектурный шаблон «модель - представление - контроллер».
Глава 2. Моделирование качества программных средств.
2.1. Существующие модели и стандарты качества ПС.
2.1.1. Модели типа « факторы - критерии - метрики».
2.1.2. Модели типа «цель - вопрос - метрика».
2.1.3. Модели типа «процесс/продукт».
2.1.4. Стандарт IEEE 1061.
2.1.5. ГОСТ 28195-89.
2.1.6. Стандарты ISO/IEC 9126, ISO/IEC 25000.
2.1.7. Сравнительный анализ существующих моделей качества.
2.2. Построение моделей качества.
2.2.1. Жесткие и гибкие модели.
2.2.2. Модели с совмещениями уровней и без.
2.2.3. Внутренние и внешние свойства качества.
2.3. Взаимосвязи между показателями качества.
2.3.1. Методы построения моделей качества.
2.3.2. Анализ вариантов построения моделей качества.
2.4. Адаптация моделей качества.
2.5. Области применения моделей качества.
2.5.1. Использование моделей качества для описания требований к ПС.
2.5.2. Использование моделей качества для проектирования архитектуры ПС.
2.5.3. Использование моделей качества для реализации ПС.
2.5.4. Использование моделей качества при приобретении ПС.
2.5.5. Использование моделей качества при сертификации ПС.
2.5.6. Использование моделей качества при идентификации рисков.
2.5.7. Другие применения моделей качества ПС.
2.5.8. Анализ вариантов использования моделей качества.
2.6. Классификация моделей качества.
2.6.1. Специфичное/обобщенное измерение.
2.6.2. Устойчивое/временное измерение.
2.7. Основные недостатки существующих моделей качества.
2.8. Требования к модели качества.
2.9. Формальная модель качества.
2.9.1. Категория качества.
2.9.2. Реализация требований формального моделирования качества.
Глава 3. Оценивание качества программных средств.
3.1. Модель измерений программных средств.
3.1.1. Измерение качества программных средств.
3.1.2. Метрики качества программных средств.
3.1.3. Метрические пространства.
3.1.4. Операторы комплексирования.
3.1.5. Категория измерений.
3.1.6. Функтор из категории качества в категорию измерений.
3.1.7. Квантификация принципов проектирования программных средств.
3.2. Алгоритм оценивания качества программных средств.
3.2.1. Стандарты оценивания качества программных средств.
3.2.2. Процесс оценивания качества программных средств.
Глава 4. Улучшение качества программных средств.
4.1. Модель преобразований программных средств.
4.1.1. Преобразования графов.
4.1.2. Формальное описание преобразований программных средств.
4.1.3. Операторы преобразований на метрических пространствах.
4.1.4. Моделирование преобразований ОО-кода.
4.1.5. Преобразования диаграмм классов UML.
4.2. Алгоритм преобразований программных средств.
4.2.1. Поиск сущностей дефектных подпространств.
4.2.2. Поиск оптимальной последовательности операторов.
4.2.3. Нормализация составных преобразований.
4.2.4. Алгоритм нормализации составных преобразований.
Глава 5. У правление качеством программных средств.
5.1. Структура системы управления качеством программных средств.
5.2. Описание элементов системы управления качеством программных средств.
5.3. Применение методов классификации и кластерного анализа.
5.3.1. Сравнительный анализ методов классификации.
5.3.2. Применение методов кластерного анализа.
5.4. Алгоритм функционирования системы управления качеством программных средств.
Глава 6. Программное обеспечение для управления качеством.
6.1. Программное средство анализа кода для рефакторинга.
6.1.1. Функциональное назначение.
6.1.2. Результаты использования.
6.2. Программное средство автоматизации пользовательского рефакторинга.
6.2.1. Функциональное назначение.
6.2.2. Результаты использования.
6.3. Программное средство детектирования дефектов кода.
6.3.1. Функциональное назначение.
6.3.2. Результаты использования.
6.4. Программное средство метрического анализа кода.
6.4.1. Функциональное назначение.
6.4.2. Метрики, реализованные в ПСМАК.
6.4.3. Функции, выполняемые ПСМАК.
6.4.4. Результаты использования.
6.5. Программное средство оценки качества программ.
6.5.1. Функциональное назначение.
6.5.2. Функции ПСОКП.
6.5.3. Результаты использования.
6.6. Программное средство рефакторинга моделей программ.
6.6.1. Функциональное назначение.
6.6.2. Результаты использования.
6.7. Результаты практического использования разработанных программных средств.
Заключение.
Литература.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Управление качеством программных средств, монография, Бураков В.В., 2009 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Теги: учебник по информатике :: информатика :: компьютеры :: Бураков