СПОСОБ ГЕНЕРАЦИИ БАЗ ДАННЫХ И БАЗ ЗНАНИЙ ДЛЯ СИСТЕМ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ И УСТРОЙСТВО ДЛЯ ЕГО РЕАЛИЗАЦИИ
ЕР 1420562 А1, 19.05.2004. JP 2004302584 A, 28.10.2004. GB 2283341 А1, 03.05.1995. DE 10247914 А1, 22.04.2004. GB 2366640 A1, 13.03.2002. FR 2559599 A1, 16.08.1985.
Имя заявителя:
Пучков Фёдор Михайлович (RU), Шапченко Кирилл Александрович (RU)
Изобретатели:
Пучков Фёдор Михайлович (RU) Шапченко Кирилл Александрович (RU)
Патентообладатели:
Пучков Фёдор Михайлович (RU) Шапченко Кирилл Александрович (RU)
Реферат
Изобретение относится к средствам автоматизации обучения и научных исследований и может быть использовано в интерактивных системах автоматизации научно-исследовательских работ в процессе верификации программного обеспечения (ПО) распределенных вычислительных комплексов (РВК). Технический результат заключается в расширении функциональных возможностей процессов верификации ПО РВК. Предлагаемый способ и устройство для его реализации обеспечивают полную управляемость и наблюдаемость основных процессов проверки исходного кода ПО. При этом обеспечено совмещение процессов ввода и обработки исходного кода ПО по зависимым или независимым интерфейсным каналам, на основе использования сенсорных или механических манипуляторов рабочего места оператора ЭВМ, сетевых интерфейсов локальной или глобальной сети. Участки или точки уязвимости исходного кода ПО определяют на основе преобразования исходного кода ПО во внутреннее представление, которое хранят в виде баз данных и баз знаний, а точки или участки уязвимости исходного кода ПО определяют на основе автоматического составления и решения соответствующих систем уравнений. 2 н. и 6 з.п. ф-лы, 39 ил., 26 табл.
Поиск патентов
Получить полное описание патента