5 回归测试

        我们的回归测试技术包含2个方面：测试机将测试用例进行分类，是可用的还是不可用的；如果是不可用的，还要判断该测试用例是否可被修复。第二部分是修复机，修复可以被修复的测试用例。为了说明清楚，我们将这两部分分开进行了介绍，但在实际的应用中可以将这两部分合二为一的。

        回归测试员要将原始GUI和修改后的GUI的G-CFG图和G-call图作为输入，以及修改后的GUI的测试状态SI，还有原始GUI的测试用例。测试机将原始测试用例分割为可用测试用例和不可用测试用例。关键的在于，它还将判断不可用的测试用例是否可以被修复。很显然的是，如果一个测试用例的初始状态在修改后的GUI中仍然是可用的，并且它的事件序列可以被修改为合法序列，则该测试用例就是可修复的。为了使GUI事件序列合法，我们从编译技术中借用了错误发现技术；忽略事件或是将一个新事件插入其中直到生成一个合法的事件序列。这个序列只能通过忽略事件或是包含修改后的GUI事件得到。最终，我们将一个可修复的测试用例定义为：

        定义：如果一个不可用测试用例的初始状态是存在的，并且它的事件序列可以被修复为合法的，例如(ei,ek>i∈E)或者{(ei,ex),(ex,ek>i)∈E}其中1<=i<=n，则该测试用例是可以被修复的。

图4 新的回归测试方法

        对于不可用测试用例，一部分将被修复并用于回归测试，而那些不可修复的测试用例将被丢弃。图4表示了这个新的回归测试方法。需要注意的是，用于测试GUI新增加部分的测试用例是不可能通过修复原有的测试用例得到的，但这部分测试用例也是回归测试集合必不可少的一部分。

回归测试包含以下几个组成部分：

        测试机：将原始的测试用例分为（1）可用测试用例，（2）可修复的不可用测试用例，和（3）不可修复的不可用测试用例。 
        修复机：通过增加和删除测试用例中的事件来修复不可用测试用例，使这些测试用例符合修改后的GUI的事件序列。

图5 回归测试的组成部分和它们之间的关系

        图5显示了回归测试中的测试机和修复机以及它们之间的联系。该图还说明了这些组成部分之间的关系。Test Case Generator和Coverage Evaluator生成新的测试用例用于测试GUI新的部分。这样，修复的、新的和原本可用的测试用例共同组成了回归测试用例集合。下面我们将介绍测试机和修复机设计的具体细节。