申请/专利权人：浙江大学

申请日：2024-01-09

公开（公告）日：2024-04-09

公开（公告）号：CN117851254A

主分类号：G06F11/36

分类号：G06F11/36

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.04.26#实质审查的生效;2024.04.09#公开

摘要：本发明公开了一种基于符号执行和路径数缩减的MCDC覆盖用例生成方法。本发明首先解析待测程序的源代码，收集每个需要覆盖的判定表达式以及判定表达式中的各个条件；其次对源代码插桩，修改判定语句的源代码，使得程序在执行过程中能够记录MCDC覆盖率信息，且执行逻辑保持不变；然后对程序运行静态分析，根据程序控制流图，获得程序各个基本块的可达判定集合；最后对插桩后的程序进行符号执行，根据覆盖率信息和静态分析结果，对符号执行的路径进行合并和剪枝。本发明通过对程序插桩，结合静态程序分析与动态路径合并的方法，在符号执行过程中，通过路径合并与剪枝，缩减路径数量，旨在提高测试用例生成速度，精简测试用例的规模。

主权项：1.一种基于符号执行和路径数缩减的MCDC覆盖用例生成方法，其特征在于该方法包括以下步骤：S1.解析待测程序的源代码，收集每个需要覆盖的判定表达式以及判定表达式中的各个条件；S2.对源代码插桩，修改判定语句的源代码，使得程序在执行过程中能够记录MCDC覆盖率信息，且执行逻辑保持不变；S3.对程序运行静态分析，根据程序控制流图，获得程序各个基本块的可达判定集合；S4.对插桩后的程序进行符号执行，根据覆盖率信息和静态分析结果，对符号执行的路径进行合并和剪枝，减少路径数量，精简用例规模。

全文数据：

权利要求：

百度查询： 浙江大学 一种基于符号执行和路径数缩减的MC/DC覆盖用例生成方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD