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

Анотація

Автором на основі теоретичного узагальнення і робіт у галузі тестового діагностування, а саме функціонального підходу і використання автоматних моделей осередків мережі, подано метод синтезу перевіряючих тестів однорідної мережі з виходами, що спостерігаються, у яких автоматні моделі осередків мають відмітні послідовності і є сильнозв’язними автоматами. Властивість сильнозв’язності автоматної моделі осередку мережі спрощує процедуру знаходження множини тестів, які перевіряють правильність переходу у всіх осередках одновимірної мережі.

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

Розроблено алгоритм процесу генерації тестових послідовностей для однорідної мережі з виходами, що спостерігаються, осередок якої вписується таблицею переходів-виходів сильнозв’язного автомата, що має відмінну послідовність. Застосування циклічних відмітних послідовностей, отриманих відповідно до розробленого алгоритму, до однорідної мережі розглянутого класу дозволяє перевірити відповідність таблиці істинності кожного осередку мережі таблиці істинності справного осередку.

Розглянуто схему багаторозрядного паралельного суматора з послідовним переносом, яка подана однорідною мережею з виходами, що спостерігаються, у якій кожен осередок виконує функцію повного однорозрядного суматора. Відповідно до алгоритму для кожного переходу знайдена циклічна відмітна послідовність і побудовано вісім тестів, що перевіряють схему суматора будь-якої розмірності. Тестові набори дозволяють виявити будь-яку несправність, що приводить до спотворення автоматної діаграми осередку, при обмеженні, що в момент перевірки допускається несправною тільки одна комірка мережі.