The Analysis of Existing Methods of Software Verification

The article deals with the study and classification of software verification methods (software). A review of existing static verification methods was carried out, the characteristics of the methods were investigated, and a study was performed on the detection of dependencies within the framework of the abstract interpretation method. The article also includes an overview of the classification and dynamic software verification methods. The proposed classification is made on a number of basic criteria, such as: a kind of fashion, the degree of automation, the scope of functionality, accuracy, types of detected errors, efficiency, region matching method, time verification and software validation algorithm. A review of the types of testing and logical inference was made and the main features of the verification methods were considered. Presented and ranked by the level of criticality of a number of shortcomings of existing methods of program verification.