Технология настраиваемой генерации тестов по формальным спецификациям для встроенных приложений и программных интерфейсов, реализованных на Java-подобных языках

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

ВВЕДЕНИЕ З

I. АНАЛИЗ МЕТОДОВ И СРЕДСТВ АВТОМАТИЗАЦИИ ТЕСТИРОВАНИЯ РЕАКТИВНЫХ СИСТЕМ

1 Современная базовая терминология и опрьд ление задачи тес ирования

Автоматизация т рстиронания

Анализ v технологии для мобильных устройств

1 4 Средства автоматизации тестирования дня v программных интерфейсов и приложений

1 5 Совргменныс БАИТКОД АНАЛИЗАТОРЫ

1 6 Сравнительный анализ средств автоматизации тестирования зз

1 7 выводы

2 МОДЕЛЬ ВЗАИМОДЕЙСТВИЯ ТЕСТИРУЕМОЙ СИСТЕМЫ И ТЕСТОВОГО ОКРУЖЕНИЯ

2 1 Реактивная систгма как объект тестирования

2 2 Представлении тестируемой сис ь мы и тестового окружения в видр системы вргмснных
ПЕРЕХОДОВ
2 3 Расширение системы временных не реходов
2 4 ОЮБЩЬННАЯ ФОРМУЛИРОВКА МОДЕЛИ
2 5 Постановка задачи на разработку технологии автоматизаии тесировашя
2 6 Выводы
3 КОНЦЕПЦИЯ ТЕХНОЛОГИИ АВТОМАТИЗАЦИИ ТЕСТИРОВАНИЯ.
3 1 ТЕХНОЛО ическая цепочка и сценарий ее использования
3 2 Модули ядра техюло ии ав гоматизации тестирования
3 3 СГРУКТУРА АБСТРАКТНЫХ ТЕСТОВЫХ НАБОРОВ АТН
3 4 ЯЗЫК СПЕЦИФИКАЦИИ ТРЕБОВАНИИ ТЕСТИРУЕМОЙ СИСТЕМЫ
3 5 Структура компонента сопряжения интерфгисов
3 6 Выводы
4 КОМПЛЕКС МЕТОДИК ТЕХНОЛОГИИ АВТОМАТИЗАЦИИ ТЕСТИРОВАНИЯ
4 1 МЕТОДИКА РАЗРАБОКИ ТЕСТОВЫХ СЦЕНАРИЕВ
4 2 МЕТОДИКА ЕНЕРАЦИИ ТРАСС И АЬСТРЛКЖЫХТЕСТОВ
4 з Методика управления балансом выбора обобщенных сценариев и линейных трасс
4 4 МЕТОДИКА СОЗДАНИЯ ШАБЛОНА П1ЕРАЦИИ ЦЕЛЕВОГО КОДА ТЕСТОВЫХ НАБОРОВ
4 5 Методика встраивания тестовых агентов ЮЗ
4 6 ВЫВОДЫ
5 ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ РАЗРАБОТАННОЙ ТЕХНОЛОГИИ АВТОМАТИЗАЦИИ ТЕСТИРОВАНИЯ
5 1 Обобщенная схема применения техноло ии
5 2 Применение технологии для тсс ирования v ар
5 3 Применение технологии дня тестирования пользовательских v приложении Ii i
5 4 Применение технологии для тес ирования системных v приложении i ет
5 5 анализ результатов примени ия технологии
5 6 выводы
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА


При этом с точки зрения формального описания верификация не имеет специфической привязки к целевой области системы. Анализ Java технологии для мобильных устройств. Java ME имеет две базовых конфигурации. Connectee! Limited Device Configuration (CLDC), предназначенная для небольших беспроводных устройств (мобильные телефоны, карманные компьютеры) и Connected Device Configuration (CDC), предназначенная для больших устройств (в терминах потребления памяти и процессорной мощности) с постоянным сетевым соединением (компьютерная приставка к телевизору, терминалы доступа в Интернет) Mobile Information Device Profile (MIDP), который базируется на CLDC, был первым законченным профайлом и, таким образом, первой законченной Java ME средой разработки приложений Подробнее Java ME конфигурации рассмотрены в приложении 5. Приложения, разрабатываемые для конфигурации CLDC и профайла MIDP, называются MIDlet. Они представляют собой скомпилированные java фазы, упакованные в архив, снабженный дескриптором описания, и исполняемые на JVM (Java Virtual Machine) телефона Приложение MIDlet называется пользовательским, тк. Рис. Когда MIDlet готов к запуску, создается экземпляр главного класса приложения. Существующие программно-аппаратные решения, когда в мобильном телефоне работает одна JVM, не позволяет запускать несколько MIDP приложений, а также приложения с отличным от MIDlet жизненным циклом. На смену старому решению пришло новое - архитектура нескольких виртуальных машин (Multiple VM solution) разработанная компанией Motorola. В этой архитектуре одна виртуальная машина используется для запуска пользовательских Java приложений (MIDIets), другая для запуска системных Java приложений (CORElets). Системные приложения, в отличии от пользовательских, загружают свои классы в память в момент запуска телефона, что позволяет сделать их последующий запуск из меню мгновенным. Архитектура системной платформы представлена на Рис. Java APIs(CLDC/MIDP/JSR0/JSR5/, etc. Рис. Системная JVM под контролем системной платформы осуществляет запуск CORElet, пользовательская JVM осуществляет запуск MIDlet. Пользовательские приложения имеют доступ к стандартным API, поддерживаемых Java ME, однако некоторые стандартные классы MIDP 2. MIDlet, Display и PushRegistry могут быть использованы только через специальные классы, осуществляющие поддержку множественного запуска приложений. Жизненный цикл системной платформы Системная платформа может быть в одном из двух устойчивых состояний ACTIVE (активна) и BACKGROUNG (фоновый режим). В дополнение к этому есть два переходных состояния: SUSPEND (приостановлена) и STOP (остановлена). При старте системы, платформа переходит в состояние ACTIVE. При выключении платформа переходит в состояние STOP. При старте телефона платформа инициализирует приложение CORElet и вызывает конструктор его главного класса. Далее пользователь может загрузить MIDlet в пользовательской машине, что приведет к тому, что системная JVM будет приостановлена (SUSPEND) и перейдет в фоновой режим (BACKGROUND). Системное приложение может обрабатывать сообщения в фоновом состоянии, но не может реагировать на них в активном режиме, т. После выхода из MIDlet, системная JVM переходит в активное (ACTIVE) состояние. Эволюционный подход, используемый в технологии системной платформы, позволяет интегрировать Java приложение с системными сервисами операционной системы телефона. К примеру, становится возможным выбывать телефонную книгу, редактор SMS, осуществлять звонки из созданного приложения, написанного на Java Также становится возможным использовать пользовательский интерфейс (UI) подобный тому, который используется в native приложениях, например, цветовые схемы (skins), расположения компонентов (программных клавиш, полосы прокрутки и т д. Особенностью тестирования встроенных Java приложений является отсутствие внешних программных интерфейсов для оказания воздействий из тестового окружения и контроля реакций тестируемого объекта Основным способом взаимодействия с пользователем являются клавиатура и экран мобильного устройства.