Оптимизация тестов контроля конечных цифровых автоматов

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

цифровой автомат, тест контроля цифрового автомата, энтропия распределения вероятностей, принцип максимума энтропии, случайная последовательность, методы оптимизации