Введение
Глава 1. «Анализ существующих методов тестирования приложений для мобильных устройств» 16
1.1 Метрика тестового покрытия приложений для мобильных устройств
1.2 Анализ методов тестирования приложений для мобильных устройств
1.2.1 Ручное тестирование по документации 20
1.2.2 Автоматизация ручных тестов 20
1.2.3 Тестирование на основе формальной модели 21
1.2.4 Тестирование на основе прототипа 21
1.3 Анализ методов автоматизации тестирования 22
1.3.1 Программный метод автоматизации 22
1.3.2 Метод автоматизации с использованием playback инструментов .22
1.4 Выбор и обоснование критериев оценки и оптимизации методов тестирования 23
1.4.1 Интегральный критерий оценки методов тестирования 23
1.4.2 Частный критерий эффективности модели генерации 32
1.5 Выводы по первой главе 35
Глава 2. «Метод тестирования приложений для мобильных устройств с использованием прототипов» 37
2.1 Взаимодействие пользователя с приложением 37
2.1.1 Определение конечного набора детерминированных действий .37
2.1.2 Ограничение набора вариационных действий 40
2.2 Расширенный конечный автомат для тестирования приложений для мобильных устройств 42
2.2.1 Определение состояний РКА 46
2.2.2 Определение множества стимулов и значений параметров стимулов РКА 48
2.2.3 Определение множества реакций и параметров реакций РКА 48
2.2.4 Определение параметров РКА 50
2.2.5 Определение начального состояния РКА 50
2.2.6 Определение множества переходов РКА 50
2.2.7 Формальное определение РКА 2.3 Метод тестирования приложений для мобильных устройств 52
2.4 Выводы по второй главе 53
Глава 3. «Разработка аналитической и программной моделей алгоритма генерации тестов» 54
3.1 Аналитическая модель алгоритма генерации 56
3.1.1 Схема аналитической модели алгоритма 58
3.1.2 Поиск значения F 58
3.1.3 Дополнительные условия выхода из цикла 58
3.1.4 Псевдокод работы алгоритма 61
3.2 Программная модель алгоритма генерации 62
3.2.1 Общая схема программной модели 62
3.2.2 Входные и выходные данные 64
3.2.3 Входные параметры 64
3.2.4 Описание наиболее важных входных параметров 65
3.2.5 Выбор языка программирования для реализации ПМАГТ 66
3.2.6 Программное представление расширенного конечного автомата прототипа 67
3.2.7 Основные модули ПМАГТ 69
3.2.8 Вспомогательные модули ПМАГТ 76
3.2.9 Визуализация работы процесса генерации 78
3.3 Выводы по третьей главе 85
Глава 4. «Разработка имитационно-статистической модели тестирования приложений для мобильных устройств» 86
4.1 Мобильные операционные системы 86
4.2 Модель тестирования приложений для мобильных устройств 88
4.2.1 Инструменты прототипирования приложений для мобильных устройств 88
4.2.2 Модуль конвертирования прототипа в формат входных данных алгоритма генерации 90
4.2.3 Инструмент автоматизации тестирования приложений для мобильных устройств 94
4.2.4 Модуль конвертирования тестовых сценариев в автоматические тесты 95
4.2.5 Среда тестирования приложений для мобильных устройств 95
4.2.6 Схема имитационно-статистической модели
4.3 Эффективность предложенного алгоритма генерации тестовых сценариев 96
4.4 Эффективность предложенного метода тестирования 102
Заключение 106
Литература


