Software diagnosis (survey)

Main lines of software diagnosis are described such as proof of correctness, program test diagnosis (testing), and methods for development of fault tolerant programs. The most effective way to improve software reliability are standardization and comprehensiveness of the program product technique where the most important features are various diagnosis methods starting with, syntactical analysis and test of the work statement written is a special purpose programming language and ending with testing and use of checking sums in multiplication of software with testing having a noticeable role to play at the program operation stage too. The kinship of basic principles and methods for diagnosis of discrete devices (comuter hardware) and programs is noted. Most urgent unresolved programs are listed.