核电作为一种新型的能源工业，在我国已得到了广泛应用，我国的核电软件在借鉴国外先进技术的基础上正向自主化迈进，由于核电软件的特殊性，其对软件的安全性与质量提出了非常高的要求，因此在开发过程中，对核电软件进行测试是必不可少的。软件测试的过程可以分为：静态测试、单元测试、集成测试、功能测试、性能测试等，分别从不同方面对软件进行测试，从而保证软件的质量。目前软件测试的自动化运用非常广泛，然而其自动化生成的测试用例往往存在大量冗余，如果能自动进行约简那么将大大提高工具的自动化水平，提高测试效率。本文针对核电软件测试过程中所用到的自动化测试工具C++Test产生的随机测试用例集存在冗余的问题，提出了利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量来约简测试用例集，提出了基于似然不变量的测试用集约简简易算法，并利用基于故障模式的变异测试原理来评估不变量约简测试用例集是否符合约简的标准，通过实验表明，采用不变量约简原理能有效删除冗余测试用例，且约简后并未导致其测试充分性下降。然后本文根据蒸汽发生器排污计算软件的特点及测试需求，提出了适应于该核电测试流程的单元测试方法策略，采取了自动化与人工相结合的测试方法，在人工分析的过程中采用基本路径覆盖的方法，对该软件进行了完整的单元测试包括静态单元测试和动态单元测试，同时利用Daikon对单元测试过程中产生的冗余测试用例集进行了约简，通过测试表明利用Daikon约简后的测试用例集其覆盖率与检错率均未下降，由此说明运用该工具能有效减少资源浪费，提高测试的自动化水平及测试效率。