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

权利要求书

1.一种生成测试用例的方法，其特征在于，包括：

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

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

c、将各陷阱性质与具体模型进行合取转换成CNF公式，F＝C₁∧…∧C_m，其中C₁，…，C_m称为子句，每个子句称为文字，每个文字l_j(1≤j≤n_i)是布尔变量的肯定或者否定的形式；

d、计算CNF公式的难度，当设CNF公式中子句数为m，第i个子句中的文字数为n_i，则CNF公式的难度h:

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

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

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

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

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

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

2.根据权利要求1所述的生成测试用例的方法，其特征在于，步骤i包括：

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

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

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

3.根据权利要求1所述的生成测试用例的方法，其特征在于，步骤b中，通过LTL将各测试目标表示成陷阱性质。