FIELD: information technologies.
SUBSTANCE: invention is related to facilities of training and research automation and may be used in interactive systems of research and development works automation in process of software (SW) verification in distributed computer complexes (DCC). Suggested method and device for its realisation provide complete manageability and observability of the main processes of SW initial code verification. At the same time processes of SW initial code input and processing are combined along dependent or independent interface channels, on the basis of application of sensor or mechanical manipulators of computer operator workplace, user interfaces of local or global network. Sections or points of SW initial code vulnerability are defined on the basis of SW initial code transformation into internal representation, which is stored in the form of databases and knowledge bases, and sections or points of SW initial code vulnerability are defined on the basis of automatic making and solving of according equation systems.
EFFECT: expansion of functional resources of DCC SW verification processes.
9 cl, 39 dwg, 26 tbl
