[发明专利]针对嵌入式软件IO端口的单元测试用例生成方法及装置

权利要求书

1.一种针对嵌入式软件IO端口的单元测试用例生成方法，其特征在于，包括：

获取待测试程序中的关键数据；

启动基于解释器的符号执行引擎，在所述解释器中建立一个IO区域查询表和分配一段IO专用内存区域；

采用所述符号执行引擎，查询和更新IO区域查询表、维护IO专用区域、自动映射IO端口为输入，确定所述待测试程序对应的测试用例；

所述查询和更新IO区域查询表、维护IO专用区域、自动映射IO端口为输入，确定所述待测试程序对应的测试用例的步骤，包括：

查询、更新IO区域查询表；

IO端口的输入自动映射到IO专用内存区域，移动所述IO专用内存指针，指向下一个IO专用区域可用位置；

利用路径搜索算法和约束求解，通过反复迭代生成测试用例集合。

2.根据权利要求1所述的方法，其特征在于，所述获取所述待测试程序中的关键数据的步骤，包括：

对所述待测试程序进行静态分析，获取所述待测试程序中的关键数据。

3.根据权利要求2所述的方法，其特征在于，所述启动基于解释器的符号执行引擎，在所述解释器中建立一个IO区域查询表和分配一段IO专用内存区域的步骤，包括：

在所述解释器中建立所述IO区域查询表；

在所述解释器中分配IO专用内存区域，并创建一个指针，指向该区域可用的地址。

4.一种针对嵌入式软件IO端口的单元测试用例生成装置，其特征在于，包括：

关键数据获取模块，用于获取待测试程序中的关键数据；

基于解释器的符号执行引擎模块，用于驱动符号执行，建立一个IO区域查询表和分配一段IO专用内存区域；

IO端口处理和用例生成模块，用于采用所述符号执行引擎，查询和更新IO区域查询表、维护IO专用区域、自动映射IO端口为输入，确定所述待测试程序对应的测试用例；

所述查询和更新IO区域查询表、维护IO专用区域、自动映射IO端口为输入，确定所述待测试程序对应的测试用例的步骤，包括：

查询、更新IO区域查询表；

IO端口的输入自动映射到IO专用内存区域，移动所述IO专用内存指针，指向下一个IO专用区域可用位置；

利用路径搜索算法和约束求解，通过反复迭代生成测试用例集合。

5.根据权利要求4所述的装置，其特征在于，所述关键数据获取模块包括：

关键数据获取子模块，用于对所述待测试程序进行静态分析，获取所述待测试程序中的关键数据。

6.根据权利要求5所述的装置，其特征在于，所述基于解释器的符号执行引擎模块包括：

IO区域查询表建立子模块，用于在所述解释器中建立所述IO区域查询表；

IO专用内存分配子模块，用于在所述解释器中分配IO专用内存区域，并创建一个指针，指向该区域可用的地址。

7.根据权利要求6所述的装置，其特征在于，所述IO端口处理和用例生成模块包括：

IO区域查询表更新子模块，用于查询、更新IO区域查询表；

IO端口自动映射子模块，用于IO端口的输入自动映射到IO专用内存区域，移动所述IO专用内存指针，指向下一个IO专用区域可用位置；

路径搜索算法和约束求解模块，用于利用路径搜索算法和约束求解，通过反复迭代生成测试用例集合。