Докладчик: Бульёнов А. В., аспирант
DESCRIPTION
Санкт-Петербургский государственный университет информационных технологий, механики и оптики Кафедра Компьютерные Технологии. Докладчик: Бульёнов А. В., аспирант Научный руководитель: Шалыто А. А., д. т. н., профессор, зав. кафедрой КТ. Методы автоматного программирования - PowerPoint PPT PresentationTRANSCRIPT
Докладчик: Бульёнов А. В., аспирантНаучный руководитель: Шалыто А. А., д. т. н., профессор, зав. кафедрой КТ
Методыавтоматного программированияв разработке web-приложений
Методыавтоматного программированияв разработке web-приложений
Санкт-Петербургский государственный университетинформационных технологий, механики и оптикиКафедра Компьютерные Технологии
Цели работы
Выявить основные проблемы разработки web-приложенийсложная иерархия;сложное визуальное представление;большая зависимость от контекста;отсутствие стандарта проектирования и
оформления Описать возможности и методы автоматного
подхода в решении проблем web-приложений
Сделать выводы о перспективах использования этого подхода
2
Выбор подхода
В качестве подхода к разработке web-приложений был выбран автоматный подход. Он обеспечивает:
удобное визуальное оформление на этапе разработки;
эффективную работу со сложными иерархическими структурами;
сохранение истории; сохранение контекста выполнения;
3
Этапы разработки ПО
Разработка любого приложения (в том числе и web-приложения) состоит из следующих этапов:
постановка задачи; анализ исходных данных; выбор архитектуры и шаблонов
программирования и т. д.; реализация на выбранном языке
программирования; тестирование и усовершенствование.
4
Автоматный подход и web
Все подходы к разработке web-приложений можно условно разделить на несколько групп по месту понятия «состояние» в подходе:
состояние как web-страница; состояние как кластер; состояние как логическая единица меню; состояние как действие блока страницы.
5
Состояние как страница
6
Состояние как кластер
7
Состояние как элемент PHCPHC (Passive HTML Control) – набор ссылок,
отвечающий за работу какого-либо логического элемента сайта. Для хранении информации и передачи параметров используется механизм сессий.
Каждый связанный набор ссылок (PHC) моделируется отдельным конечным автоматом. Каждое состояние - отдельный кластер страниц. В зависимости от входных параметров результат будет отличаться
Совокупность состояния, параметров сессии и HTTP-параметров, передаваемые в состояние дают в результате конкретную страницу
8
Состояние как элемент PHC
9
Состояние как действие блока страницы
Каждый блок страницы (вне зависимости от того, является он PHC или нет) моделируется автоматом с набором состояний. При выполнении какого-либо действия выполняется смена состояния конкретного блока. Блок – фрагмент сайта.
Такой блок может соответствовать шапке, подвалу, меню сайта, области отображения контента и т. д.
10
Состояние как действие блока страницы
11
Шапка
Контент
Тестирование с использованием автоматного подходаОсновное достоинство тестирования web-
приложений с использованием автоматного подхода заключается в том, что автоматное представление является «родным» для web-приложений.
Основой для автоматного тестирования является либо проверка правил, указанных для состояния-страницы, либо проверка автомата сайта на соответствие эталонному автомату.
12
Заключение Автоматный подход предполагает
использование «родных» для web-приложений понятий, что существенно уменьшает порог вхождения
Приведенный подход способен решить ряд существующих проблем и предоставляет общую методику для разработки и тестирования web-приложения
В дальнейшем планируется существенно расширить функционал PHC и метода «состояние как блок»
13
Конец
14