СПОСОБ ГЕНЕРАЦИИ БАЗ ДАННЫХ ДЛЯ СИСТЕМ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ И УСТРОЙСТВО ДЛЯ ЕГО РЕАЛИЗАЦИИ

摘要

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 databases, 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 diagnostics of process of verification of a S/W source code is carried out on the basis of measurement of duration of performance of the main stages (cycles) of search of vulnerability and comparison of the received knowledge to earlier ordered or predicted estimations of a metric of criticality of vulnerability of a S/W source code. ^ EFFECT: expansion of functionality of processes of S/W verification. ^ 10 cl, 39 dwg