Dorensky O. Information technology of the test models' behaviors synthesis of ACS software objects on the stage of object-oriented design

The dissertation is devoted to the development of the information technology of the test models' behaviors synthesis of software objects' automated control systems (ACS). The purpose is to increase the completeness of testing object-oriented ACS software at the logical level and to improve the technological schemes of object-oriented ACS software design. The scientific results are as follows: the improvement of the method for the synthesis of states' models that, unlike the already existing ones, provides the initial project information presentation given by sequences of "event-action" class as an alphabetic display based on the regular events algebra, and the synthesis of finite-automaton state model using the adapted method of the abstract synthesis of finite automaton for displays that are induced by it; the development of the method for the ACS software object test model states synthesis that provides testing individual behavior of ACS software objects at the design stage; the development of the method for synthesis of test models' interaction of ACS software objects to perform semantic checking of project decisions on collective behavior of automated control systems software objects to the stage of program implementation.