基于条件谓词的适应性随机测试用例生成方法技术

本方法提供了一种基于条件谓词的适应性随机测试用例生成方法，属于软件测试领域中的适应性随机测试技术。本方法基本流程含六个步骤，包括人工发掘程序的条件谓词信息、计算候选测试用例所属条件区域、计算候选测试用例是否达到阈值、采用基于距离的候选用例筛选计算出条件区域的待测测试用例并执行，最后返回所用测试用例集。本文还对RT、FSCS

【技术实现步骤摘要】
基于条件谓词的适应性随机测试用例生成方法


[0001]本专利技术属于软件测试领域中的适应性随机测试技术，涉及一种基于程序条件谓词的适应性随机测试用例生成方法。

技术介绍

[0002]随着计算机系统不断深入到社会的各个领域，软件系统所发挥的作用也日渐突出。然而，如何有效地保证软件系统的质量是当前软件工程领域一个极具挑战性的课题。
[0003]软件测试作为软件开发过程中不可缺失的环节，是保证软件质量的重要手段。在软件自动化测试领域，随机测试（Random Testing，RT）方法较易于实现，但其无法保证测试用例能够“均匀”地分布在输入域中，因此失效检测能力较低。在此基础上，T.Y. Chen等人提出了适应性随机测试（Adaptive Random Test，ART）方法。该方法在保留了RT方法随机性特点的同时，提升了测试用例在输入空间的均匀分布程度，使得测试用例更具多样性，从而增强了随机测试的失效检测能力。
[0004]基于固定规模候选集的适应性随机测试（Fixed
‑
Sized
‑<br/>Candid本文档来自技高网...

【技术保护点】

【技术特征摘要】
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...

【专利技术属性】
技术研发人员：毛澄映，易小荣，
申请(专利权)人：易小荣，
类型：发明
国别省市：