共查询到20条相似文献，搜索用时 31 毫秒
1.
MC／DC(修订的条件／判定覆盖)准则是一种实用的软件结构覆盖率测试准则。目前，MC／DC在国际上已被广泛地应用于软件验证和测试过程中，在我国也被应用于一些软件项目中。介绍了MC／DC准则，提出了用此准则进行结构覆盖率分析时需注意的两个问题：结构覆盖率分析的问题和复杂逻辑语句的问题。最后，详细讨论了用MC／DC准则检查逻辑表达式错误时需考虑的3个方面及相应的改进方法，这3个方面包括逻辑式中操作符OR与XOR的误写、括号的位置不正确和逻辑组元被误写。 相似文献
2.
随着软件的发展，测试技术也在发展。MC／DC即修改条件／判定覆盖，是一种较新的结构覆盖准则，它是在C／DC（条件／判定覆盖）的基础上发展起来的。与其它结构覆盖准则相比，它只是线性地增加了测试用例的数量，使得软件测试更加具有可操作性。而对于测试来说，测试用例的选择和优化是至关重要的。在探讨MC／DC的基础上，利用MC／DC的特点，初步提出了利用MC／DC进行测试集减少的方法，使得减少后的测试集与原测试集对测试需求有着相同或相似的覆盖率，并对此方法的利弊做了一定的分析。 相似文献
3.
MC/DC是一套航电A级软件的测试覆盖性准则,可以有效减少测试用例量.针对如何快速获取尽可能小的测试用例集这一难点展开研究,重点关注于具有耦合条件的逻辑表达式,提出了两套解决方案,分别用于解决零耦合/弱耦合条件和强耦合条件问题,并给出了示例证明.结果表明,灵活使用两套算法,可以全面解决一般逻辑表达式的MC/DC测试用例集的快速生成问题. 相似文献
4.
对不断更新的软件进行回归测试时,持续增加的测试用例会造成累计测试用例数量庞大,进而影响测试成本。在故障定位领域,已有研究在考虑语句覆盖、路径覆盖等的基础上,提出了CMR&PVR等不同的测试用例约简方法。然而,这些方法在一定程度上影响了原始测试用例集的MC/DC(修订的条件/判定)覆盖率。提出一种以MC/DC覆盖为基础的综合测试用例约简方法MCDCR,利用该方法对原始测试用例集约简后,在确保原有故障定位准确性并保持较高约简比的同时,大幅提高了测试用例对程序的MC/DC覆盖率。采用Ochiai方法在Siemens 程序集上进行了实验及验证,结果表明MCDCR约简方法的综合效果明显优于已有的约简方法。 相似文献
5.
介绍了一种车载大功率DC/DC电源变换器(以下简称DC/DC)的测试方法,运用V模式理念并结合半实物仿真验证测试方法对DC/DC的技术方案进行了全数字仿真验证测试、对DC/DC的控制电路部分进行了快速控制原型仿真验证测试、对DC/DC的功率电路部分进行了硬件在环仿真验证测试、对集成功率及控制电路的DC/DC进行了功率硬件在环验证测试,并根据测试结果又进行了迭代验证测试。通过半实物验证测试,对DC/DC各项设计参数的正确性及性能指标符合性进行验证测试,保证DC/DC技术方案的合理可行。 相似文献
6.
设计和编写测试用例是软件测试中最重要的步骤。分析机栽系统软件需求,系统状态转换或事件触发总是以满足一个或多个条件为前提的。因此在将需求抽象成布尔表达式基础上,依据MC／DC准则,研究了一个布尔运算符替换算法。将该算法实现为工具,用于生成满足MC／DC准则要求的测试用例。最后结合实例验证该工具的实用性。 相似文献
7.
软件测试是保证软件质量的有效方法,但测试工作过程繁琐,工作量较多。探索高效、可靠的测试用例设计方法一直是大家追求的目标,随着航空航天产品逻辑复杂性的提高及软件规模的日益增大,这种要求也变得更加迫切。依据MC/DC设计的测试用例既提高了测试用例设计的效率又增加了测试覆盖率,比较适合测试逻辑关系相对复杂的软件。当前的很多软件测试工具提供了软件测试覆盖率的判定功能,可以评定设计出的测试用例是否满足MC/DC的要求,而软件测试人员需要的是逆向的过程,论文提出应用唯一原因法和屏蔽法原理设计测试用例,可达到根据逻辑关系自动生成满足MC/DC要求测试用例的目的,提高了测试用例设计的效率。 相似文献
8.
杨润泽 《单片机与嵌入式系统应用》2014,(5):8-10,14
传统的电控软件开发模式已无法满足日益庞大、复杂的汽车电控系统的开发要求,基于模型的开发方法以及自动代码生成技术在汽车嵌入式软件开发中得到越来越广泛的应用。本文介绍使用Matlab/Real-Time Workshop Embedded Coder(Matlab/RTW EC)将Simulink控制模型生成C代码以及生成代码与Freescale MC9S12D64单片机底层代码的集成方法,通过测试验证了生成代码的有效性。 相似文献
9.
随着嵌入式系统应用的不断发展,嵌入式软件系统的可靠性与安全性尤为重要。合理有效运用嵌入式软件测试的策略和技术,提高系统开发效率,保证嵌入式软件产品质量。 相似文献
10.
对修正条件／判定覆盖方法测试集个数的分析 总被引：4，自引：0，他引：4
修正条件/判定覆盖(MC/DC)是软件测试方法之一。文中通过介绍MC/DC这种测试方法推导出一个关于任意一个布尔表达式其测试集个数的问题的结论。首先从介绍这种测试方法的定义及如何寻找其测试集的方法开始出发;其次推导出关于测试集个数的结论,并加以理论证明;最后以一些实例来说明此结论。 相似文献
11.
修正条件/判定覆盖(MC/DC)是软件测试方法之一.文中通过介绍MC/DC这种测试方法推导出一个关于任意一个布尔表达式其测试集个数的问题的结论.首先从介绍这种测试方法的定义及如何寻找其测试集的方法开始出发;其次推导出关于测试集个数的结论,并加以理论证明;最后以一些实例来说明此结论. 相似文献
12.
13.
赵莹 《电子制作．电脑维护与应用》2014,(12)
随着嵌入式软件的快速发展,高效的嵌入式软件测试就越来越重要。本文中结合了嵌入式软件特点,分析了嵌入式软件的测试流程和测试方法,并通过一个简单的测试实例来验证测试的全面性和有效性。 相似文献
14.
15.
为了提高星载嵌入式软件的可靠性和安全性,解决硬件测试环境构建困难、成本昂贵以及运行状态难以监控的局限性,提出了一种基于SPARC V8的星载嵌入式软件全数字仿真平台设计和实现方法。介绍了全数字仿真平台实现的关键技术,包括CPU指令集仿真、寄存器仿真、存储器仿真、中断控制器仿真、串口仿真、定时器仿真、虚拟外设模型仿真以及设备管理器和平台时序设计。全数字仿真平台与基于硬件的测试平台相比具有可重用性强、可快速搭建、成本低廉、高可控性、调试和测试手段丰富、支持故障注入等优点。该全数字仿真平台已在星载嵌入式软件型号研制中得到了应用,基于此平台可快速搭建虚拟目标机和虚拟外设环境,进行星载嵌入式软件运行仿真、调试验证等工作。 相似文献
16.
航空航天控制领域嵌入式软件测试主要存在软件运行物理环境受限和软件测试覆盖性不足等问题,为解决以上问题,对嵌入式软件的外部设备进行了研究,构建了数字化测试平台替代实物环境的方案,设计并完成了平台的总线1553B、总线RS422、AD采集、I/O等外部设备;并模拟了平台嵌入式软件真实的运行环境,使测试过程不受实物环境制约,测试激励的注入不受任何限制,保障了测试的充分性;最后,以某电源下位机测试过程为例,实现了故障注入、边界测试,验证了平台在嵌入式软件测试中的有效性和可靠性。 相似文献
17.
更改的判定条件覆盖测试技术研究 总被引：5，自引：2，他引：5
与语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重条件覆盖相比，路径覆盖具有更强的结构覆盖率。但其需要更庞大的测试用例，事实上它并不实用。近年来，一种相对新颖和优秀的结构覆盖准则一一更改的判定条件覆盖(MC/DC)应运而生，它继承了多重条件覆盖的优点，同时只是线性地增加了测试用例的数量。因此，在许多重要的软件，尤其是以嵌入式和实时性为特征的航空机载软件中得到广泛的应用．介绍了MC／DC的特点、设计方法、评估策略及工程应用。 相似文献
18.
依针对MC／DC最4,N试用例集生成效率的问题,依据MC／DC准则,以条件判定组合的复杂逻辑关系为研究对象,采用将原始布尔表达式转化为语法树,再将语法树转化为图,分析图中节点对判定结果的影响的方法,研究了基于图快速生成最小测试用例集的算法．最后结合实倒对该算法进行了验证,并与其他算法进行了比较,结果表明该算法在手动和自动生成最小测试用例集时具有实用性和优越性． 相似文献
19.