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

Аннотация

Рассматриваются управляющие цифровые системы, функционирование которых может быть представлено в виде выполнения последовательности функций из конечного алфавита. Для отладки проектов таких систем методом моделирования необходимо формирование некоторого набора тестовых воздействий на моделируемую систему для проверки правильности ее функционирования. Данная работа посвящена формированию тестовых наборов для проверки правильности выполнения последовательности функций. Показано, что на множестве допустимых последовательностей функций определена частичная полугруппа. Множество слов в конечном алфавите функций может быть задано некоторой праволинейной грамматикой. Допустимые последовательности формализуются путем введения графа функций, задающего возможные для выполнения функции для различных состояний цифровой системы. Если допустимость последовательного выполнения двух функций зависит от выполненных ранее функций и состояния цифровой системы, то некоторые функции должны быть разделены на подфункции. Рассматривается методика этого процесса. Предлагается метод составления множества функций цифровой системы, при котором возможно представление допустимых последовательностей функций в виде графа. Сформированный граф функций совместно с множествами входных взаимодействий для каждой функции цифровой системы задают спецификацию внешнего поведения цифровой системы. Предлагаемый метод проиллюстрирован на примере формирования множества функций цифровой системы управления чертежным автоматом. Предлагается метод формирования набора тестов на основе графа функций.