Современные методы тестирования встроенных систем не обеспечивают точное воспроизведение выполнения программ из-за зависимости от оборудования и значительных накладных расходов. В ходе исследования проведён анализ существующих подходов, выявлены их ограничения, влияющие на точность диагностики и применимость к зависящим от ресурсов системам. Определены требования к новому методу, основанному на представлении выполнения программы в виде конечного автомата с фиксацией ключевых переходов. Такой подход обеспечивает детерминированное воспроизведение выполнения и упрощает анализ ошибок.

Лесников А.А. (науч. рук. Пинкевич В.Ю.) Анализ методов диагностики встроенных систем и разработка требований к детерминированному воспроизведению выполнения программ // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2025]. URL: https://kmu.itmo.ru/digests/article/14279