Проектирование обратимых операций над объектами на основе шаблонов при разработке программного обеспечения

• Автор: Гумеров, Максим Маратович
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2011
• Место защиты: Уфа
• Количество страниц: 118 с. : ил.

Оглавление

Общая характеристика работы

Глава 1. Актуальные задачи в проектировании приложения, предназначенного для редактирования документов

1.1. Функция отмены действий пользователя.

1.2. Операция удаления примитива редактирования.

1.3. Проектирование ПО при помощи шаблонов

1.4. Выбор модели качества для оценки качества шаблона

1.5. Выбор метода тестирования приложений.

1.6. Выводы.

Глава 2. Формализация задачи исследования и разработка шаблона проектирования

2.1. Формальная постановка задачи исследования

2.2. Модель операции удаления примитива из документа
2.3. Возможные пути обеспечения обратимости удаления
2.4. Предлагаемый подход к обеспечению обратимости
2.5. Шаблон проектирования обратимой операции удаления примитива
2.6. Алгоритм работы обратимой операции удаления
2.7. Выводы.
Глава 3. Разработка модели качества ПО для обобщенных проектных решений.
3.1. Предлагаемая модель качества.
3.2. Предлагаемые метрики трудоемкости разработки и сопровождения
3.3. Разработка метода тестирования качества ПО.
3.4. Выводы. .
Глава 4. Внедрение разработанного шаблона и оценка его качества
4.1. Внедрение шаблона проектирования.
4.2. Анализ эффективности разработанного шаблона проектирования
4.3. Применение метода тестирования ПО
4.4. Выводы
Основные результаты и выводы.
Список используемой литературы


Предложенная формальная модель операции удаления примитива редактирования в приложении-редакторе, позволяющая идентифицировать нетривиальные составляющие этой операции с точки зрения обеспечения ее обратимости - в виде статической структурной диаграммы UML. Метод проектирования операции удаления в приложениях-редакторах, обеспечивающий создание проектных решений, являющихся обратимыми операциями удаления. Предложенное обобщение модели качества SQuaRE для случая обобщенных повторно используемых фрагментов архитектуры. Разработанный метод оценки качества программных систем, основанный на интеграционном тестировании и дополняющий его приемами модульного тестирования с целью ускорения покрытия приложения тестами. Модули поддержки отмены выполняемых операций в программных продуктах «BNView» и «NGT Smart», на базе которых было проведено внедрение вышеперечисленных результатов. Результаты анализа эффективности работы разработанного и внедренного модуля. Для операции удаления впервые построена формальная модель. Предложен метод проектирования обратимой операции удаления в различных приложениях-редакторах, основанный на парадигме шаблонного проектирования. Разработанный шаблон, в отличие от известных, учитывает связи между примитивами как часть состояния приложения, подлежающего восстановлению при отмене операции. Для шаблона проектирования «посредник» построена специализация существующего шаблона, поддерживающая посредника в рабочем состоянии при удалении идентифицируемого им объекта. Этот вариант шаблона может использоваться как в обратимой операции удаления, так и для решения других задач - например, поддержки перемещения программного кода между компьютерами (code mobility). С целью информативного анализа качества предложенного шаблона обобщена модель качества SQuaRE. Предложенное обощение изменяет ряд критериев и метрик качества, входящих в SQuaRE, таким образом, что, в отличие от известных моделей, становится возможно применять набор критериев этой модели к анализу обобщенных повторно используемых фрагментов архитектуры. ВО ‘ времени. Метод пригоден и для других классов приложений. Метод оценки качества программных систем может использоваться для анализа качества программного обеспечения и поиска ошибок как в процессе проектирования ПО, так и в процессе сопровождения. Критерии и метрики предложенной модели качества, применимой для анализа обобщенных архитектурных решений, могут использоваться для сравнения различных архитектур с целью выбора наиболее подходящей, а также для выявления потенциальных проблем в анализируемой архитектуре. Результаты исследования внедрены в ООО «Уфимский научно-технический центр». Разработанное в процессе проведения экспериментальной части исследования программное обеспечение (комплексы «NGT Smart» и «BNView») зарегистрировано в реестре программ для ЭВМ Российского агентства по патентам и товарным знакам (свидетельства N и N [2,3]). Внедрение осуществлено в ОАО «НК Башнефть» и ООО «Г азпромнефть-Хантос». Исследования проводились в рамках НИР НК «Роснефть» 8-Д «Создание методологии информационного обеспечения интегрированного проектирования», а также грантов РФФИ №5-а «Технологии распределённого искусственного интеллекта при поддержке принятия решений в задачах календарного планирования» (- гг. Система поддержки коммуникативных процессов при выполнении проектов фундаментальных исследований сложных систем на основе интеллектуальных мультиагентов» (- гг. VII Международная научно-техническая конференция «Новые информационные технологии и системы» (Пенза, ). The 9th International Workshop on Computer Science and Information Technologies CSIT’ (Уфа, ). X Международная научно-практическая конференция «Наука и современность - » (Новосибирск, ). Список публикаций по теме диссертации содержит 8 работ, в том числе 2 статьи в рецензируемых журналах из списка ВАК и 2 свидетельства о регистрации программы для ЭВМ. Автор выражает благодарность главному специалисту управления развития банковских систем ОАО «БАНК УРАЛСИБ» Кузьмину Илье Владимировичу за ценные замечания к некоторым разделам диссертации, а также начальнику отдела развития систем проектирования ООО «РН-УфаНИПИнефть» Якупову Рустему Назировичу за консультации и некоторые ценные идеи.