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

摘要

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

主权项

一种大型复杂软件带约束逻辑属性软件网络的表示、存储与检索方法，其特征在于，包括对软件源代码执行以下步骤：a)首先结合语言识别工具ANTLR，并以目标源码对应的g4文法生成对应的包括词法分析器类、语法分析器类、监听器接口和监听器类在内的工具类，然后继承MBaseListener类自定义其中的监听器类，重写与包、类、方法、语句、变量、视频、音频、图片及这些元素之间关系的相关方法，以用于提取软件源码中相应的关键信息，并将语句信息翻译为约束逻辑表达式，结合复杂网络理论构建带有约束逻辑属性的软件网络模型；然后以各关键词的相对路径为节点名，实线箭头连接有属性包含关系的节点，虚线箭头连接有引用关系的节点，使用Graphviz工具输出可视化的关于目标开源软件的全局视图；b)将步骤a中得到的软件网络模型存储到Redis数据库中。c)给定待分析的关键字，结合可达性分析算法在Redis数据库中检索得到用例相关的局部视图和约束逻辑事实库。