基于符号执行的路径搜索方法、装置以及存储介质
公开
摘要
本公开提供了一种基于符号执行的路径搜索方法、装置以及存储介质,涉及计算机技术领域,其中的方法包括:采用基于代的路径遍历算法对被测试程序进行路径搜索,基于预设的路径优化函数以及路径选择规则在可执行路径中确定可供选择路径;对各个代的可供选择路径进行分束处理,生成捆绑束;基于与可供选择路径相对应的束内系数和束外系数,对捆绑束以及捆绑束内的可供选择路径进行排序处理;将捆绑束内的可供选择路径以及对应的路径约束输出至求解器,生成新的输入。本公开的方法、装置以及存储介质,对基于代的路径策略算法进行优化,可以增加测试的指向性;在高测试覆盖率的基础上,能够节省计算资源,并提高测试的效率。
基本信息
专利标题 :
基于符号执行的路径搜索方法、装置以及存储介质
专利标题(英):
暂无
公开(公告)号 :
CN114518999A
申请号 :
CN202011306026.0
公开(公告)日 :
2022-05-20
申请日 :
2020-11-19
授权号 :
暂无
授权日 :
暂无
发明人 :
姚腾东吴吞黄玉娈
申请人 :
中国电信股份有限公司
申请人地址 :
北京市西城区金融大街31号
代理机构 :
中国贸促会专利商标事务所有限公司
代理人 :
方亮
优先权 :
CN202011306026.0
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-05-20 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载