FIELD: physics; computer facilities.
SUBSTANCE: invention concerns resources of automation of training and scientific researches and can be used in interactive systems in the course of software verification (S/W) of the distributed computer complexes. In the given way and the device complete controllability and observability of the main processes of check of a S/W source code is provided, processes of input and processing of a S/W source code on dependent or independent interface channels are combined. Sites or points of vulnerability of a S/W source code are determined on the basis of conversion of a S/W source code in an internal form which is stored in sort of knowledgebases, and points or vulnerability sites of a S/W source code are determined on the basis of automatic compilation and solution of appropriate set of equationses. Thus in the course of verification syntactic highlighting of sites of vulnerability of a S/W source code on the screen is carried out, using the graph of operators of S/W source code in an internal form of instructions of the programming language.
EFFECT: expansion of functionality of S/W verification processes.
9 cl, 39 dwg
