论文部分内容阅读
所有基于Plan的自动程序理解工具都采用把源码段跟标准Plan库中标准Plan相比较的方法来得到源码语义信息,从而达到程序理解的目标。通过分析、提取Plan中的特征符号,以特征符号作为Plan检索索引项,建立带特征信息Plan库,以达到快速匹配的目标,从而降低自下而上自动程序理解中因需要穷尽式搜索而带来的搜索强度。