Теоретические основы выбора множества отладочных тестов проектов цифровых систем на основе алфавита выполняемых функций

摘要

Рассматриваются цифровые системы управления объектами, функционирование которых может быть представлено как последовательность выполнения функций из конечного алфавита. Последовательности выполняемых функций представлены как их произведения, показано, что они образуют частичную полугруппу. При отладке проектов цифровых систем методом моделирования для проверки правильности проекта используются отладочные тесты проектов, которые должны наиболее полно проверить правильность выполнения всех функций проектируемой системой. Рассмотрены методы составления и модификации разработчиком перечня выполняемых функций наиболее удобным для проверки образом. Кроме того, рассматривается разбиение каждой функции цифровой системы на подфункции в целях проверки правильности функционирования различных режимов аппаратного обеспечения и ветвей программ. Формализованно описывается последовательность действий разработчика при формировании множества отладочных тестов цифровых систем.