一种符号执行方法、单元测试方法、电子设备及存储介质
基本信息
| 申请号 | CN202210169478.1 | 申请日 | - |
| 公开（公告）号 | CN114238154B | 公开（公告）日 | 2022-05-06 |
| 申请公布号 | CN114238154B | 申请公布日 | 2022-05-06 |
| 分类号 | G06F11/36（2006.01）ICN 103116540 A,2013.05.22;CN 106502912 A,2017.03.15;US 2019384697 A1,2019.12.19;CN 104503901 A,2015.04.08;CN 106022350 A,2016.10.12;CN 111367786 A,2020.07.03;CN 111400165 A,2020.07.10;CN 108710575 A,2018.10.26;CN 114036072 A,2022.02.11;CN 110515856 A,2019.11.29;CN 112231225 A,2021.01.15 苏亭.基于覆盖准则的软件测试用例自动化生成方法的研究与实现.《中国博士学位论文全文数据库 基于覆盖准则的软件测试用例自动化生成方法的研究与实现》.2016,（第8期）,;Senastian Poeplau等.Symbolic execution with SymCC:Don"t intepret,compile!.《The proceedings of the 29th USENIX Security Symposium》.2020,;佚名.Day92-94:阅读LLVM官方文档.《https://github.com/Vancir/365-days-get-xuanwulab-job/blob/master/weeks/week14.md》.2020,;甘水滔等.一种基于程序功能标签切片的制导符号执行分析方法.《软件学报》.2019,第30卷（第11期）,;于恒彪.符号化验证关键技术研究.《中国博士学位论文全文数据库 信息科技辑》.2021,（第1期）, | 分类 | 计算；推算；计数; |
| 发明人 | 任飞;杨智霖;谢辉 | 申请（专利权）人 | 湖南泛联新安信息科技有限公司 |
| 代理机构 | 长沙市护航专利代理事务所（特殊普通合伙） | 代理人 | 莫晓齐 |
| 地址 | 410005湖南省长沙市开福区伍家岭街道栖凤路486号凯乐微谷商务中心1栋1710、1711房 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明公开了一种符号执行方法、单元测试方法、电子设备及存储介质，该方法包括：遍历待分析程序的所有指令，建立程序分支表；对待分析程序的程序路径建立路径分支表；确认程序分支表中的所有分支未被访问，在当前路径下分析指令，收集已访问的分支记录，并将已访问的分支记录更新到路径分支表；对所有的路径按照路径分支表中已经访问的分支数进行排序；确认当前路径已覆盖到新的分支，保留当前路径并将当前路径覆盖的分支和测试用例缓存；输出缓存的测试用例数据。该符号执行方法，通过采用覆盖率优先的路径搜索策略，对循环进行特殊的处理，使得在符号执行的过程中不至于陷入到某一段代码一直无法跳出导致超时，保证了符号执行的可行性。 |
