Тестирование многовыходных комбинационных схем в условиях известных реакций на тестовые наборы | Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 69. DOI: 10.17223/19988605/69/14

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

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

Скачать электронную версию публикации

Загружен, раз: 4

Ключевые слова

комбинационные схемы, тестовые наборы, ROBDD-графы

Авторы

ФИО	Организация	Дополнительно	E-mail
Матросова Анжела Юрьевна	Томский государственный университет	профессор, доктор технических наук, профессор кафедры компьютерной безопасности Института прикладной математики и компьютерных наук	mau11@yandex.ru
Савенкова Марина Максимовна	Томский государственный университет	магистрант кафедры компьютерной безопасности Института прикладной математики и компьютерных наук	marina1412_11@mail.ru
Провкин Виктор Алексеевич	Томский государственный университет	старший преподаватель кафедры компьютерной безопасности Института прикладной математики и компьютерных наук	prowkan@mail.ru
Сухорученко Ксения Алексеевна	Томский государственный университет	магистрант кафедры компьютерной безопасности Института прикладной математики и компьютерных наук	ksenia_s.a@bk.ru

Всего: 4

Ссылки

Провкин В.А., Матросова А.Ю. Графовые представления множеств всех достижимых реакций комбинационной схемы // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2022. № 61. С. 128-138.

Провкин В.А. Построение множества всех достижимых реакций комбинационных схем // Математическое и программное обеспечение информационных, технических и экономических систем: материалы IX Междунар. науч. конф., Томск, 2628 мая 2022 г. Томск: Изд-во Том. ун-та, 2022. С. 99-108.

Bryant R.E. Graph-Based Algorithms for Boolean Function Manipulation // IEEE Transactions on Computers. 1986. V. C-35, is. 8. P. 677-691.

ISCAS'89 Benchmarks // Digital Design & Dependability Research Group. URL: https://ddd.fit.cvut.cz/www/prj/Benchmarks (accessed: 25.05.2024).

Simple Blifparser. URL: https://github.com/mario33881/blifparser (Дата обращения 25.05.2024).

DD package // Github.com. URL: https://github.com/tulip-control/dd (accessed: 25.05.2024).

The CUDD package, BDD, ADD Tutorial and examples // David Kebo Houngninou. URL: https://www.davidkebo.com/cudd#cudd1 (accessed: 25.05.2024).

SIS // Matteo Iervasi: embedded systems engineer. URL: https://jackhack96.github.io/logic-synthesis/sis.html#overview (accessed: 25.05.2024).