Тестирование многовыходных комбинационных схем в условиях известных реакций на тестовые наборы

doi:10.17223/19988605/69/14

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Тестирование многовыходных комбинационных схем в условиях известных реакций на тестовые наборы	758 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/19988605/69/14

#комбинационные схемы

#тестовые наборы

#ROBDD-графы

Title: Тестирование многовыходных комбинационных схем в условиях известных реакций на тестовые наборы
Creator: Матросова, Анжела Юрьевна
|
Савенкова, Марина Максимовна
|
Провкин, Виктор Алексеевич
|
Сухорученко, Ксения Алексеевна
Date: 2024
DOI: 10.17223/19988605/69/14
Description: При построении тестовых последовательностей для многовыходных логических схем обычно используются тестовые наборы на множестве входных переменных схемы, такие что реакции на каждый из наборов отличаются в исправном и неисправном состоянии схемы хотя бы на одном из ее выходов. Знание реакций на каждый из наборов может оказаться полезным при построении тестовых последовательностей с целью включения подходящих наборов, ориентированных как на снижение потребляемой при тестировании мощности, так и на обнаружение неисправностей. Предлагается точный алгоритм поиска всех тестовых наборов с соответствующими им реакциями исправной и неисправной схем. Алгоритм основан на выполнении операций над ROBDD-графами, зависящими только от входных переменных, только от выходных переменных и от тех и других переменных вместе. Обсуждаются возможности применения тестовых наборов совместно с их реакциями с целью дебаггинга.