[发明专利]一种基于形式概念分析的软件回归测试方法

摘要

本发明提供一种基于形式概念分析的软件回归测试方法，充分利用形式概念分析技术有效地进行回归测试，能够将测试用例的选择、约减、以及排序等技术有效地结合起来，直接生成一种高质量、高效的软件回归测试用例集。该技术在实际应用中不受程序语言约束，可以应用于各种编程语言程序中，提高了该技术可应用的范围。即测试用例选择、约减以及排序，其所产生的测试用例集结果更加高效，可以直接进行回归测试，使得软件维护变得更加容易。

主权项

一种基于形式概念分析的软件回归测试方法，其特征在于该回归测试方法具体如下：步骤1：根据原测试用例集以及修改后的程序元素，收集测试覆盖情况；根据测试用例覆盖信息构造二维表，表中行表示测试用例运行情况，列表示程序元素，某个列的程序元素被某一行的测试用例覆盖，我们就对其进行标记，再以该二维表为输入，利用形式概念分析技术构造概念格；形式概念分析建立在数学基础之上，对组成概念的对象、属性以及关系等用形式化的语境表述出来，然后根据语境，利用概念格的生成算法自动构造出概念格；概念格上的节点表示概念，而一个概念是由外延和内涵组成，分别表示某个节点的测试用例和程序元素；步骤2：进行修改分析，计算得到修改集CS和影响集IS，这两者的并集为CI=CS∪IS；然后在概念格上找出概念格节点内涵中包含CI中元素的概念节点，然后把这些概念节点中包含的测试用例选择出来，假设为T’，即为测试用例选择过程的结果；步骤3：进行测试用例的约减，对于测试用例集T’中任意测试用例t1,t2∈T’，如果在概念格上，t1是t2的下确界，即t1所标记的概念格节点层次低于t2，则选择t1,将t2从T’中删除，最终得到T’’；另外，如果T’’中有多个测试用例由同一概念节点标记，由于这些测试用例都具有相同的覆盖特征，因此只需选择其中一个测试用例就可，这一步结束之后就产生了新的约减后的测试用例集T’’；步骤4：对T’’进行测试用例排序，根据测试用例包含的CI元素的个数进行排序，称这样的排序度量方法为测试用例的包含度Inclusiveness={|e||e∈Int(t)∧t∈T’’∧e∈CI}，其中，Int(t)表示测试用例t所标记的概念格元素的内涵，计算T’’中的每一个测试用例的包含度Inclusiveness，然后测试用例的排序就是根据包含度Inclusiveness结果进行排序这一步结束之后就得到排序后的测试用例集LT’’；到这里，整个回归测试过程结束，其输出是一个排序后的测试用例集LT’’，它将测试用例的选择、约减以及排序整合到一起。