-
题名应用MC/DC准则时需考虑的问题及其改进方法
被引量：7
- 1
-
-
作者
陈鑫
杨平
-
机构
中国航空计算技术研究所
-
出处
《计算机工程与设计》
CSCD
2004年第3期406-410,共5页
-
文摘
MC/DC(修订的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。目前,MC/DC在国际上已被广泛地应用于软件验证和测试过程中,在我国也被应用于一些软件项目中。介绍了MC/DC准则,提出了用此准则进行结构覆盖率分析时需注意的两个问题:结构覆盖率分析的问题和复杂逻辑语句的问题。最后,详细讨论了用MC/DC准则检查逻辑表达式错误时需考虑的3个方面及相应的改进方法,这3个方面包括逻辑式中操作符OR与XOR的误写、括号的位置不正确和逻辑组元被误写。
-
关键词
mc/dc准则
软件结构覆盖率
复杂逻辑语句
应用过程改进
Masking方法
逻辑式
软件测试
-
Keywords
mc/dc
structural coverage analysis
improved solutions
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向故障定位的基于MC/DC的测试用例约简方法
被引量：2
- 2
-
-
作者
王瑞
田宇立
周东红
李宁
李战怀
-
机构
西北工业大学计算机学院
信息控制研究所
-
出处
《计算机科学》
CSCD
北大核心
2015年第10期170-174,共5页
-
基金
国家自然科学基金(61402370)
中国航天科技集团公司航天科技创新基金(2014H03FK011)资助
-
文摘
对不断更新的软件进行回归测试时,持续增加的测试用例会造成累计测试用例数量庞大,进而影响测试成本。在故障定位领域,已有研究在考虑语句覆盖、路径覆盖等的基础上,提出了CMR&PVR等不同的测试用例约简方法。然而,这些方法在一定程度上影响了原始测试用例集的MC/DC(修订的条件/判定)覆盖率。提出一种以MC/DC覆盖为基础的综合测试用例约简方法 MCDCR,利用该方法对原始测试用例集约简后,在确保原有故障定位准确性并保持较高约简比的同时,大幅提高了测试用例对程序的MC/DC覆盖率。采用Ochiai方法在Siemens程序集上进行了实验及验证,结果表明MCDCR约简方法的综合效果明显优于已有的约简方法。
-
关键词
软件故障定位
测试用例约简
mc/dc覆盖率
-
Keywords
Software fault localization,Test-suite reduction, mc/dc coverage
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名利用MC/DC减少测试集大小的方法的研究
被引量：1
- 3
-
-
作者
齐丽娜
高建华
-
机构
上海师范大学数理信息学院计算机系
上海师范大学
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第23期4487-4490,共4页
-
文摘
随着软件的发展,测试技术也在发展。MC/DC即修改条件/判定覆盖,是一种较新的结构覆盖准则,它是在C/DC(条件/判定覆盖)的基础上发展起来的。与其它结构覆盖准则相比,它只是线性地增加了测试用例的数量,使得软件测试更加具有可操作性。而对于测试来说,测试用例的选择和优化是至关重要的。在探讨MC/DC的基础上,利用MC/DC的特点,初步提出了利用MC/DC进行测试集减少的方法,使得减少后的测试集与原测试集对测试需求有着相同或相似的覆盖率,并对此方法的利弊做了一定的分析。
-
关键词
mc/dc
mc/dc对
测试用例
测试集减少
覆盖
-
Keywords
mc/dc
mc/dcpairs
test-case
test-setreduction
coverage
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于MC/DC准则的确认测试用例生成方法
被引量：2
- 4
-
-
作者
郑平
许胜
-
机构
中国航天工程咨询中心
-
出处
《现代电子技术》
2007年第16期114-117,共4页
-
文摘
形式化的需求规格说明以其能够被自动操纵的形式,精确地描述了软件预期提供的功能,为测试提供了良好的条件。运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试中采用的主要途径。MC/DC(修改的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。结合模型检查技术,提出一种从形式化的软件需求中自动生成测试用例的方法,以达到对软件需求的类似于MC/DC准则的覆盖测试。以一个实际的案例为例,并检验其生成的用例对代码的覆盖率,证明方法的实用性。
-
关键词
mc/dc
形式化方法
模型检查
测试准则
-
Keywords
mc/dc
formal methods
model checking
test criteria
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于形式化描述测试用例生成的研究与实现
被引量：4
- 5
-
-
作者
王伟光
丁洪达
曾庆凯
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机应用》
CSCD
北大核心
2008年第4期1018-1022,共5页
-
基金
国家自然科学基金资助项目(60773170
60721002
+2 种基金
60473053)
国家863计划项目(2006AA01Z432)
江苏省自然科学基金资助项目(BK2005074)
-
文摘
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。
-
关键词
安全评估
测试用例生成
形式化描述
更改条件判定覆盖
-
Keywords
security evaluation
testing-case generation
formal description
Modified Condition/Decision coverage （mc/dc）
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名修正的条件/判定覆盖分析工具评估与选择
- 6
-
-
作者
张卫民
孙军
-
机构
北京航天飞行控制中心
-
出处
《载人航天》
CSCD
2009年第3期40-43,53,共5页
-
文摘
使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个数、确定独立影响所用的算法、关系运算符的处理、位运算符的处理、组合表达式的处理、单步逻辑运算的处理和插装影响等。
-
关键词
修正的条件/判定覆盖
覆盖分析工具
工具评估
-
Keywords
Modified Condition/Decision coverage（mc/dc ）, coverage Analysis tool, Tool Evaluation
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于SCADE模型的车载ATP测试用例生成方法
被引量：10
- 7
-
-
作者
李兰心
王海峰
齐志华
汤圣杰
张启鹤
-
机构
北京交通大学电子信息工程学院
北京交通大学轨道交通运行控制系统国家工程研究中心
中国铁道科学研究院集团有限公司通信信号研究所
广州铁科智控有限公司
-
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2020年第9期102-110,共9页
-
基金
国家重点研发计划(2018YFB1201501)
中国铁路总公司科技研发计划(N2018G064)
+2 种基金
北京市自然基金“轨道交通联合”(L181005)
国家自然科学基金(61473029)
国家重点基础研究发展计划(973计划)(2014CB340703)。
-
文摘
车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用例的方法。首先,利用SCADE对车载ATP系统进行建模,并针对安全状态机模型生成满足全迁移覆盖准则的测试用例;再根据MC/DC覆盖准则生成测试数据,将抽象的测试用例转化为可直接用于测试的具体测试用例集;最后,通过变异分析对生成的测试用例进行评估。结果表明,测试用例具有良好的覆盖度,优于传统人工方法。
-
关键词
车载ATP系统
SCADE模型
测试用例
基于模型的测试
mc/dc覆盖准则
-
Keywords
onboard ATP system
SCADE model
test case
model-based testing
mc/dc coverage criteria
-
分类号
U283.2
[交通运输工程—交通信息工程及控制]
-
