Представленный материал является образцом учебного исследования, примером структуры и содержания учебного исследования по заявленной теме. Размещён исключительно в информационных и ознакомительных целях.
Workspay.ru оказывает информационные услуги по сбору, обработке и структурированию материалов в соответствии с требованиями заказчика.
Размещение материала не означает публикацию произведения впервые и не предполагает передачу исключительных авторских прав третьим лицам.
Материал не предназначен для дословной сдачи в образовательные организации и требует самостоятельной переработки с соблюдением законодательства Российской Федерации об авторском праве и принципов академической добросовестности.
Авторские права на исходные материалы принадлежат их законным правообладателям. В случае возникновения вопросов, связанных с размещённым материалом, просим направить обращение через форму обратной связи.
ℹ️Настоящий учебно-методический информационный материал размещён в ознакомительных и исследовательских целях и представляет собой пример учебного исследования. Не является готовым научным трудом и требует самостоятельной переработки.
Реферат 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
📖 Аннотация
В работе рассматривается разработка XML-представления оболочки для модернизации пакета прикладных программ «FSMTest-1.0», предназначенного для генерации автоматов и построения для них тестов с гарантированной полнотой. Актуальность исследования обусловлена наличием в исходном пакете существенных архитектурных ограничений, таких как привязка к операционной системе Windows, отсутствие возможности гибкого расширения интерфейса без перекомпиляции и недостаток средств визуализации автоматов. Методологической основой послужил анализ языка разметки XML и классификация компонентов пользовательского интерфейса, что позволило создать независимое от ядра описание структуры меню пакета на XML. В результате была разработана и интегрирована в новый пакет «FSMTest-2.0» система описания оболочки, а также реализован модуль визуализации автоматов с использованием утилиты GraphViz для преобразования формата .fsm в .gv и последующего отображения графов переходов. Практическая значимость работы заключается в том, что её результаты, продолжающие разработки, описанные Батрацким С.В. и Белых В.С. (2016, 2017), непосредственно использованы при создании кроссплатформенной версии пакета, что упрощает его дальнейшее развитие и применение в учебном и исследовательском процессе на кафедре информационных технологий Томского государственного университета для анализа дискретных структур.
📖 Введение
На кафедре информационных технологий в исследовании дискретных структур Томского государственного университета группой авторов был разработан пакет прикладных программ «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».