Исследование и разработка метода, моделей и алгоритмов тестирования приложений для мобильных устройств

• Автор: Хатько, Евгений Евгеньевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2013
• Место защиты: Москва
• Количество страниц: 169 с. : ил.

СОДЕРЖАНИЕ
Введение
Используемые сокращения
Приложения для мобильных устройств
Использование прототипов приложений для мобильных устройств
Анализ итеративной схемы разработки
Задачи, требующие решения
Методы исследования
Научная новизна работы
Описание работы
1 Г лава 1. «Анализ существующих методов тестирования приложений для
мобильных устройств»
1.1 Метрика тестового покрытия приложений для мобильных устройств
1.2 Анализ методов тестирования приложений для мобильных устройств
1.2.1 Ручное тестирование по документации
1.2.2 Автоматизация ручных тестов
1.2.3 Тестирование на основе формальной модели
1.2.4 Тестирование на основе прототипа
1.3 Анализ методов автоматизации тестирования
1.3.1 Программный метод автоматизации
1.3.2 Метод автоматизации с использованием playback инструментов .
1.4 Выбор и обоснование критериев оценки и оптимизации методов тестирования
1.4.1 Интегральный критерий оценки методов тестирования
1.4.2 Частный критерий эффективности модели генерации
1.5 Выводы по первой главе
2 Глава 2. «Метод тестирования приложений для мобильных устройств с использованием прототипов»
2.1 Взаимодействие пользователя с приложением
2.1.1 Определение конечного набора детерминированных действий
2.1.2 Ограничение набора вариационных действий
2.2 Расширенный конечный автомат для тестирования приложений для мобильных устройств
2.2.1 Определение состояний РКА
2.2.2 Определение множества стимулов и значений параметров
стимулов РКА
2.2.3 Определение множества реакций и параметров реакций РКА
2.2.4 Определение параметров РКА
2.2.5 Определение начального состояния РКА
2.2.6 Определение множества переходов РКА
2.2.7 Формальное определение РКА
2.3 Метод тестирования приложений для мобильных устройств
2.4 Выводы по второй главе

3 Глава 3. «Разработка аналитической и программной моделей алгоритма генерации тестов»
3.1 Аналитическая модель алгоритма генерации
3.1.1 Схема аналитической модели алгоритма
3.1.2 Поиск значения Г
3.1.3 Дополнительные условия выхода из цикла
3.1.4 Псевдокод работы алгоритма
3.2 Программная модель алгоритма генерации
3.2.1 Общая схема программной модели
3.2.2 Входные и выходные данные
3.2.3 Входные параметры
3.2.4 Описание наиболее важных входных параметров
3.2.5 Выбор языка программирования для реализации ПМАГТ
3.2.6 Программное представление расширенного конечного автомата
прототипа
3.2.7 Основные модули ПМАГТ
3.2.8 Вспомогательные модули ПМАГТ
3.2.9 Визуализация работы процесса генерации
3.3 Выводы по третьей главе
4 Глава 4. «Разработка имитационно-статистической модели тестирования приложений для мобильных устройств»
4.1 Мобильные операционные системы
4.2 Модель тестирования приложений для мобильных устройств

1.4.2.1 Средняя эффективность алгоритма генерации
Чтобы оценить эффективность алгоритма генерации, предлагается использовать методику, описанную ниже:
Пусть N - количество тестовых сценариев, сгенерированных алгоритмом, L - средняя длина тестового сценария.
Процесс оценки эффективноси можно предствить следующей схемой:
Оба параметра зависят от подаваемого графа РКА. В соответствии с теоремой Эйлера (16), в связном направленном графе существует эйлеров цикл тогда и только тогда, когда полустепень исхода равна полустепени захода. Т.е. количество входящих в узел ветвей равно количеству исходящих. Используя эту теорему можно сделать оценку нижней границы количества переходов, необходимых для покрытия всех переходов РКА. Эта оценка будет:
AT V* / Ш OUt
Ne = X тах(ч )•
ste S
Действительно, в соответствии с определением РКА прототипа, соответствующий граф РКА является связным, поскольку в РКА добавляется новое состояние, только если существует переход из текущего состояния в новое. Для «эйлеризации» графа необходимо обойти все его узлы и «дополнить» состояние минимальным количеством исходящих или входящих ветвей, таким образом, чтобы количество входящих ветвей в данный узел равнялось количеству исходящих ветвей. Очевидно, после подобного дополнения количество исходящих ветвей графа состояния у будет равно
v# г~ / 1П out ч т- г
количество входящих ветвей и будет равно max(j| ,st ). 1аким образом, общее количество переходов, которое нужно совершить для обхода всего «эйлеризованного» графа будет £ m ах($'я, s°ut). (17)

Тогда показатель эффективности числа сгенерированных шагов: