大型复杂软件带约束逻辑属性的软件网络表示、存储与检索方法

摘要

本发明公开了一种大型复杂软件带约束逻辑属性的软件网络的表示、存储与检索方法。首先通过静态分析得到开源面向对象软件的关于包、类、方法、语句、变量、视频、音频、图片及其关系的相关信息。然后结合约束逻辑理论将语句信息转换为约束逻辑属性，结合复杂网络理论根据提取的信息建立关于目标软件的软件网络模型。以软件网络模型节点的绝对路径为键、边为值存储在Redis集群中。根据待分析的关键字和可达性分许算法在Redis集群中检索出与待分析关键字相关的信息。最后可以使用可视化工具刻画出目标软件的全局结构行为信息和关于待分析关键字的局部信息。