Bogdan I. Methods and verification model tools of object-oriented programs

The Object is the verification of object-oriented software models. The goal is a creation of methods and tools of verification models of object-oriented programs to reduce the number of errors that occur in the software development process.Techniques: an abstract logic, graph theory, object-oriented analysis, graphical notation universal modeling language UML. Novelty: for the first time the method of а classification of UML-diagram errors is suggested, allowing its use in developing methods for data validation diagrams; took the further development of the method of verification antypaterniv class diagram by introducing new conditions that made it possible to find errors in the descriptions of abstract classes and errors in the descriptions of nested classes in this diagram; improved Bron-Kerbosh algorithm searchable click on graphs by introducing new restrictions, making it possible to use it when searching antypaterniv class diagrams; first proposed methods of verification UML-diagrams, sequence diagrams verification method that is based on the representation of the diagrams in the form of abstract digital machines, and, unlike the existing ones, lets you find errors ramifications on this chart; Verification method sequence diagrams, which is based on the analysis of related entity-relationship, and, unlike the existing ones, lets you find errors send synchronous error messages and send messages to non-existent objects on this diagram; Chart Component verification method that is based on the analysis of related entity-relationship, and, unlike the existing ones, allows you to find communication errors between the components in this diagram. The sphere of using is information technology.