[发明专利]生成测试用例的方法

说明书

技术领域

本发明涉及软件测试，尤其涉及生成测试用例的方法。

背景技术

软件测试是发现软件中错误，保证软件质量的一种重要手段，然而传统软件测试方法所需成本已占软件开发总成本的50％以上。测试自动化是一种能够降低测试成本的有效方法。测试用例的自动生成是测试自动化的一个重要环节和体现，通常从软件的行为模型产生测试用例，再测试实际系统，观察系统运行的结果是否与模型行为的预期一致，这就是基于模型的测试。但是，有时候根据指定的测试覆盖准则，从软件行为模型生成的测试用例集庞大，进而导致测试成本高、效率低。因此，测试用例集约简是软件测试的一项重要工作。

目前，本领域相关技术人员，对有关测试用例集约简的研究颇多，但都存在一定的缺陷，约简效果不明显。

目前，本领域相关技术人员，对有关测试用例集约简的研究颇多，但都存在一定的缺陷，下面将一一列举：

1)Ammann等把生成的测试用例表示成模型，在该模型上模型检测余下的测试目标，来判定他们是否被该测试用例覆盖，但这将涉及到频繁地从测试用例到模型的转换及对模型检测器的调用；

2)Fraser等在生成测试用例后，使用LTL重写规则消除目前已被覆盖的测试目标，但没有给出选择测试目标次序，这将直接影响测试用例约简的效果；

3)Zeng等结合CTL重写规则进行了测试目标约简和测试用例集约简，但同样也没有给出选择测试目标次序的方法，也将直接影响测试用例约简的效果。

发明内容

鉴于上述，有必要针对现有的测试用例约简缺陷问题提出一种生成测试用例的方法。

一种生成测试用例的方法，包括：

a、根据测试覆盖准则，列出测试目标以形成测试目标集；

b、将所述测试目标集中各测试目标表示成陷阱性质；

c、将各陷阱性质与具体模型进行合取转换成CNF公式；

d、计算CNF公式的难度；

e、根据CNF公式的难度对各测试目标进行排序；

f、判断所述测试目标集是否为空；

g、当所述测试目标集不为空时，则选取一测试目标，并从所述测试目标集中删除所选取的测试目标；

h、根据所选取的测试目标生成测试用例以形成第一测试用例集；

i、基于SAT对所述第一测试用例集进行约简以获取第二测试用例集。

在其中一个实施方式中，步骤i包括：

i1、将所选取的测试目标余下的其它各测试目标的陷阱性质进行合取转换成CNF公式；

i2、通过SAT工具判定CNF公式的可满足性；

i3、当CNF公式不可满足时，则删除相应的测试目标。

在其中一个实施方式中，步骤h与步骤i间还包括：对所述第一测试用例集进行冗余性检测。

在其中一个实施方式中，步骤e中，根据CNF公式的难度进行升序排列，相应地，步骤g中，依序选取测试目标。

在其中一个实施方式中，步骤b中，通过LTL将各测试目标表示成陷阱性质。

由上可知，本发明所提出的测试用例生成的方法，至少具有如下优点：

1)根据CNF难度依序选择测试目标，能够调用更少的模型检测次数和约简更多的测试用例数，提高了效率；

2)基于SAT对测试用例进行约简，约简效果好，并且，采用SAT工具求解CNF的可满足性，求解效率高。

附图说明

图1绘示了本发明一实施方式的生成测试用例的方法的流程示意图。

具体实施方式

为了使本领域相关技术人员更好地理解本发明的技术方案，下面将结合本发明实施方式的附图，对本发明实施方式中的技术方案进行清楚、完整地描述，显然，所描述的实施方式仅仅是本发明一部分实施方式，而不是全部的实施方式。

参照图1，图1绘示了本发明一实施方式的生成测试用例的方法的流程示意图。

首先，在步骤S110中，根据测试覆盖准则，列出测试目标以形成测试目标集。

然后，在步骤S120中，将测试目标集中各测试目标表示成陷阱性质。本实施方式中，可以采用LTL将各测试目标表示成陷阱性质。

之后，在步骤S130中，将各陷阱性质与具体模型进行合取转换成CNF公式：

F＝C₁∧…∧C_m，其中C₁，…，C_m称为子句，每个子句