[发明专利]一种适用于指针的单元测试用例生成方法及装置

说明书

本申请公开了一种适用于指针的单元测试用例生成方法及装置，该方法包括：对预设被测程序进行静态分析确定输入元素中的成员类型，根据成员类型判断输入元素是否为void*或含void*成员的结构体；若是void*或含void*成员的结构体，则确定void*或void*成员指向的实际类型以及根据实际类型生成输入驱动文件；判断实际类型是否为结构体类型且结构体类型中的结构体是否包含指向动态堆数据结构的成员；若是结构体类型且结构体类型中的结构体包含指向动态堆数据结构的成员，则设置指针或结构体展开层次，并根据展开层次生成配置文件，根据驱动文件以及配置文件自动生成测试用例。本申请解决了现有技术中生成的测试用例覆盖率较低、执行崩溃或内存开销过大的技术问题。

技术领域

本申请涉及自动测试用例生成技术领域，尤其涉及一种适用于指针的单元测试用例生成方法及装置。

背景技术

单元测试是保证软件质量的一种有效措施，然而随着软件代码规模膨胀，仅靠人工做单元测试的效率无法满足需求，因此自动化生成测试用例的方法应运而生，如随机生成、符号执行等技术。而C/C++程序软件中存在大量指针类型的输入，对这类输入的用例自动生成不但要生成指针所指向的内存区域，还要生成对应内存区域中的值，才能实现预期的覆盖。C/C++程序软件中存在指针类型的输入包括void*类型的指针、以及指向链表、树、图等动态堆数据结构的指针。

目前，对于输入为void*类型的指针，由于指向目标内存的类型不确定，在生成单元测试用例时，一般方法使用固定类型作为变量类型进行生成(如char[])；对于输入为指向链表、树、图等动态堆数据结构的指针，由于事先不知道所指向内存的形态，一般方法采用预设的固定层次递归展开。但是，对于void*类型的指针，实际指向类型为其他时(如结构体)，无法按照给定类型生成相应的值，导致用例生成的覆盖率不高。而对于指向链表、树、图等动态堆数据结构的指针，当展开层次过少时会导致没有生成足够的目标内存空间，也无法生成达到相应覆盖的值，甚至有时可能因空指针解引用造成用例执行崩溃，而递归展开层次过多时，又会导致所需生成输入的内存空间很多，内存开销过大。

发明内容

本申请解决的技术问题是：针对现有技术中生成的测试用例覆盖率较低、执行崩溃或内存开销过大，本申请提供了一种适用于指针的单元测试用例生成方法及装置，本申请实施例所提供的方案中，通过对预设被测程序进行静态分析，一方面，若输入元素是void^*或含void^*成员的结构体时，确定void^*或结构体的void^*成员指向的实际类型以及根据所述实际类型生成输入驱动文件，避免当void^*或void^*成员的结构体作为输入时，因指向变量类型不确定导致覆盖率较低的问题；另一方面，若void^*或结构体的void^*成员指向动态堆数据结构时，设置指针或结构体展开层次，并根据展开层次生成配置文件，避免当指针指向动态堆数据结构时，由于展开层次不确定导致覆盖率较低、执行崩溃或内存开销过大问题。

第一方面，本申请实施例提供一种适用于指针的单元测试用例生成方法，该方法包括：

对预设被测程序进行静态分析确定输入元素中的成员类型，根据所述成员类型判断所述输入元素是否为void^*或含void^*成员的结构体；

若所述输入元素是void^*或含void^*成员的结构体，则确定所述void^*或所述void^*成员指向的实际类型以及根据所述实际类型生成输入驱动文件；

判断所述实际类型是否为结构体类型且所述结构体类型中的结构体是否包含指向动态堆数据结构的成员；