-
题名基于MC/DC最小测试用例集设计方法研究
被引量：4
- 1
-
-
作者
袁军
-
机构
南京航空航天大学
中国航空无线电电子研究所
-
出处
《航空电子技术》
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
[天文地球—地球物理学]
-
-
题名SCADE模型测试下最小测试用例集路径生成算法
- 2
-
-
作者
夏苗
陈泽华
-
机构
北京全路通信信号研究设计院集团有限公司
-
出处
《铁路通信信号工程技术》
2025年第4期19-24,57,共7页
-
基金
国家自然科学基金项目(52272328)。
-
文摘
根据在安全关键应用开发环境(Safety Critical Application Development Environment,SCADE)下,对采用Masking Modified Condition/Decision Coverage(MC/DC)准则的A级软件,如何快速生成最小测试用例集,总结出路径生成算法。针对零耦合条件、弱耦合条件、强耦合条件的输入,可使用一套算法完成最小测试用例集的设计,充分提高测试人员效率。并引入路径的概念,帮助测试人员加深对测试覆盖率全面性的理解。
-
关键词
SCADE
mc/dc
测试用例
耦合条件
路径生成算法
-
Keywords
SCADE
modified condition/decision coverage(mc/dc)
test case
coupling condition
path generation algorithm
-
分类号
U284.48
[交通运输工程—交通信息工程及控制]
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名更改条件/判定覆盖最小真值表生成算法及其应用
被引量：7
- 3
-
-
作者
朱晓波
杨伟民
叶芯
-
机构
上海理工大学计算机工程学院
-
出处
《上海理工大学学报》
CAS
北大核心
2007年第1期84-88,共5页
-
文摘
研究了从一个布尔表达式生成最小真值表的算法,阐述了在覆盖测试工具中利用此算法辅助设计测试用例的应用问题,以此提高代码覆盖率.
-
关键词
结构测试
更改判定/条件覆盖
真值表
Pileatus工具
-
Keywords
structural testing
modified condition/decision coverage
truth-table
Pileatus tool
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于修正条件判定覆盖的软件测试技术研究和方法应用
被引量：4
- 4
-
-
作者
岳海
任慧敏
-
机构
北京航天自动控制研究所
-
出处
《航天控制》
CSCD
北大核心
2012年第3期69-72,共4页
-
文摘
对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。
-
关键词
软件测试
修正条件判定覆盖
最小测试用例集
-
Keywords
Software testing
modified condition^decision coverage
Minimal test cases set
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名修正的条件/判定覆盖分析工具评估与选择
- 5
-
-
作者
张卫民
孙军
-
机构
北京航天飞行控制中心
-
出处
《载人航天》
CSCD
2009年第3期40-43,53,共5页
-
文摘
使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个数、确定独立影响所用的算法、关系运算符的处理、位运算符的处理、组合表达式的处理、单步逻辑运算的处理和插装影响等。
-
关键词
修正的条件/判定覆盖
覆盖分析工具
工具评估
-
Keywords
modified condition/decision coverage（mc/dc ）, coverage Analysis tool, Tool Evaluation
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
