ИСТИНА

В настоящее время актуальной является проблема создания эффективных методов анализа и проектирования программного обеспечения и программных систем различного уровня сложности. На данный момент для решения проблем прямой и обратной инженерии программных систем не существует методологий и подходов, которые в равной степени хорошо поддерживали бы процессы многоаспектного анализа программного кода и проектирования программного обеспечения. В связи с этим на данном этапе сравнение методов анализа и проектирования программ может быть проведено лишь в рамках конкретных подходов, которые позволяют решать задачи в более частной постановке, основываясь при этом на одной из парадигм программирования. В ходе реализации научно-исследовательского проекта по данной теме предполагается провести исследование методов прямой и обратной инженерии для программных систем искусственного интеллекта, в том числе, программных систем автоматического планирования, систем автоматического синтеза программ и интеллектуальных программных систем решения сложных многошаговых многовариантных задач. Целью исследования является разработка комплексного подхода к интеграции решения проблем представления знаний, организации и инженерии знаний на основе объектно-ориентированных методов.

В ходе выполнения научно-исследовательских работ по заявленному проекту проведено исследование методов прямой и обратной инженерии знаний для программных систем искусственного интеллекта, в том числе, программных систем автоматического планирования, систем автоматического синтеза программ. Проведено теоретическое исследование и анализ подходов и методов трансформации традиционного для программных систем искусственного интеллекта текстового описания предметных областей, задач и планов в объектные модели с целью последующего использования языков универсального моделирования как современных технологических инструментов программной инженерии. Разработаны методы динамической настройки DVMH-программ на кластеры с ускорителями. Совместно с Институтом системного программирования РАН выполнены исследования и работы по проблемам анализа бинарного кода, предложены новые методы решения проблем восстановления алгоритмов по набору бинарных трасс, оптимизации программ для систем динамической двоичной трансляции. Проведен анализ подходов к построению инструментальных программных средств поддержки проектирования, разработки и верификации на основе формальных спецификаций и использования формальных методов для анализа и верификации программ. В рамках развития одного из подходов верификации моделей ответственных программно-аппаратных систем для авионики и разработки соответствующих инструментов поддержки впервые в этой области удалось создать новый язык спецификации в виде библиотеки функций, классов, методов и объектов языка Python. Разработан модифицированный подход к управлению объектами, подверженными спонтанным изменениям, в котором методика управления объектами, не поддающихся формализации, распространена на случай отсутствия управляющих воздействий, введением временного интервала расширена структура базы прецедентов и структура прецедента в управлении. Разработаны алгоритмы и методы распределенной обработки данных графовой структуры большого объема.