应用MC/DC准则时需考虑的问题及其改进方法

MC/DC(修订的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。目前,MC/DC在国际上已被广泛地应用于软件验证和测试过程中,在我国也被应用于一些软件项目中。介绍了MC/DC准则,提出了用此准则进行结构覆盖率分析时需注意的两个问题:结构覆盖率分析的问题和复杂逻辑语句的问题。最后,详细讨论了用MC/DC准则检查逻辑表达式错误时需考虑的3个方面及相应的改进方法,这3个方面包括逻辑式中操作符OR与XOR的误写、括号的位置不正确和逻辑组元被误写。

面向故障定位的基于MC/DC的测试用例约简方法

对不断更新的软件进行回归测试时,持续增加的测试用例会造成累计测试用例数量庞大,进而影响测试成本。在故障定位领域,已有研究在考虑语句覆盖、路径覆盖等的基础上,提出了CMR&PVR等不同的测试用例约简方法。然而,这些方法在一定程度上影响了原始测试用例集的MC/DC(修订的条件/判定)覆盖率。提出一种以MC/DC覆盖为基础的综合测试用例约简方法 MCDCR,利用该方法对原始测试用例集约简后,在确保原有故障定位准确性并保持较高约简比的同时,大幅提高了测试用例对程序的MC/DC覆盖率。采用Ochiai方法在Siemens程序集上进行了实验及验证,结果表明MCDCR约简方法的综合效果明显优于已有的约简方法。

几种特定判定形式的MC／DC评估分析

介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。

MC/DC最小测试用例集递归分块矩阵生成算法

测试用例个数可以影响软件测试的成本与效率,因此最小测试用例集的生成算法具有重要的实用价值。对布尔表达式语法树采用递归分块矩阵处理,得到了MC/DC最小测试用例集生成算法。并证明了该算法的正确性,给出其成立的前提条件。

基于图的MC/DC最小测试用例集快速生成算法

依针对MC/DC最小测试用例集生成效率的问题,依据MC/DC准则,以条件判定组合的复杂逻辑关系为研究对象,采用将原始布尔表达式转化为语法树,再将语法树转化为图,分析图中节点对判定结果的影响的方法,研究了基于图快速生成最小测试用例集的算法.最后结合实例对该算法进行了验证,并与其他算法进行了比较,结果表明该算法在手动和自动生成最小测试用例集时具有实用性和优越性.

MC34063 DC/DC转换控制电路测试方法概述

目前,DC/DC转换器广泛应用于远程及数据通信、计算机、办公自动化设备、工业仪器仪表、军事、航天等领域,涉及到国民经济的各行各业。文章以其中有一定代表性的MC34063电路为例,扼要介绍其电特性和用其构成的升压电路的测试方法,并解析其测试原理和升压电路设计中的注意事项,对DC/DC转换器的分析测试和量产测试提供一些借鉴。

基于Java编译器的MC/DC测试覆盖方法设计

基于Java编译器的MC/DC测试覆盖方法设计,主要对Java文件中存在的条件表达式实现MC/DC测试覆盖算法,并对其条件语句进行插桩,生成插桩文件,针对后续的具体测试用例检查是否满足MC/DC测试覆盖算法以及覆盖率统计。

耦合条件的MC/DC测试用例集生成算法

MC/DC是一套航电A级软件的测试覆盖性准则,可以有效减少测试用例量.针对如何快速获取尽可能小的测试用例集这一难点展开研究,重点关注于具有耦合条件的逻辑表达式,提出了两套解决方案,分别用于解决零耦合/弱耦合条件和强耦合条件问题,并给出了示例证明.结果表明,灵活使用两套算法,可以全面解决一般逻辑表达式的MC/DC测试用例集的快速生成问题.

MC/DC最小测试用例集快速生成算法

以条件判定组合的语法树为研究对象,总结语法树的左右分支对判定结果的影响方式及结果,根据其影响特点提出超越语法树的快速生成改进判定/条件覆盖最小测试用例集的算法。与其他算法在在空间及时间方面进行比较,结果表明该算法具有一定的优越性。

利用MC/DC减少测试集大小的方法的研究

随着软件的发展,测试技术也在发展。MC/DC即修改条件/判定覆盖,是一种较新的结构覆盖准则,它是在C/DC(条件/判定覆盖)的基础上发展起来的。与其它结构覆盖准则相比,它只是线性地增加了测试用例的数量,使得软件测试更加具有可操作性。而对于测试来说,测试用例的选择和优化是至关重要的。在探讨MC/DC的基础上,利用MC/DC的特点,初步提出了利用MC/DC进行测试集减少的方法,使得减少后的测试集与原测试集对测试需求有着相同或相似的覆盖率,并对此方法的利弊做了一定的分析。

基于MC/DC准则的确认测试用例生成方法

形式化的需求规格说明以其能够被自动操纵的形式,精确地描述了软件预期提供的功能,为测试提供了良好的条件。运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试中采用的主要途径。MC/DC(修改的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。结合模型检查技术,提出一种从形式化的软件需求中自动生成测试用例的方法,以达到对软件需求的类似于MC/DC准则的覆盖测试。以一个实际的案例为例,并检验其生成的用例对代码的覆盖率,证明方法的实用性。

基于MC/DC的测试用例优先级算法研究

回归测试过程往往需要执行大量的测试用例。为减少回归测试工作量,可以使用测试用例优先级技术。介绍了MC/DC测试用例优先级算法,通过对MC/DC测试用例集中的测试用例进行优先级排序,使高优先级测试用例比低优先级测试用例在回归测试过程中优先执行,可以更早地发现软件错误和满足代码测试充分性要求,减少回归测试的工作量。

基于二叉树满足MC/DC测试用例设计方法

软件测试是保证软件质量的有效方法,但测试工作过程繁琐,工作量较多。探索高效、可靠的测试用例设计方法一直是大家追求的目标,随着航空航天产品逻辑复杂性的提高及软件规模的日益增大,这种要求也变得更加迫切。依据MC/DC设计的测试用例既提高了测试用例设计的效率又增加了测试覆盖率,比较适合测试逻辑关系相对复杂的软件。当前的很多软件测试工具提供了软件测试覆盖率的判定功能,可以评定设计出的测试用例是否满足MC/DC的要求,而软件测试人员需要的是逆向的过程,论文提出应用唯一原因法和屏蔽法原理设计测试用例,可达到根据逻辑关系自动生成满足MC/DC要求测试用例的目的,提高了测试用例设计的效率。

MC/DC准则在嵌入式软件测试中的应用

MC/DC准则被广泛应用于高安全性的嵌入式软件独立验证和确认中,是一种实用而高效的软件结构覆盖率验证准则。基于嵌入式软件测试的特点与MC/DC的基本概念,提出了MC/DC的最小测试集的形成方法。结合工程应用实例,利用自动化测试工具实现MC/DC测试流程。MC/DC准则在核电仪控系统中的成功应用,对于航空、军工、机器人等高安全性和高可靠性领域有着很好的借鉴作用。

基于MC/DC最小测试用例集设计方法研究

动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。

双DC-DC调压器芯片MC33680的原理及应用

介绍了美国MOTOROLA公司生产的一种用于嵌入式手持电子产品的双DC-DC调节器MC33680的主要特性、引脚功能和工作原理,给出了MC33680双DC-DC调压芯片中各功能的应用与设计方法。

MEASURING C PROGRAM COVERAGE BASED ON BINARY DECISION DIAGRAMS

Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. This letter presents two test generation algorithms based on binary decision diagrams to produce tests for the Multiple-Condition Criterion(M-CC) and the Modified Condition/Decision Criterion(MC/DC), and describes the design of the C program Coverage Measurement Tool (CCMT), which can record dynamic behaviors of C programs and quantify test coverage.

一种生成符合MC／DC覆盖准则的测试用例算法

MC／DC即修改条件／判定及盖，是一种较新的结构覆盖准则，它是在C／DC（条件／判定覆盖）的基础上发展起来的。与其它结构及盖准则相比，它只是线性地增加了测试用例的数量，使得软件测试更加具有可操作性。本文提出了一种符合MC／DC准则的测试用例自动生成方法，并结合实例对该方法进行了验证。

秦山核电二厂1、2号机组DCS改造中MCS控制回路的设计与实现

本文阐述了秦山核电一号机组DCS技术改造项目对于MCS控制及无扰切换的实现。应用北京广利核公司产品MACS6平台对原有北京和利时公司HAS2000进行替换的DCS技术改造,并与原上海Foxbro公司生产的手操器进行连接。文中介绍了上海Foxbro公司的手操器功能,MACS6平台手操器控制单元NM811+NM812+NM3811功能,MACS6平台在单独作用下如何实现内外给定的切换和遇到问题的解决方案,并重点对上海Foxbro的手操器与广利核NM811连接后,如何实现闭环控制以及无扰切换进行讨论和分析。论证了MACS6平台在秦山核电二期应用实现闭环控制的无扰切换的功能。