-
题名基于修正条件判定覆盖的软件测试技术研究和方法应用
被引量：4
- 1
-
-
作者
岳海
任慧敏
-
机构
北京航天自动控制研究所
-
出处
《航天控制》
CSCD
北大核心
2012年第3期69-72,共4页
-
文摘
对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。
-
关键词
软件测试
修正条件判定覆盖
最小测试用例集
-
Keywords
Software testing
Modified Condition^Decision Coverage
minimal test cases set
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名基于MC/DC最小测试用例集设计方法研究
被引量：3
- 2
-
-
作者
袁军
-
机构
南京航空航天大学
中国航空无线电电子研究所
-
出处
《航空电子技术》
2010年第3期51-54,共4页
-
文摘
动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。
-
关键词
DO-178B
改进条件/判定范围(MC/DC)
最小测试用例集
-
Keywords
DO-178B
Modified Condition/Decision Coverage （ MC/DC ）
minimal test cases set
-
分类号
P306.2
[天文地球—地球物理学]
-
