利用MC/DC减少测试集大小的方法的研究 被引量：1

1

作者 齐丽娜 高建华 《计算机工程与设计》 CSCD 北大核心 2006年第23期4487-4490,共4页

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

关键词 mc/dc mc/dc对 测试用例 测试集减少 覆盖

在线阅读 下载PDF 职称材料

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

2

作者 陈鑫 杨平 《计算机工程与设计》 CSCD 2004年第3期406-410,共5页

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

关键词 mc/dc准则 软件结构覆盖率 复杂逻辑语句 应用过程改进 Masking方法 逻辑式 软件测试

在线阅读 下载PDF 职称材料

基于MC/DC的测试用例优先级算法研究 被引量：3

3

作者 卢德中 《科学技术与工程》 2009年第14期4040-4043,共4页

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

关键词 mc/dc mc/dc对 测试用例 优先级

在线阅读 下载PDF 职称材料

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

4

作者 王瑞 田宇立 +2 位作者 周东红 李宁 李战怀 《计算机科学》 CSCD 北大核心 2015年第10期170-174,共5页

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

关键词 软件故障定位 测试用例约简 mc/dc覆盖率

在线阅读 下载PDF 职称材料

基于MC/DC准则的确认测试用例生成方法 被引量：2

5

作者 郑平 许胜 《现代电子技术》 2007年第16期114-117,共4页

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

关键词 mc/dc 形式化方法 模型检查 测试准则

在线阅读 下载PDF 职称材料

MC/DC最小测试用例集快速生成算法 被引量：7

6

作者 段飞雷 吴晓 +1 位作者 张凡 董云卫 《计算机工程》 CAS CSCD 北大核心 2009年第17期40-42,45,共4页

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

关键词 改进判定 条件覆盖 最小测试用例集 快速生成算法

在线阅读 下载PDF 职称材料

基于SCADE模型的车载ATP测试用例生成方法 被引量：10

7

作者 李兰心 王海峰 +2 位作者 齐志华 汤圣杰 张启鹤 《铁道学报》 EI CAS CSCD 北大核心 2020年第9期102-110,共9页

车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用... 车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用例的方法。首先,利用SCADE对车载ATP系统进行建模,并针对安全状态机模型生成满足全迁移覆盖准则的测试用例;再根据MC/DC覆盖准则生成测试数据,将抽象的测试用例转化为可直接用于测试的具体测试用例集;最后,通过变异分析对生成的测试用例进行评估。结果表明,测试用例具有良好的覆盖度,优于传统人工方法。 展开更多

关键词 车载ATP系统 SCADE模型 测试用例 基于模型的测试 mc/dc覆盖准则

在线阅读 下载PDF 职称材料

基于形式化描述测试用例生成的研究与实现 被引量：4

8

作者 王伟光 丁洪达 曾庆凯 《计算机应用》 CSCD 北大核心 2008年第4期1018-1022,共5页

根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形... 根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。 展开更多

关键词 安全评估 测试用例生成 形式化描述 更改条件判定覆盖

在线阅读 下载PDF 职称材料

矩阵变换器驱动无刷直流电动机间接调制策略 被引量：3

9

作者 姜田贵 周波 《电工技术学报》 EI CSCD 北大核心 2011年第3期44-51,共8页

将矩阵变换器用于驱动无刷直流电动机,实现对无刷直流电动机的交-交直接控制。基于矩阵变换器交-直-交等效模型,提出一种新的用于驱动无刷直流电动机的矩阵变换器间接调制策略。兼顾输入输出性能,分别对整流级和逆变级应用不同的PWM调... 将矩阵变换器用于驱动无刷直流电动机,实现对无刷直流电动机的交-交直接控制。基于矩阵变换器交-直-交等效模型,提出一种新的用于驱动无刷直流电动机的矩阵变换器间接调制策略。兼顾输入输出性能,分别对整流级和逆变级应用不同的PWM调制策略。整流级应用不含零矢量调制,逆变级采用120°PWM斩控调制方式。文中对所采用的调制策略进行了理论分析与数学推导,详细讨论了两级调制策略合成过程,并将其演化得到常规九开关矩阵变换器驱动无刷直流电动机实现交-交变频调速的控制策略。原理样机实验结果表明,本文所提控制策略正确、有效。 展开更多

关键词 矩阵变换器 无刷直流电动机 间接调制 整流级 逆变级

在线阅读 下载PDF 职称材料

模块化多电平换流器子模块拓扑设计及其控制 被引量：12

10

作者 张建坡 蒋畅 田新成 《电力自动化设备》 EI CSCD 北大核心 2019年第7期78-83,共6页

根据直流故障电流切断位置不同,首先分析基于交流断路器、直流断路器和模块化多电平换流器子模块拓扑的3种故障抑制技术方案及其特点。然后从切断故障电流角度出发,利用双向可控开关对半桥拓扑进行改进设计以抑制直流故障,并与传统半桥... 根据直流故障电流切断位置不同,首先分析基于交流断路器、直流断路器和模块化多电平换流器子模块拓扑的3种故障抑制技术方案及其特点。然后从切断故障电流角度出发,利用双向可控开关对半桥拓扑进行改进设计以抑制直流故障,并与传统半桥子模块相结合构成混合双子模块拓扑以降低单位电平成本和运行损耗。同时研究在闭锁期间混合双子模块内部电容不均衡充电所导致的电容电压不平衡问题及其应对策略。最后在PSCAD/EMTDC中搭建两端仿真模型,对混合双子模块拓扑直流故障抑制特性及电容电压控制策略进行仿真验证。 展开更多

关键词 直流故障 模块化多电平换流器 混合双子模块 电压平衡

在线阅读 下载PDF 职称材料

修正的条件/判定覆盖分析工具评估与选择

11

作者 张卫民 孙军 《载人航天》 CSCD 2009年第3期40-43,53,共5页

使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个... 使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个数、确定独立影响所用的算法、关系运算符的处理、位运算符的处理、组合表达式的处理、单步逻辑运算的处理和插装影响等。 展开更多

关键词 修正的条件/判定覆盖 覆盖分析工具 工具评估

在线阅读 下载PDF 职称材料

韶关发电厂10号机组分散控制系统存在的问题及处理 被引量：1

12

作者 张文波 陈永秋 《广东电力》 2004年第4期86-89,共4页

韶关发电厂10号机组分散控制系统(DCS)在运行过程中出现保护信号误发、多功能处理卡MFP故障、DCS与数字电液调节系统(DEH)接口逻辑不完善、摸拟量控制(MCS)柜失电等问题,分析了问题产生的原因并提出相应的解决方法,目前系统运行稳定,控... 韶关发电厂10号机组分散控制系统(DCS)在运行过程中出现保护信号误发、多功能处理卡MFP故障、DCS与数字电液调节系统(DEH)接口逻辑不完善、摸拟量控制(MCS)柜失电等问题,分析了问题产生的原因并提出相应的解决方法,目前系统运行稳定,控制逻辑满足安全生产的要求。最后,指出在设计、调试和生产过程中应该注意的事项,以保证DCS安全稳定地运行。 展开更多

关键词 分散控制系统 保护信号 多功能处理卡 模拟量控制柜 接口逻辑

在线阅读 下载PDF 职称材料