Формирование тестирующих программ с использованием сетей Петри-Маркова

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

ВВЕДЕНИЕ.
1. Методы проектирования программного обеспечения и систем автоматизированного тестирования.

1.1. Введение.

1.2. Принципы и методы проектирования программного обеспечения

1.3. Современные проблемы разработки программного обеспечения.

1.4. Классификация типов тестирования ПО

1.5. Обзор методов подготовки тестовых данных.

1.6. Обзор моделей, применимых к построению тестирующих программ.

1.7. Постановка задачи исследований.

1.8. Выводы.

2. Моделирование тестирующих программ

2.1. Определение структурных составляющих сети ПетриМаркова в
терминах задач тестирования
2.2. Взаимосвязь между пространством параметров и тестирующей
моделью.
2.3. Тестирование ввода данных
2.4. Последовательный и параллельный подход к тестированию линейной
последовательности операторов
2.5. Тестирование предикатных функций.
2.6. Тестирование итераций в программе
2.7. Свойства полумарковских процессов в однопереходных СГ1М,
моделирующих тестирующие программы.
2.8. Исследование процессов в типовых подсетях ПетриМаркова,
используемых при моделировании тестирующих программ
2.9. Выводы.
3. Построение моделей тестирования для сложных программных комплексов
с помощью сетей ПетриМаркова
3.1 Построение тестирующей модели с формированием дерева покрытия .
3.2 Комплексная модель тестирующей программы
3.3 Методика имитационного моделирования работы тестируемого ПО с
применением аппарата СПМ.
3.4 Моделирование распределенного тестирования программных
комплексов ПК
3.5 Общая методика применения сетей ПетриМаркова к задаче
тестирования.
3.6 Аппроксимация композиции плотностей законом распределения
4. Система автоматизированного тестирования программного комплекса обеспечения электронных расчетов.
4.1. Струкгура тестируемого комплекса
4.2. Схема тестирующего комплекса
4.3. Тестирование информационной безопасности
4.4. Комплексное автоматизированное тестирование.
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА


По теме диссертации опубликовано работ, включенных в список литературы, в том числе: тезисы докладов на всероссийской конференции, 9 статей. Структура и объем работы. Во введении определен объект и предмет исследования, методы, используемые в диссертации. В первом разделе произведен анализ объектов исследования, их свойств и существующих моделей, реализующих формальное описание систем автоматизированного тестирования. Дана постановка задачи. Во втором разделе описан подход к моделированию структурных составляющих системы автоматизированного тестирования с использованием сетей етри-Маркова. Третий раздел содержит описание способов применения аппарата сетей ТТетри-Маркова в задачах тестирования, а также возможность применения сетей Петри-Маркова для имитационного моделирования. Четвертый раздел содержит экспериментальное подтверждение положений диссертации. В заключении сделаны выводы по работе в целом. Проектирование программных составляющих сложных прикладных задач для цифровых вычислительных систем на современном уровне включает следующие этапы - математическое моделирование; алгоритмизация; программирование или кодирование на алгоритмическом языке; выполнение вычислительного эксперимента; решение отдельных прикладных задач, на которые распространяется модель. Выбор соответствующей модели, языка программирования и среды разработки определяет парадигму программирования. Выбранная парадигма программирования оказывает существенное влияние на производительность разработки, правильность функционирования, способность к модернизации и пониманию программных текстов. К основным технологиям современных парадигм программирования относятся: операциональная (уровень абстрагирования - отдельное действие), нисходящая технология (декомпозиция программы сверху вниз), структурное программирование (использование трех видов блоков: функционального, цикла и дихотомического выбора), модульное программирование (развитие принципа декомпозиции), объектно-ориентированное программирование (объект включает в себя свойства и методы обработки свойств и объектов в целом) [, , ]. Указанные технологии не позволяют охватить весь спектр задач, возникающих на стадиях жизненного цикла программного продукта и, таким образом, формируется потребность создания новой парадигмы, более полно учитывающей взаимосвязь исполнительной и тестирующей частей программного комплекса. В данной работе предлагается подход к решению второй задачи. В процесс разработки программного обеспечения комплексов обработки информации (ПО) вовлечены обособленные группы разработчиков, каждая из которых использует специфические инструментальные средства и реализует отдельную часть проектируемого программного комплекса, причем эти части являются взаимозависимыми. Зависимости частей комплекса могут быть по потокам данных, логике исполнения потоков кода, иметь статический или динамический характер. Как следствие высокого уровня сложности программных проектов возникает проблема автоматизации автономного и комплексного тестирования готовых программ [, , , 1]. Задача создания тестового обеспечения в значительной мере осложняется тем обстоятельством, что процессы разработки и тестирования обладают свойством цикличности и выполняются при любом обновлении версий программных продуктов, а значит, хмодернизации подвергаются как исполнительные, так и тестовые компоненты программного комплекса. Каждая новая версия разработанного компонента ПО должна быть протестирована как автономно, так и во взаимосвязи с существующими компонентами программного комплекса. В случае положительного исхода тестовых испытаний формируется программный комплекс (ПК), который передается в опытную эксплуатацию. В ходе опытной эксплуатации выявляются и исправляются общесистемные ошибки и ошибки программных кодов. После завершения опытной эксплуатации продукт считается пригодным для промышленного использования [,, ]. Во время промышленной эксплуатации осуществляется протоколирование замечаний, недостатков и выявленных ошибок, не обнаруженных на этапе тестирования и опытной эксплуатации.