ALGORITHMIZATION OF THE SOFTWARE TESTING SYSTEM BASED ON FINITE AUTOMATA.

Software testing is one of the key stages in the development of a digital device based on a microcontroller. The article discusses the features of the implementation of algorithms for the functioning of the microcontroller software testing system based on finite automata. An enlarged block diagram of a testing system at the software and hardware levels is presented, a model of such a system using the theory of finite automata is presented. A detailed finite automaton for the testing process model has been formed, its states have been determined and algorithms for operation are given. [ABSTRACT FROM AUTHOR]