(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 202210096739.1 (22)申请日 2022.01.26 (71)申请人 天津大学 地址 300354 天津市津南区雅观路13 5号 (72)发明人 胡雪　 (74)专利代理 机构 北京劲创知识产权代理事务 所(普通合伙) 11589 专利代理师 王闯 (51)Int.Cl. G06F 11/07(2006.01) G06F 9/445(2018.01) (54)发明名称 基于程序切片的软件关联配置错误诊断方 法及装置 (57)摘要 本发明公开了一种基于程序切片的软件关 联配置错误诊断方法及装置。 该方法包括： 指定 软件的源代码中的配置类以及配置项列表， 查找 所述配置项在所述源代码中对应的配置变量； 将 配置变量的声明语句作为种子， 进行程序切片， 找到所述配置变量所影 响的程序语句； 对所述程 序语句进行插桩运行， 根据插桩运行的结果定位 错误配置项； 通过对比各配置项切片的重合度检 测各配置项之间的关联度， 生成关联配置项列 表； 通过所述关联配置项列表匹配与所述错误配 置项相关联的配置项。 可见， 本发明基于程序切 片通过找出配置项之间的关联关系， 从而诊断出 涉及该错误的多个 关联的配置项， 提出准确的建 议帮助用户有效解决问题。 权利要求书2页 说明书9页 附图3页 CN 114661503 A 2022.06.24 CN 114661503 A 1.一种基于程序切片的软件关联配置错 误诊断方法， 其特 征在于， 包括： 指定软件的源代码中的配置类以及配置项列表， 查找所述配置项在所述源代码中对应 的配置变量； 将配置变量的声明语句作为种子， 进行程序切片， 找到所述配置变量所影响的程序语 句； 对所述程序语句进行插 桩运行， 根据插 桩运行的结果定位 错误配置项； 通过对比各配置项切片的重合度检测各配置项之间的关联度， 生成关联配置项列表； 通过所述关联配置项列表匹配与所述 错误配置项相关联的配置项。 2.根据权利要求1所述的方法， 其特征在于， 所述指定软件的源代码中配置项的配置类 以及配置项列表， 查找所述配置项在所述源代码中对应的配置变量， 包括： 指定软件的源代码中的配置类以及配置项列表， 通过查找配置类定位到配置项的声明 位置， 并将所述配置项映射成所述源代码中的配置变量。 3.根据权利要求1所述的方法， 其特征在于， 所述将配置变量的声明语句作为种子， 进 行程序切片， 找到所述配置变量所影响的程序语句， 包括： 基于wala切片工具从配置变量的声明语句的位置开始进行前向切片， 找到所述配置变 量所影响的谓词语句。 4.根据权利要求3所述的方法， 其特征在于， 所述对所述程序语句进行插桩运行， 根据 插桩运行的结果定位 错误配置项， 包括： 对所述谓词语句进行插桩运行， 记录所述谓词语句的执行情况， 根据所述谓词语句正 确运行和错 误运行之间统计数据定位 错误配置项。 5.一种基于程序切片的软件关联配置错 误诊断装置， 其特 征在于， 包括： 配置变量定位单元， 用于指定软件的源代码中的配置类以及配置项列表， 查找所述配 置项在所述源代码中对应的配置变量； 程序切片单元， 用于将配置变量的声明语句作为种子， 进行程序切片， 找到所述配置变 量所影响的程序语句； 错误配置项定位单元， 用于对所述程序语句进行插桩运行， 根据插桩运行的结果定位 错误配置项； 关联配置项列表生成单元， 用于通过对比各配置项切片的重合度检测各配置项之间的 关联度， 生成关联配置项列表； 配置项匹配单元， 用于通过所述关联配置项列表匹配与 所述错误配置项相关联的配置 项。 6.根据权利要求5所述的装置， 其特征在于， 所述配置变量定位单元进一步用于指定软 件的源代码 中的配置类以及配置项列表， 通过查找配置类定位到配置项的声明位置， 并将 所述配置项映射成所述源代码中的配置变量。 7.根据权利要求5所述的装置， 其特征在于， 所述程序切片单元进一步基于wala切片工 具从配置变量的声明语句的位置开始进行前向切片， 找到所述配置变量所影响的谓词语 句。 8.根据权利要求7所述的装置， 其特征在于， 所述错误配置项定位单元进一步用于对所 述谓词语句进行插桩运行， 记录所述谓词语句的执行情况， 根据所述谓词语句正确 运行和权　利　要　求　书 1/2 页 2 CN 114661503 A 2错误运行之间统计数据定位 错误配置项。 9.一种电子设备， 其特 征在于， 该电子设备包括： 处理器； 以及被安排成存储计算机可执行指令的存储器， 所述可执行指令在被执行时 使所述处理器执行根据权利要求 1‑4中任一项 所述的基于程序切片的软件关联配置错误诊 断方法。 10.一种计算机可读存储介质， 其特征在于， 所述计算机可读存储介质存储一个或多个 程序， 所述一个或多个程序当被处理器执行时， 实现权利要求 1‑4中任一项 所述的基于程序 切片的软件关联配置错 误诊断方法。权　利　要　求　书 2/2 页 3 CN 114661503 A 3