Модели и алгоритмы тестирования программных средств на основе их стратифицированного описания

• Автор: Волков, Владимир Георгиевич
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2009
• Место защиты: Нижний Новгород
• Количество страниц: 123 с. : ил.

Содержание
Ввсдеше

Глава 1. Сравнительный анализ моделей надежности ПО

1.1. Анализ существующих моделей надежности ПО.

1.1.1. История развития исследований надежности ПО

1.1.2. Понятие надежности ПО

1.1.3. Классификация моделей надежности ПО

1.2. Анализ недостатков существующих моделей надежности ПО.

1.2.1. Недостатки моделей подсчета количества ошибок в программах.

1.2.2. Недостатки вероятностного подхода

1.3. Анализ моделей ПО.

1.3.1. модели.
1.3.2. Графоматричные модели ПО
1.3.3. Автоматные модели ПО.
1.4. Анализ систем тестирования ПО.
1.4.1. i
1.4.2. I i.
Выводы по главе 1
Глава 2. Стратифицированная базовая модель ПО
2.1. Необходимые сведения из теории иерархических многоуровневых систем
2.2. Анализ этапов жизненного цикла ПО.
2.2.1. Этап определения требований ПО.
2.2.2. Этап проектирования ПО.
2.2.3. Этап конструирования кодирования ПО
2.2.4. Этап тестирования ПО.
2.3. Построение стратифицированной базовой модели ПО.
2.4. Метрики надежности ПО.
2.5. Пример стратифицированного описания программы.
2.5.1. Спецификация требований
2.5.2. Спецификация разработчика
2.5.3. Программный код
Выводы по главе 2
Глава 3. Диагностическая модель ПО
3.1. Необходимые сведения из теории множеств
3.1.1. Соответствия и бинарные отношения.
3.1.2. Операции над соответствиями.
3.2. Анализ стратегии тестирования ПО.
3.3. Диагностическая модель ПО
3.4. Пример использования диагностической модели ПО.
3.4.1. Набор тестов, покрывающий требования спецификации.
3.4.2. Расчет метрик.
3.4.3. Особенности автоматизации тестирования
Выводы по главе 3.
Глава 4. Автоматизированная система тестирования ПО.
4.1. Назначение автоматизированной системы тестирования ПО
4.2. Структура автоматизированной системы тестирования ПО.
4.2.1. Общая характеристика
4.2.2. Модуль автоматических тестов
4.2.3. Модуль планирования запусков
4.2.4. База данных результатов тестов
4.2.5. Модуль генерации отчетов
4.2.6. ЕВ интерфейс
4.2.7. Алгоритм работы автоматизированной системы тестирования ПО
4.3. Практические результаты
4.3.1. Краткое описание производимого программного продукта
4.3.2. Результаты применения автоматизированной системы тестирования ПО Выводы по главе 4
Заключение
Литература


Разработанные стратифицированная (базовая) и диагностическая модели ПО имеют более широкое применение по сравнению с существующими моделями. ПО и технологии программирования. Разработанные в диссертационной работе модели и автоматизированная система тестирования программ могут быть использованы в промышленном процессе производства программных систем с целью повышения эффективности и снижения затрат на обеспечение высокого уровня надежности производимых программных продуктов. Обоснованность и достоверность результатов обеспечены корректным использованием современного математического аппарата и подтверждены результатами экспериментальных исследований на реальном примере. ПО. Реализация результатов работы. Разработанные в диссертационной работе модели и автоматизированная система тестирования внедрены и используются в производственном процессе одного из проектов компании «МЕРА НН». Результаты работы использованы в госбюджетной НИР (Отчет по НИР «Структурно-статистические методы обеспечения контролепригодности программных средств». Н.Новгород: НГТУ, Отчет по НИР «Тестирование программных средств». Диагностические и информационно-поисковые системы». Апробация работы. Информационные системы и технологии», г. Н. Новгород, , гг. НТИ- «Информационные технологии» ВИНИТИ РАН, г. XIII международной открытой научной конференции «Современные проблемы информатизации в анализе и синтезе технологических и программно-телекоммуникационных систем», г. VII международной молодежной научно-технической конференции «Будущее технической науки» г. VIII международном симпозиуме «Интеллектуальные системы» ШТЕЬ8’, г. XII международной научно-практической конференции «Системный анализ в проектировании и управлении», г. Санкт-Петербург, г. На региональном конкурсе научных работ среди аспирантов в году автор стал лауреатом стипендии имени академика Г. А. Разуваева. Публикаиии. По теме диссертационного исследования опубликовано работ. В том числе одна в издании, рекомендованном ВАК России. Структура и объём работы. Диссертационная работа состоит из введения, четырёх глав, заключения, библиографического списка и приложений. Общий объём работы 7 страниц текста, содержащего рисунков и 3 таблицы. Список литературы содержит 1 наименований. Во введение даётся общая характеристика работы, обосновывается актуальность темы диссертации, показана научная новизна и практическая ценность диссертационной работы. Аннотировано по главам излагается содержание диссертации. В первой главе приводится история развития исследований надежности ПО. Определяется понятие надежности ПО. Рассматриваются существующие модели надежности программ и их классификация. Производится анализ известных моделей надежности ПО с точки зрения их применения в реальном производственном процессе программного продукта. Рассматриваются модели 0. Приводится обзор существующих систем тестирования ПО. Выявляются недостатки существующих моделей надежности ПО и приводится обоснование необходимости разработки новой модели ПО. Во второй главе описывается иерархический подход, использующий стратифицированное описание для исследования сложных систем. Производится анализ этапов жизненного цикла ПО с точки зрения возможностей обеспечения надежности производимого программного продукта на каждом из них. Определяется представление программы на основных этапах жизненного цикла ПО. Формируется стратифицированная (базовая) модель ПО. Приводится пример стратифицированного описания программы. В третьей главе рассматриваются характеристики этапа тестирования 0 с целью определения основных параметров разрабатываемых тестов. Приводятся необходимые сведения из теории множеств для доказательства корректности предлагаемой диагностической модели ПО. Формируется диагностическая модель ПО. Приводится пример использования диагностической модели на практике. В четвёртой главе описывается построение автоматизированной системы тестирования программных средств. Приводятся результаты практического применения разработанной системы. В заключении изложены основные результаты диссертационной работы.