分支结构程序的约束转换及语义等价

发布时间：2023-05-03 11:37

　　通过复用已有的开源代码或内部遗留代码,可极大地提高软件开发效率、降低开发成本,而准确地搜索到所需代码是代码复用的前提和基础。当前基于"输入/输出"语义匹配的代码搜索方法解决了关键字搜索中因为语义歧义存在代码搜索准确度不高的问题,但仅仅考虑了顺序结构代码的处理。在已有工作基础上,重点关注分支结构代码的基于"输入/输出"匹配的语义搜索方法。首先给出不同分支结构的语法定义及形式化描述。其次,定义分支结构到顺序结构的语法转化规则、语义上的约束转换规则,以及转换过程的语义等价性证明。最后给出上述语法转换的实现算法。理论分析及实例表明,该方法是合理、可行的,将为代码搜索提供方法指导。

【文章页数】：6 页

【文章目录】：
1 引 言
2 基于约束规则匹配的代码搜索方法
3 分支结构的约束转换规则及语义证明
    3.1 分支结构分类及描述
    3.2 转换规则的语法定义及描述
    3.3 转换规则的语义描述及正确性证明
        3.3.1 双分支结构
        3.3.2 多分支结构
        3.3.3 嵌套分支结构
4 分支结构的约束转换规则实现算法
5 总 结



本文编号：3806717