Цель исследования. Основная идея заключается в построении математической модели тестирования, которая объединяет различные аспекты встраиваемой реконфигурируемой вычислительной системы и ее взаимодействий. Эта модель обеспечивает эффективное представление тестовых сценариев и позволяет анализировать динамику реконфигурируемой вычислительной системы во время тестирования. В статье также обсуждаются методы формирования тестовых последовательностей, исходя из свойств конечного автомата.Методы. Авторы предлагают представить автотест в виде конечного автомата Мили, где состояния служат для хранения информации о текущем состоянии встраиваемой реконфигурируемой вычислительной системы. Входным сигналом является взаимодействие с системой, а выходным сигналом – реакция системы на входной сигнал. Такой подход позволяет формализовать процесс тестирования и упростить анализ возможных проблем.Результаты. В данной статье рассматривается применение теории автоматов в контексте автоматизированного тестирования встраиваемых реконфигурируемых вычислительных систем. Теория автоматов предоставляет эффективные методы и инструменты для анализа и моделирования дискретных динамических систем, что делает ее подходящей для решения задач автоматизированного тестирования.Заключение. Результаты исследования показывают, что использование теории автоматов может существенно улучшить качество и эффективность автоматизированного тестирования встраиваемых реконфигурируемых вычислительных систем. Этот подход обеспечивает более глубокий анализ системы и позволяет обнаружить и предотвратить потенциальные проблемы, которые могут возникнуть в процессе ее работы.