生成测试用例的方法

摘要

本发明提出了生成测试用例的方法，包括：a、根据测试覆盖准则，列出测试目标以形成测试目标集；b、将所述测试目标集中各测试目标表示成陷阱性质；c、将各陷阱性质与具体模型进行合取转换成CNF公式；d、计算CNF公式的难度；e、根据CNF公式的难度对各测试目标进行排序；f、判断所述测试目标集是否为空；g、当所述测试目标集不为空时，则选取一测试目标，并从所述测试目标集中删除所选取的测试目标；h、根据所选取的测试目标生成测试用例以形成第一测试用例集；i、基于SAT对所述第一测试用例集进行约简以获取第二测试用例集。本发明所提出的测试用例生成的方法，至少具有约简效果好、效率高。

主权项

生成测试用例的方法，其特征在于，包括：a、根据测试覆盖准则，列出测试目标以形成测试目标集；b、将所述测试目标集中各测试目标表示成陷阱性质；c、将各陷阱性质与具体模型进行合取转换成CNF公式；d、计算CNF公式的难度；e、根据CNF公式的难度对各测试目标进行排序；f、判断所述测试目标集是否为空；g、当所述测试目标集不为空时，则选取一测试目标，并从所述测试目标集中删除所选取的测试目标；h、根据所选取的测试目标生成测试用例以形成第一测试用例集；i、基于SAT对所述第一测试用例集进行约简以获取第二测试用例集。