ЕР 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 А1, 13.03.2002. FR 2559599 А1, 16.08.1985.
Имя заявителя:
Пучков Фёдор Михайлович (RU), Шапченко Кирилл Александрович (RU)
Изобретатели:
Пучков Фёдор Михайлович (RU) Шапченко Кирилл Александрович (RU)
Патентообладатели:
Пучков Фёдор Михайлович (RU) Шапченко Кирилл Александрович (RU)
Реферат
Изобретение относится к средствам автоматизации обучения и научных исследований и может быть использовано в интерактивных системах автоматизации научно-исследовательских работ в процессе верификации программного обеспечения (ПО) распределенных вычислительных комплексов (РВК). Технический результат заключается в расширении функциональных возможностей процессов верификации ПО РВК. Предлагаемый способ и система для его реализации обеспечивают полную управляемость и наблюдаемость основных процессов проверки исходного кода ПО. При этом на каждом уровне РВК обеспечено совмещение процессов ввода и обработки исходного кода ПО по зависимым или независимым интерфейсным каналам, на основе использования сенсорных или механических манипуляторов рабочего места оператора ЭВМ, сетевых интерфейсов локальной или глобальной сети. Участки или точки уязвимости исходного кода ПО определяют на основе преобразования исходного кода ПО во внутреннее представление, которое хранят в виде баз данных и баз знаний, а точки или участки уязвимости исходного кода ПО определяют на основе автоматического составления и решения соответствующих систем уравнений. 2 н. и 7 з.п. ф-лы, 40 ил., 26 табл.
Поиск патентов
Получить полное описание патента