Aerospace Instrument-Making Annotation << Back Hardware algorithmic and special hardware maintenance of complexes of management based on the graph theory A.V. Vorobyev Now methods of coverings of tops or directed graph arches tests in uniform connected graph are offered for increase of presen-tation and quality algorithmic and the software onboard digital computers. Then for calculation of estimations of refusals prob-abilities in the software, submitted by the arches marked by values of probabilities in the refusals, are used the markovian proc-esses which have been written down as the differential equations of Kolmogorov.