TEST CONTROL PROCESSES OF FINITE STATE MACHINES
Authors: Петрухнова Г.В. , Усачев М.Г. , Попова Е.В. 
Published: December 2023

объектом исследования являются особенности автоматизации процессов тестового контроля работы конечных автоматов. Конечный автомат используется в качестве модели цифрового устройства или программного модуля. Операция тестового контроля – это информационная операция, при которой на одни контакты конечного автомата подаётся совокупность входных сигналов, а с других контактов снимаются реакции на эти сигналы.Тест контроля представлен бинарной матрицей и формируется генератором псевдослучайных чисел. При этом используется технология тестирования взвешенными псевдослучайными наборами. Вес входа – это частота подачи единичного логического сигнала на вход конечного автомата. Тестовый контроль конечного автомата осуществляется на основе заданного весового вектора. Разработанный программный продукт позволяет определить вес входа путем решения задачи оптимизации распределения вероятностей входных сигналов на основе обобщенного энтропийного критерия. Программный продукт позволяет управлять объектами тестирования, задавать вес для каждого входа конечного автомата, выбирать критерий оптимизации весового вектора из числа заданных, указывать параметры процесса оптимизации, проводить тестовый контроль конечных автоматов на основе заданного весового вектора, сохранять информацию об объекте тестирования, сохранять информацию о ходе тестового контроля и оптимизации, просматривать результаты тестового контроля и хода оптимизации. Представлен интерфейс программного продукта. Программный продукт может быть использован для исследования процессов оптимизации тестов и тестового контроля различных автоматных моделей
the object of research is the automation features of test control processes of finite state machines. A finite state machine is used as a model of a digital device or a software module. Test control operation is testing information operation [1], in which a set of in-circuit control input signals is being fed into inputs of finite state machines while оutput responses to these signals are being taken from other contacts. The control test is presented in the form of a binary matrix and is generated by a pseudo-random number generator. In this case, technology of weighted pseudo-random testing is used. Input weight is the frequency of supplying a single logical signal to the input of the finite state machines. Test control of the finite state machine is carried out on the basis of a given weight vector. The developed software product allows you to determine the input weight input by solving the problem of optimizing the probability distribution of input signals based on a generalized entropy criterion. The software product allows you to manage test objects, to set the weight for each input of the state machine, to select optimization criteria for the vector of weights from the specified set, to set parameters for the optimization process, to conduct test control of the finite state machines, to save information about the test object based on the set vector of weights, to save information about the testing management and the optimization process; to view test results and optimization process. The software product interface is presented. The software product can be used to research the processes of test optimization and test control of variousautomaton models