Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования

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

ВВЕДЕНИЕ

1 ОБЗОР ЛИТЕРАТУРЫ ТЕХНОЛОГИИ И ИНСТРУМЕНТЫ РЕШЕНИЯ ПОСТАВЛЕННОЙ ЗАДА ЧИ.

1.1 Виды тестирования.

1.2 Интеграционное тестирование

1.2.1 Задачи и цели интеграционного тестирования

1.2.2 Методы интеграционного тестирования.

1.2.2.1 Классификация существующих методов интеграционного тестирования по структурному принципу.
1.2.2.2 Классификация существующих методов интеграционного тестирования по временному критерию

1.2.2.3 Сравнительный анализ методов интеграционного тестирования.

1.2.3 Сравнение программных инструментов интеграционного

тестирования.

1.3 Формальные методы интеграционного тестирования.
1. 3.1 Нотации описания систем.
1.3.2 Дедуктивные методы верификации
. 3.3 Методы проверки на модели i
1.3.3.1 Метод тестирования.
1.3.3.2 Метод v тестирования.
1.3.3.3 Метод, основанный на теории частичных спецификаций
1.3.4 Сравнение формальных методов интеграционного тестированияЪ
1.4 ВЫВОДЫ
2 МОДЕЛЬ ВЗАИМОДЕЙСТВИЯ НОВОГО КОМПОНЕНТА И СУЩЕСТВУЮЩЕЙ СИСТЕМЫ В РАМКАХ ТЕОРИИ АТРИБУТНЫХ ТРАНЗИЦИОННЫХ СИСТЕМ И БАЗОВЫХ ПРОТОКОЛОВ
2.1 Атрибутные традиционные системы
2.1.1 Абстракции атрибутных транзиционных систем
2.2 Агенты и среды
2.2.1 Среда для интеграционного контроля спецификаций.
2.3 Базовые протоколы.
2.4 Реализация системы базовых протоколов.
2.5 Язык базовых протоколов.
2.6 Конкретные реализации системы базовых протоколов для
интеграционного анализа
2.7 Интеграционное множество базовых протоколов.
2.8 Функция погружения интеграционного множества базовых
протоколов.
2.9 ВЫВОДЫ
3 РЕАЛИЗАЦИЯ КОМПЛЕКСА МЕТОДИК ИНТЕГРАЦИОННОГО ТЕСТИРОВАНИЯ.
3.1 Методика идентификации интерфейса взаимодействия и его описания
3.1.1 Методика идентификации и описания интерфейса взаимодействия для процедурных языков программирования.
3.1.2 Методика идентификации и описания интерфейса взаимодействия для объектноориентированных языков программирования
3.1.3 Инструменты автоматизации идентификации и описания, интерфейса взаимодействия для процедурных и объектноориентированных языков
3.1.4 Методика идентификации и описания интерфейса взаимодействия для языков спецификаций.
3.2 Методика идентификации и описания регионов взаимодействующего кода.
3.3 Методика построения модели для интерфейса взаимодействия на основе описания регионов взаимодействующего кода.
3.3.1 Методика построения модели интерфейса взаимодействия для процедурных и объектноориентированных языков
3.4 Методика построения модели для интерфейса.взаимодействия,.на основе спецификаций Системы и Компонента.
3.5 Методика верификации построенной модели
3.6 Методика автоматической генерации тестов для построенной модели
3.7 ВЫВОДЫ.
4 РЕЗУЛЬ ТА ТЫ ПРИМЕНЕНИЯ РАЗРАБОТАННЫХ МЕТОДОВ И СРЕДСТВ ИН ТЕГРАЦИОННОГО ТЕСТИРОВАНИЯ И ВЕРИФИКАЦИИ
4.1 Состав экспериментального комплекса
4.2 Применение технологии на примере разработки мобильного телефона объектноориентированный язык
4.3 Применение технологии при разработке мобильного устройства процедурный язык.
4.4 Применение технологии для учебных проектов.
4.5 Общая статистика и анализ результатов применения технологии
4.6 ВЫВОДЫ.
5 ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА


Как правило, состоит из нескольких реализованных компонентов, собранных вместе. Интеграционное тестирование называют тестированием архитектуры системы 4, 8. С одной стороны, это название обусловлено тем, что интеграционные тесты включают в себя проверки всех возможных видов взаимодействий между программными модулями, которые определяются в архитектуре системы таким образом, интеграционные тесты проверяют полноту взаимодействий в тестируемой реализации системы. С другой стороны, результаты выполнения интеграционных тестов один из основных источников информации для процесса улучшения и уточнения архитектуры системы, межмодульных и межкомпонентных интерфейсов, т. Рассмотрим простой пример из области тестирования мобильных устройств, а именно задачу фиксации нажатия клавиш. В функциональных требованиях записано, что символы, соответствующие клавишам должны отображаться в том порядке, в котором они были нажаты. Система реализует низкоуровневую функцию, которая фиксирует событие, кодирующее нажатие клавиши, и помещает это событие на вершину стека. Компонент считывает событие со дна стека и отображает соответствующий символ. Модульные тесты не дадут необходимого эффекта, потому что возможна другая реализация данного требования, когда Система помещает событие на дно, а Компонент считывает события с вершины. Обнаружить потенциальную проблему можно, только проверив взаимодействие Компонента и Системы при помощи интеграционных тестов. Интеграционное тестирование интерфейса СистемаКомпонента позволяет зафиксировать подобный дефект. Итак, в результате проведения интеграционного тестирования и устранения всех выявленных дефектов получается согласованная и целостная архитектура программной системы. Интеграционное тестирование обеспечивает тестирование архитектуры и функциональных в том числе низкоуровневых требований. Интеграционное тестирование, как правило, представляет собой итеративный процесс, при котором проверяется функциональность связей взаимодействующих модулей. Традиционным подходом к интеграционному тестированию является подход, когда, интеграционное тестирование проводится по завершении модульного тестирования для всех интегрируемых модулей. На практике не всегда так. Все эти методики основываются на знаниях об архитектуре системы, которая может быть представлена в виде спецификации на одном из формальных языков например, , или . На рис. Рис. Пример диаграммы, описывающей архитектуру системы. Каждый узел на такой диаграмме представляет собой программный модуль, а стрелки между ними представляют собой зависимость по вызовам между модулями . Основное различие методик интеграционного тестирования заключается в направлении движения по диаграмме и в широте охвата тестирования связей модулей за одну итерацию. Восходящее тестирование. При использовании этого метода подразумевается, что сначала тестируются все программные модули, входящие в состав системы и только затем они объединяются для интеграционного тестирования. При таком подходе значительно упрощается локализация ошибок если модули протестированы по отдельности, то ошибка при их совместной работе это ошибка интерфейса взаимодействия. При таком подходе область поиска проблем достаточно узка, а значит проще идентифицировать дефект. Рис. Однако у восходящего метода тестирования есть существенный недостаток необходимость в разработке драйвера и заглушек для модульного тестирования перед проведением интеграционного тестирования и необходимость в разработке драйвера и заглушек при интеграционном тестировании части модулей системы рис. Монолитное тестирование предполагает, что в рамках моду льного тестирования проводились только проверки основной функциональности, другими словами не было серьезного модульного тестирования. Основное преимущество данного метода отсутствие необходимости в разработке тестового окружения, драйверов и заглушек. После разработки всех модулей выполняется их интеграция, затем система проверяется вся в целом. К недостаткам данного метода можно отнести сложность идентификации и высокую стоимость исправления дефекта.