回归测试成本高,是软件测试过程中是必不可少的阶段。随着软件开发过程的不断深化,需要频繁地进行回归测试,测试用例集的规模越来越大,而这些测试用例集中积累了大量冗余的测试用例。回归测试的关键和难点是如何减少测试用例的数目,并执行有效的测试,降低测试成本,提高测试效率。核电软件自主化是我国核电自主化关键要素。核电软件的特殊性,使得核电软件的安全性与可靠性有极高的要求。基于我国首套自主核电软件包NESTOR的软件测试工作,本文提出一种约简回归测试用例集的方法,以解决测试用例冗余的问题。首先,针对核电软件具有复杂计算以及蕴含大量函数型不变量的特点,然而,Daikon的内置不变量库没有预置复杂函数形式不变量。据此,本文提出了一种基于GEP-RNC指数对数型程序不变量发现方法,扩展了Daikon中不变量发现的种类。接着,针对回归测试用例集过大的问题,提出解决方案。利用Daikon提取程序不变量,判断是否改变当前的不变量,根据这些信息给测试用例分类,提取不变量信息结合程序的变更信息,实现回归测试用例集的约简。然后将此方法应用于核电软件的回归测试用例集约简之中,通过测试表明此方法能够降低回归测试的工作量,提高测试的效率。