This program performs a check of working capacity of the controllers of the method signature analysis. Each controller is described as a binary tree. The nodes of the tree are written signature. The validation of the controller signatures are compared and if the match, the controller is working properly, if not the fault is in this node.