基于MC/DC覆盖的最小测试用例集设计

单元测试在铁路信号电子产品软件的研发过程中占有重要比重,而覆盖率则是单元测试中衡量测试质量的一个重要指标。本文重点介绍软件单元测试过程中为何选择修正条件判定覆盖,而不选择条件判定覆盖和组合条件覆盖作为覆盖率评判标准,同时重点介绍了如何设计出满足修正条件判定覆盖的最小测试用例集的两种方法 :真值对法、唯一原因法。