Authors explore issue of applicability of the methodology of building diagnostic software using network formal models in the functional testing of electronic equipment as part of complex technical systems. Using methods of system analysis allows to perform a decomposition of interdependent subsystems and to reveal basic acts of interaction between the control‑verification equipment and the object of diagnosis. Mathematical apparatus of Petri nets should be employed for the formalized description of such acts and determined the cause‑and‑effect relations in the diagnosed complex system`s processes. Network models properties studying (such as safety and accomplishment of the final positions) allows us to move to the test object`s algorithm`s developing. The article presents an approach of a formalized description for basic acts of interaction between the diagnosis system and the object.
Service functional testing automation with intelligent scheduling and planning
