RUS  ENG
Полная версия
ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив

Модел. и анализ информ. систем, 2014, том 21, номер 6, страницы 44–56 (Mi mais411)

Подход к автоматизации отладки поведенческих сценариев

П. Д. Дробинцевa, В. П. Котляровa, И. В. Никифоровa, А. А. Летичевскийb, В. С. Песчаненкоc

a Санкт-Петербургский государственный политехнический университет, 195251, Россия, г. Санкт-Петербург, ул. Политехническая, 29
b Институт кибернетики им. В. М. Глушкова НАН Украины, 03680 МСП, Украина, г. Киев, просп. Академика Глушкова, 40
c Херсонский государственный университет, 73000 Украина, г. Херсон, ул. 40 лет Октября, 27

Аннотация: В работе представлены два метода, направленных на решение задачи автоматизации отладки поведенческих сценариев приложения: полуавтоматический и автоматический. Первый дает возможность пользователю автоматизировать поиск тех мест в выбранном символьном поведенческом сценарии, в которых кроется возможная причина ошибки. Второй позволяет в едином цикле анализа автоматически идентифицировать не только места, но и возможные причины ошибок в заданном множестве сгенерированных символьных поведенческих сценариев.

Ключевые слова: поведенческая модель, символьная трасса, символьный сценарий, гид, причина ошибки, полуавтоматический анализ, автоматический анализ причин ошибок.

УДК: 004.415

Поступила в редакцию: 30.09.2014



© МИАН, 2025