Докладчик: Бульёнов А. В., аспирант

1. Санкт-Петербургский государственный университетинформационных технологий, механики и оптики Кафедра Компьютерные Технологии Докладчик: Бульёнов А. В., аспирант Научный руководитель: Шалыто А. А., д. т. н., профессор, зав. кафедрой КТ Методы автоматного программирования в разработке web-приложений

2. Цели работы • Выявить основные проблемыразработки web-приложений • сложная иерархия; • сложное визуальное представление; • большая зависимость от контекста; • отсутствие стандарта проектирования и оформления • Описать возможности и методы автоматного подхода в решении проблем web-приложений • Сделать выводы о перспективах использования этого подхода

3. Выбор подхода В качестве подхода к разработке web-приложений был выбран автоматный подход. Он обеспечивает: • удобное визуальное оформление на этапе разработки; • эффективную работу со сложными иерархическими структурами; • сохранение истории; • сохранение контекста выполнения;

4. Этапы разработки ПО Разработка любого приложения (в том числе и web-приложения) состоит из следующих этапов: • постановка задачи; • анализ исходных данных; • выбор архитектуры и шаблонов программирования и т. д.; • реализация на выбранном языке программирования; • тестирование и усовершенствование.

5. Автоматный подход и web Все подходы к разработке web-приложений можно условно разделить на несколько групп по месту понятия «состояние» в подходе: • состояние как web-страница; • состояние как кластер; • состояние как логическая единица меню; • состояние как действие блока страницы.

6. Состояние как страница

7. Состояние как кластер

8. Состояние как элемент PHC PHC (Passive HTML Control) – набор ссылок, отвечающий за работу какого-либо логического элемента сайта. Для хранении информации и передачи параметров используется механизм сессий. Каждый связанный набор ссылок (PHC) моделируется отдельным конечным автоматом. Каждое состояние - отдельный кластер страниц. В зависимости от входных параметров результат будет отличаться Совокупность состояния, параметров сессии и HTTP-параметров, передаваемые в состояние дают в результате конкретную страницу

9. Состояние как элемент PHC

10. Состояние как действие блока страницы Каждый блок страницы (вне зависимости от того, является он PHC или нет) моделируется автоматом с набором состояний. При выполнении какого-либо действия выполняется смена состояния конкретного блока.Блок – фрагмент сайта. Такой блок может соответствовать шапке, подвалу, меню сайта, области отображения контента и т. д.

11. Состояние как действие блока страницы Шапка Контент

12. Тестирование с использованием автоматного подхода Основное достоинство тестирования web-приложений с использованием автоматного подхода заключается в том, что автоматное представление является «родным» для web-приложений. Основой для автоматного тестирования является либо проверка правил, указанных для состояния-страницы, либо проверка автомата сайта на соответствие эталонному автомату.

13. Заключение • Автоматный подход предполагает использование «родных» для web-приложений понятий, что существенно уменьшает порог вхождения • Приведенный подход способен решить ряд существующих проблем и предоставляет общую методику для разработки и тестирования web-приложения В дальнейшем планируется существенно расширить функционал PHC и метода «состояние как блок»

14. Конец