基于修正条件判定覆盖的软件测试技术研究和方法应用

2012-08-12任慧敏

航天控制 2012年3期

关键词：影响

岳海任慧敏

北京航天自动控制研究所，北京 100854

基于修正条件判定覆盖的软件测试技术研究和方法应用

岳海任慧敏

北京航天自动控制研究所，北京 100854

对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明，并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述，最后给出了使用工具对修正条件判定覆盖测试的应用情况，对相关领域的技术人员有一定的参考意义。

软件测试；修正条件判定覆盖；最小测试用例集

软件测试是为了发现软件错误而执行程序的过程，是保证软件质量的重要手段。通过软件测试可以有效的减少软件缺陷，提高软件的安全性和可靠性。通常根据软件代码在动态测试执行过程中的可见性，又分为黑盒测试和白盒测试。黑盒测试是在程序代码不可见的情况下，基于规格说明进行功能测试的方法；而白盒测试是在程序代码可知的情况下，依据结构设计开展的结构或逻辑测试方法。白盒测试又包括程序结构分析、逻辑覆盖、路径分析等方法技术，其中修正条件判定覆盖(Modified Condition/Decision Coverage,以下简称MC/DC)就是逻辑覆盖中比较典型的测试技术，目前被广泛应用于高安全性、高可靠性的关键软件测试中。