Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Выбор набора тестов функций цифровых систем для контроля правильности проектов
Авторы
	Иванников А.Д.
Год публикации
	2020
DOI
	10.31114/2078-7707-2020-1-20-25
УДК
	681.3.02
Аннотация
	При проектировании цифровых систем для проверки правильности проекта осуществляется составление некоторого набора тестовых примеров, которые подаются на компьютерную модель проекта цифровой системы, при этом осуществляется моделирование работы цифровой системы, задаваемое поданным входным воздействием, результаты моделирования проверяются разработчиком. В работе описана модель цифровых систем, используемая в этом процессе, на основе теории множеств, теории стационарных динамических систем и теории отношений эквивалентности анализируется пространство допустимых входных воздействий исходя из выполняемых цифровой системой функций. Анализируются цифровые системы, осуществляющие при своем функционировании выполнение последовательности функций из конечного алфавита. Предлагается алгоритм выбора тестовых примеров для проверки правильности (отладки) проектов цифровых систем при выполнении последними каждой из заданных функций. Алгоритм основан на выделении разработчиком классов эквивалентности в множестве входных воздействий, вызывающих выполнение цифровой системой конкретной функции из заданного алфавита.
Ключевые слова
	автоматизация проектирования, цифровые системы, проверка правильности проекта, функционально-логическое моделирование, отладочные тесты
Ссылка на статью
	Иванников А.Д. Выбор набора тестов функций цифровых систем для контроля правильности проектов // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2020. Выпуск 1. С. 20-25. doi:10.31114/2078-7707-2020-1-20-25
Адрес статьи
	http://www.mes-conference.ru/data/year2020/pdf/D043.pdf