After integration of new functionality into already existing system careful testing of all system that demands the big expenses is necessary. In operation the solution technique of this problem grounded on widely known verification approach - check on models (model checking) and on the theory of partial specifications (partial specifications) is offered.