Введение.
1. Обзор подходов проверю качества программного обеспечения
1.1. Методы обеспечения качества программного обеспечения.
1.2. Методы и особенности тестирования.
1.2.1. Методы автоматизации тестирования.
1.2.2. Инструментарий тестирования.
1.3. Формальный подход к проблеме обеспечения качества ПО.
1.3.1. Математический аппарат моделей программ.
1.3.2. Обзор моделей программ
1.4. Методы верификации
1.4.1. Нотации описания систем
1.4.2. Дедуктивные методы верификации.
1.4.3. Методы проверки на модели
1.5. Инструментарий верификации
1.5.1. Сравнительный анализ средств верификации.
Выводы
2. Методики интегрированной технологии верификации и тестирования
2.1. Общая схема технологии автоматизированной верификации и тестирования
2.2. Используемые формальные языки
2.3. Основы метода базовых протоколов
2.3.1. Базовые протоколы
2.3.2. Язык базовых протоколов
2.3.3. Базовый протокол в .
2.4. Система верификации V.
2.5. Система автоматизации тестирования ТАТ
2.6. Обзор методик интегрированной технологии верификации и тестирования.
2.6.1. Поиск ошибок в спецификациях.
2.7. Методика формализации требований на основе базовых протоколов МБР.
2.7.1. Создание БИА.
2.7.2. Создание БИС.
2.7.3. Создание БИФ.
2.8. Методика доказательства заданных свойств системы на основе е модели на языке
с последующей генерацией кода .
2.9. Методика генерации тестового набора
2 Методика доказательства детерминированности поведения системы ТСС.
2 Методика проверки аннотированных сценариев поведения системы АС.
2 Методика автоматизации тестирования ТАТ.
Выводы.
3. Программная поддержка технологий автоматизации тестирования и верификации.
3.1. Программная поддержка интеграции подсистем верификации и тестирования
3.2. Модуль генерации кода системы по множеству базовых протоколов
3.2.1. Блок запуска генерации
3.2.2. Блок анализа конфигурации.
3.2.3. Блок генерации
3.3. Подсистема настройки на область тестирования.
3.3.1 Графический пользовательский интерфейс
3.3.2 Генератор интерфейсного модуля
3.4. Характеристика разработанных программных средств.
4. Результаты применения разработанных методов и средств автоматизации тестирования и верификации.
4.1. Состав экспериментального комплекса.
4.2. Применение технологии в телекоммуникационных проектах.
4.3. Применение технологии в проектах связанных с мобильной телефонией.
4.4. Применение технологии в проектах встроенных применений
4.5. Учебные проекты.
4.6. Общая статистика и анализ результатов применения технологии.
4.7. Оценки применения технологии в больших промышленных проектах
Заключение
Литература
- Київ+380960830922