ВВЕДЕНИЕ
1 ОБЗОР ЛИТЕРАТУРЫ ТЕХНОЛОГИИ И ИНСТРУМЕНТЫ РЕШЕНИЯ ПОСТАВЛЕННОЙ ЗАДА ЧИ.9
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 ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА
- Київ+380960830922