[发明专利]基于条件谓词的适应性随机测试用例生成方法

权利要求书

1.一种基于条件谓词的适应性随机测试用例生成方法，其特征在于，包括如下步骤：

步骤1，定义算法相关的数据结构，设置程序输入域，并根据真实程序的规约与特性人工发掘程序的条件谓词信息；

步骤2，在整个输入域中随机产生候选测试用例c，随后基于真实程序条件谓词信息计算c所属的条件区域cr，并判断该条件区域cr是否存在于条件区域集CRs中，若存在则执行步骤3，否则跳转至步骤5；

步骤3，将候选测试用例c加入该条件区域cr所对应的候选测试用例集CS_cr中，并判断候选测试用例集CS_cr中测试用例的个数是否达到阈值k，若未达到阈值k则跳转至步骤2，否则执行步骤4；

步骤4，采用基于距离的候选用例筛选计算出该条件区域cr中的待测测试用例t，将其添加进该条件区域cr所对应的正式测试用例集TS_cr中，并清空该条件区域cr所对应的候选测试用例集CS_cr，随后执行步骤6；

步骤5，将条件区域cr添加进条件区域集CRs中，并将候选测试用例c加入条件区域cr所对应的正式测试用例集TS_cr中，此时候选测试用例c视作为待测测试用t，随后执行步骤6；

步骤6，将待测测试用例t加入测试用例集T中，并在待测程序中执行该测试用例，判断是否满足终止条件，例如生成（执行）的测试用例达到指定数目或检测到程序失效，若满足终止条件，则返回测试用例集T，否则跳转至步骤2。

2.如权利要求1所述方法，其特征在于，所述步骤1的具体实现包括以下步骤：

步骤1.1，定义相关的数据结构与基本属性，数据结构包含以下部分：测试用例集T，条件区域集CRs，条件区域候选测试用例集CS，条件区域正式测试用例集TS，基本属性包含以下：条件区域候选测试用例集阈值k；

步骤1.2，设置真实程序输入域D；

步骤1.3，基于真实程序的规约与特性发掘其条件谓词信息。

3.如权利要求1所述方法，其特征在于，所述步骤2的具体实现包括如下步骤：

步骤2.1，在输入域D中随机产生候选测试用例c，基于程序的条件谓词信息计算测试用例c所属的条件区域cr；

步骤2.2，判断条件区域cr是否存在于条件区域集CRs中；

步骤2.3，若条件区域cr存在于条件区域集CRs中，执行步骤3；

步骤2.4，若条件区域cr不存在于条件区域集CRs中，执行步骤5。