更改的判定条件覆盖测试技术研究

A research on testing technology of modified condition/decision coverage

与语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重条件覆盖相比,路径覆盖具有更强的结构覆盖率。但其需要更庞大的测试用例,事实上它并不实用。近年来,一种相对新颖和优秀的结构覆盖准则——更改的判定条件覆盖(MC/DC)应运而生,它继承了多重条件覆盖的优点,同时只是线性地增加了测试用例的数量。因此,在许多重要的软件,尤其是以嵌入式和实时性为特征的航空机载软件中得到广泛的应用。介绍了MC/DC的特点、设计方法、评估策略及工程应用。

Compared with statement coverage, decision coverage, condition coverage, condition/decision coverage and multiple condition coverage, path coverage has a stronger coverage criterion rate, but it requires much more test cases. In fact, it is not useful in practice. In recent years, a newer and more excellent structure coverage criterion-modified condition/decision coverage (MC/DC) emerges at the right time. It inherits the merits of multiple condition and only linearly adds the quantity of test cases at the same time, so it is widely used in many kinds of important software, especially in the aviation equipment software, which is characterized as being embedded and real time. This paper presents its characteristics, design methods, evaluation strategies and engineering applications.