Синтез тестов для сетей клеточных автоматов на основе характеристических последовательностей

Abstract

Пропонується метод та алгоритм синтезу тестів для мереж клітинних автоматів, побудований на використанні характеристичних та синхронізуючих послідовностей автоматних моделей клітин мережі. Отримана верхня межа довжини перевіряючих тестів, які виявляють множину несправності в класу.

The method and algorithm deriving antest sequences for the cellular automata arrays are proposed. The method is based on using synchronizing and characteristic sequences deriving from state table of cellular automata. The greatest lower bound of the test sequences that detect all functional fault of cellular automata arrays is found.