Automated control systems of oil extraction and treatment processes development and testing based on timed finite state machines

Approach to automated control system algorithms development and deriving conformance test suites for program 
implementations is proposed. Finite state machines using advantages as algorithm language are revealed. JSC “TomskNIPIneft” experience and developments of finite state machines using for automated control system of oil extraction and treatment project engineering are referred. Necessity of software testing with the guaranteed fault 
coverage is presented.
Materials and methods
Automata theory, discrete mathematics, graph theory.
Results
Software «FSM» for development of control algorithms based on automata theory is implemented. Software «FSM» using makes it possible to reduce time for algorithms development, test and optimization in the mathematical support engineering stage. Automata models using for development of program implementation conformance testing is introduced. This methodology makes it possible to test software with the guaranteed fault coverage.
Сonclusions
This article is proposed the approach to timed finite state machines using for development of automated control system algorithms and deriving conformance test suites with the guaranteed fault coverage for program implementations. Necessity of software testing with the guaranteed fault coverage is cited as an example. Automata theory using makes it possible to reduce time for algorithms development, test and optimization in the mathematical support engineering stage. Science-based software testing methodology makes it possible to enhance quality and competitiveness of project documentation as well as makes it possible to reduce time for software testing during starting-up and adjustment procedures.