Сборники тезисов • Информационные и интеллектуальные системы и технологии • Технологии программирования, искусственный интеллект, биоинформатика
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2018.
Пример заполнения выходных данных:
Винокуров Д.В., Чивилихин Д.С. Разработка метода генерации временных автоматов на основе сведения к задаче удовлетворения ограничений // Сборник тезисов докладов конгресса молодых ученых. Электронное издание [Электронный ресурс]. - Режим доступа: ссылка на страницу с тезисом, своб.
Разработка метода генерации временных автоматов на основе сведения к задаче удовлетворения ограничений
УДК: 004.4'242
Аннотация:
В задачах анализа, верификации и тестирования программных систем требуются точные модели, описывающие их поведение. В таких системах, где кроме порядка выполнения операций важны также их временные отметки, при построении моделей поведения используются временные автоматы. Для их синтеза обычно используются эвристические методы, но такие решения не гарантируют минимальность построенного автомата. В данной работе предлагается другой метод генерации автоматов – с помощью сведения к задаче удовлетворения ограничений (CSP). За счет применения точных алгоритмов решения СSP, предлагаемый метод позволяет генерировать модели с минимальным числом состояний.