Узгодження тестових процесів

Анотація

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