公开(公告)号：CN111176994B

公开(公告)日：2023-03-31

申请号：CN201911349540.X

申请日：2019-12-24

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  杨帆 ,  江云松 ,  王浩 ,  韩亮 ,  刘亚威 ,  贾春鹏 ,  车小鹏 ,  施兰兰 ,  高猛 ,  高栋栋 ,  王政 ,  吴瑾

IPC: G06F11/36

Abstract: 本发明实施例提供了一种针对嵌入式软件IO端口的单元测试用例生成方法及装置。所述方法包括：对待测试程序进行静态分析，获取所述待测试程序中的关键数据；启动基于解释器的符号执行引擎；在所述解释器中建立一个IO区域查询表和分配一段IO专用内存区域；采用所述符号执行引擎根据所述IO区域查询表、所述IO专用内存区域、IO端口输入映射到IO专用内存和所述关键数据，确定所述待测试程序对应的测试用例。本发明实施例能够自动识别IO端口，无需人工配置，生成用例效率提升，且解决了IO端口地址作为输入时生成的用例覆盖率低的问题。

公开(公告)号：CN114896145B

公开(公告)日：2024-09-20

申请号：CN202210453325.X

申请日：2022-04-27

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  杨帆 ,  江云松 ,  刘亚威 ,  贾春鹏 ,  施兰兰 ,  车小鹏

IPC: G06F11/36

Abstract: 一种用于符号执行的复杂类型输入变量懒符号化方法及系统，包括生成输入驱动文件，通过入口函数指定输入变量和驱动被测函数；分配符号内存；当执行到一条语句时，解释执行和符号执行分别对同一地址上的实际值和符号值进行操作；在执行过程中对内存地址访问时，解释执行直接读写实际值映射表内容；符号执行先检查符号值映射表中该地址上是否存在符号值，存在则直接读写；不存在则创建一个新符号值，符号值映射表中新增一条地址与符号值的映射，再进行正常读写；一次符号执行结束后对收集的约束取反以及求解，最终得到表达式与值的映射关系，生成用例数据文件。本发明针对复杂类型的输入变量，采用懒符号化策略，提升用例的生成速度和降低内存开销。

公开(公告)号：CN114896145A

公开(公告)日：2022-08-12

申请号：CN202210453325.X

申请日：2022-04-27

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  杨帆 ,  江云松 ,  刘亚威 ,  贾春鹏 ,  施兰兰 ,  车小鹏

IPC: G06F11/36

Abstract: 一种用于符号执行的复杂类型输入变量懒符号化方法及系统，包括生成输入驱动文件，通过入口函数指定输入变量和驱动被测函数；分配符号内存；当执行到一条语句时，解释执行和符号执行分别对同一地址上的实际值和符号值进行操作；在执行过程中对内存地址访问时，解释执行直接读写实际值映射表内容；符号执行先检查符号值映射表中该地址上是否存在符号值，存在则直接读写；不存在则创建一个新符号值，符号值映射表中新增一条地址与符号值的映射，再进行正常读写；一次符号执行结束后对收集的约束取反以及求解，最终得到表达式与值的映射关系，生成用例数据文件。本发明针对复杂类型的输入变量，采用懒符号化策略，提升用例的生成速度和降低内存开销。

公开(公告)号：CN114817045B

公开(公告)日：2024-10-25

申请号：CN202210472030.7

申请日：2022-04-29

Applicant: 北京轩宇信息技术有限公司

Inventor： 杨帆 ,  陈睿 ,  刘亚威 ,  江云松 ,  施兰兰 ,  贾春鹏 ,  车小鹏 ,  王峥

IPC: G06F11/36 ,  G06F8/41

Abstract: 本发明涉及一种高效的源代码覆盖率确定方法及系统。该方法在插桩时计算出MC/DC真值表，利用位向量压缩真值表并在采集过程中实时计算真值表覆盖情况，具有精度高、膨胀率低和执行速度快的优点。同时，该方法无需额外的辅助插桩点，也无需频繁I/O和输出大量信息，产生的数据量与现有的执行标记方式相当，从而实现了低膨胀率和快速的精确覆盖率分析。

公开(公告)号：CN114817045A

公开(公告)日：2022-07-29

申请号：CN202210472030.7

申请日：2022-04-29

Applicant: 北京轩宇信息技术有限公司

Inventor： 杨帆 ,  陈睿 ,  刘亚威 ,  江云松 ,  施兰兰 ,  贾春鹏 ,  车小鹏 ,  王峥

IPC: G06F11/36 ,  G06F8/41

Abstract: 本发明涉及一种高效的源代码覆盖率确定方法及系统。该方法在插桩时计算出MC/DC真值表，利用位向量压缩真值表并在采集过程中实时计算真值表覆盖情况，具有精度高、膨胀率低和执行速度快的优点。同时，该方法无需额外的辅助插桩点，也无需频繁I/O和输出大量信息，产生的数据量与现有的执行标记方式相当，从而实现了低膨胀率和快速的精确覆盖率分析。

公开(公告)号：CN111176994A

公开(公告)日：2020-05-19

申请号：CN201911349540.X

申请日：2019-12-24

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  杨帆 ,  江云松 ,  王浩 ,  韩亮 ,  刘亚威 ,  贾春鹏 ,  车小鹏 ,  施兰兰 ,  高猛 ,  高栋栋 ,  王政 ,  吴瑾

IPC: G06F11/36

Abstract: 本发明实施例提供了一种针对嵌入式软件IO端口的单元测试用例生成方法及装置。所述方法包括：对待测试程序进行静态分析，获取所述待测试程序中的关键数据；启动基于解释器的符号执行引擎；在所述解释器中建立一个IO区域查询表和分配一段IO专用内存区域；采用所述符号执行引擎根据所述IO区域查询表、所述IO专用内存区域、IO端口输入映射到IO专用内存和所述关键数据，确定所述待测试程序对应的测试用例。本发明实施例能够自动识别IO端口，无需人工配置，生成用例效率提升，且解决了IO端口地址作为输入时生成的用例覆盖率低的问题。