Skip to content

Исполнение и отладка

Jump to bottom
IgorFilimonov edited this page Oct 12, 2024 · 4 revisions

Ввод входных данных

Перед началом исполнения задайте начальное содержимое памяти автомата, используя поле(я) ввода на панели отладки внизу экрана

Input field

Мгновенное исполнение

Чтобы получить результат работы автомата на данном вводе без отладочной информации, нажмите на кнопку "Запуск".

Отладка

Для начала отладки нажмите на любую из кнопок произведения шага отладки, после этого:

  • Кнопка "Запуск" заменится на кнопку завершения отладки "Остановить"
  • В нижней части экрана будут показаны текущие состояния исполнения
  • В правой части экрана появиться интерактивное дерево исполнения

Debug

Во время отладки Вы можете:

  • Одновременно производить один шаг исполнения для всех состояний с помощью следующих кнопок:

    • "Шаг по состоянию" -- производит переходы непосредственно из активных состояний
    • "Шаг по замыканию" -- для каждого активного состояния сначала находит эпислон-замыкание1, а потом производит неэпсилон-переходы из состояний замыкания
    • "Шаг через" -- производит переходы непосредственно из активных состояний; если активное состояние -- это строительный блок, то производится попытка исполнения этого строительного блока до конца
    • "Шаг внутрь" -- производит переходы непосредственно из активных состояний; если активное состояние -- это строительный блок, то начинается его пошаговое исполнение

  • Производить шаг исполнения для произвольного состояния, нажимая на это состояния в расположенном справа дереве исполнения

  • Просматривать и редактировать содержимое памяти автомата для интересующего Вас состояния во всплывающей подсказке, появляющейся при наведении курсора на это состояние либо в графе вычислителя (слева), либо в дереве исполнения (справа)

  • Замораживать2 и размораживать состояния в той же всплывающей подсказке с помощью флажка "Заморожено"

  • Сворачивать произвольное поддерево исполнения, кликая по корню этого поддерева

Запуск через тестовую панель

Тестовая панель позволяет запускать вычислитель сразу на нескольких входных данных. Для ее использования в меню "Тесты" выберите пункт "Создать набор тестов". Для добавления, удаления, сохранения, открытия или запуска вычислителя на тестах нажмите на соответствующую кнопку. Чтобы выбрать тесты для удаления, расставьте галочки в соответствующих полях

Testing panel

1: Эпислон-замыкание -- множество состояний достижимых только по эпсилон-переходам

2: Замороженные состояния игнорируются при одновременном произведении шага исполнения для всех состояний

Clone this wiki locally