Разработка XML-представления оболочки пакета «FSMTest-2.0», - выпускная квалификационная работа

Содержание

Реферат 2
ВВЕДЕНИЕ 3
1. Основные понятия 4
1.1 Конечные автоматы 4
1.2 Графы 5
2 Разработка пакета «FSMTest-2.0» 7
2.1 Описание пакета «FSMTest-1.0» 7
2.2 Архитектура разрабатываемого пакета. Выбор языков и инструментов 8
2.3 Описание разработанных тегов xml 10
3 Добавление возможности визуализации автоматов 20
3.1 Описание формата файлов с автоматами 20
3.2 Обзор пакетов программ и инструментов, позволяющих выводить
автоматы в виде диаграмм переходов 22
3.2.1 Среда разработки «QtCreator» 22
3.2.2 Пакет утилит «GraphViz» 23
3.3 Программная реализация 24
3.3.1 Преобразование формата .fsm в формат .gv 24
3.3.2 Интеграция программы в «FSMtest-2.0» 25
ЗАКЛЮЧЕНИЕ 27
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ 28
Приложение А 29
Приложение Б 38

Введение

На кафедре информационных технологий в исследовании дискретных структур Томского государственного университета группой авторов был разработан пакет прикладных программ «FSMTest-1.0» [1], который позволяет генерировать автоматы и строить для них тесты.
Этот пакет программ включает программные реализации как хорошо известных, так и разработанных на кафедре методов построения проверяющих тестов для различных моделей с конечным числом переходов. Главная особенность пакета заключается в том, что тесты генерируются с гарантированной полнотой.
Однако данный пакет имеет ряд недостатков. Во-первых, данный пакет был реализован под операционную систему Windows, что не позволяет добавлять программы, скомпилированные под LINUX. Во-вторых, имеющаяся версия пакета не позволяет добавлять новые разделы в интерфейс без повторной компиляции. В третьих, в пакет необходимо добавить визуализацию автоматов. Поэтому на кафедре было решено улучшить пакет «FSMTest-1.0», сделав его кроссплатформенным и упростив добавление новых разделов , в том числе вкладки визуализации, в интерфейс. Для этого прежде всего нужно отделить описание вкладок от программы, которая эти вкладки отрисовывает.
За отрисовку интерфейса отвечает программа, называемая ядром, в данной работе ядро не описывается. Целью же данной работы является разработка системы описания меню на языке XML и добавление возможности визуализации автоматов. Для достижения поставленной цели в рамках данной работы необходимо решить следующие задачи:
- изучить язык разметки XML;
- классифицировать компоненты меню;
- описать меню «FSMTest-1.0» на XML;
- добавить возможность визуализации автоматов .

Возникли сложности?

Нужна помощь преподавателя?

Помощь в написании работ!

ДИПЛОМНЫЕ МАГИСТЕРСКИЕ ДИССЕРТАЦИИ

КУРСОВЫЕ СТАТЬИ ВКР

Заключение

Данная работа посвящена расширению возможностей пакета «FSMTest- 1.0», который позволяет генерировать автоматы и строить для них тесты. Текущая версия имеет ряд недостатков. Поскольку пакет был реализован под операционную систему Windows, нет возможности добавлять в данный пакет Цпрограммы, скомпилированные под LINUX. Кроме того, имеющаяся версия пакета не позволяет добавлять новые разделы в интерфейс без повторной компиляции. Поэтому данная работа посвящена упрощению добавления новых разделов в интерфейс. Для достижения поставленной цели в рамках данной работы были изучены основы языка разметки XML, классифицированы компоненты меню, описано меню пакета «FSMTest-1.0» на XML. Проведен обзор языков программирования с точки зрения написания ядра нового пакета, сделан выбор в пользу java. Написание ядра на Java выполнялось другими коллегами и в данной работе не описывается.
Разработана и интегрирована в пакет «FSMTest-2.0» программа, позволяющая выводить небольшие примеры автоматов в графическом виде (с использованием «GraphViz».

Литература

1. Shabaldina N., Gromov M. FSMTest-1.0: a manual for researches // Proceedings of IEEE East-West Design & Test Symposium. - 2015. - P. 216-219.
2. Евтушенко Н.В, Петренко А.Ф, Ветрова М.В. Недетерминированные автоматы: анализ и синтез. Ч. 1. Отношения и операции: учеб. пособие. Томск: ТГУ, 2006. - 142 с.
3. Кондратьева О. В, Евтушенко Н.В, Кавалли А.Р. Параллельная композиция конечных автоматов с таймаутами // Вестник Томского. государственного. университета. Управление, вычислительная техника и информатика. 2014. №2 (27) С.73-81.
4. Оре О. Теория графов. - М.: Наука, 1980. - 336 с.
5. Shabaldina N., Gromov M. Using BALM-II for deriving parallel composition of timed finite state machines with outputs delays and timeouts: work-in-progress //Системная информатика. 2016. № 8. P. 33-42
6. Батрацкий С.В., Белых В.С., Твардовский А.С. Создание кроссплатформенной версии приложения «FSMTest-1.0» // Сборник научных трудов в 9 ч. - Новосибирск: Изд-во НГТУ. - 2016. - Часть 2. - С. 163-165.
7. XML [электронный ресурс] // Официальная спецификация стандарта XML 1.1. URL: https://www.w3.org/TR/xml11/ (дата обращения 20.04.2017).
8. C# [электронный ресурс] // C# manual URL: https://msdn.microsoft.com/ru- ru/library/67ef8sbd.aspx (дата обращения 21.04.2017).
9. Node.js [электронный ресурс] // Node.js manual URL: https://nodejs.org/en/about/ (дата обращения 22.04.2017).
10. Java [электронный ресурс] // Официальный сайт Oracle Corporation. URL: http://www.oracle.com/technetwork/java/index.html (дата обращения 13.10.2016).
11.SAX [электронный ресурс] // XML-программирование в технологиях Java URL: http: //khpi-iip. mipk. kharkiv.edu/library/extent/pro g/iipXML/xmlj ava. html
(дата обращения 6.12.2016).
12. JDOM [электронный ресурс] // Упрощение XML-программирования при помощи JDOM URL: http://www.ibm.com/developerworks/ru/library/j-jdom/ (дата обращения 7.12.2016).
13. Белых В.С, Шабалдина Н.В. Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде // Международная конференция «Новые информационные технологии в исследовании сложных структур» ТГУ, 2016 С.44 -45.
14. Батрацкий С.В. Белых В.С К программной реализации пакета прикладных программ «FSMTest-2.0». // Всероссийская конференция «Студенческий научно-исследовательский инкубатор» ТГУ, 2017. (в печати).