刘 博，李运坚，张 磊

(北京广利核系统工程有限公司，北京 100094)

单元测试(Component Testing)是在软件开发过程中必要的基础测试活动之一，为实现软件预期的质量和性能提供了有力保障。特别是在核电数字化安全级系统中，单元测试是提前发现软件缺陷和保证安全系统平台正常运行的有效措施，在V＆V(Verification and Validation)标准 IEEE 1012 Software Verification and Validation[1]与美国核管会审查导则RG1.171[2]中分别强调了单元测试的必要性。

在核电安全级应用软件中，软件单元(Software Component)的边界划分并无明确规定[3]。单元既可以指一个函数(工程组态中封装的模块)，如“与门”、“二取一表决器”运算，也可以代表一个基本的软件功能，如“超温超压停堆保护”。通常情况下，为了保证测试的全面性，软件单元的界定往往更倾向于后者，函数功能则在平台测试中完成。因此，安全级应用软件的一个单元会包含大量的输入信号和控制逻辑运算，输入信号值域的组合代表不同的工况。如果将每个单元的工况都测试一遍，意味着要穷举输入变量的取值组合，测试用例数量将以对数形式增长[4]，但组合测试方法则可以有效减少测试用例数量。

Mandl首先将组合测试运用于软件测试中，对Ada编译器进行了两两组合测试和配对组合测试。在之后的大量研究当中表明，组合测试具有检测软件缺陷的能力[5]。根据Kuhn和Reilly对Mozila浏览器做的一项测试报告表明，70%的错误是由于相关的两个参数导致的，超过90%的错误是由3个以内的参数相互作用而引起的，要发现所有缺陷，覆盖强度仅需要达到6-way[6-7]。……