检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到8篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

更改的判定条件覆盖测试技术研究被引量：10: 1; 作者张义德王国庆汤幼宁《计算机工程与设计》 CSCD 2003年第5期19-22,26,共5页; 与语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重条件覆盖相比,路径覆盖具有更强的结构覆盖率。但其需要更庞大的测试用例,事实上它并不实用。近年来,一种相对新颖和优秀的结构覆盖准则——更改的判定条件覆盖(MC/DC)应运而生,它... 展开更多; 关键词软件测试判定条件结构覆盖准则覆盖测试软件开发; 下载PDF 职称材料

更改条件/判定覆盖最小真值表生成算法及其应用被引量：7: 2; 作者朱晓波杨伟民叶芯《上海理工大学学报》 CAS 北大核心 2007年第1期84-88,共5页; 研究了从一个布尔表达式生成最小真值表的算法,阐述了在覆盖测试工具中利用此算法辅助设计测试用例的应用问题,以此提高代码覆盖率.; 关键词结构测试更改判定/条件覆盖真值表 Pileatus工具; 下载PDF 职称材料

基于MC/DC生成测试用例方法研究被引量：2: 3; 作者曹爽张育平《工业控制计算机》 2010年第2期67-69,共3页; 设计和编写测试用例是软件测试中最重要的步骤。分析机载系统软件需求,系统状态转换或事件触发总是以满足一个或多个条件为前提的。因此在将需求抽象成布尔表达式基础上,依据MC/DC准则,研究了一个布尔运算符替换算法。将该算法实现为工... 展开更多; 关键词修订的条件/判定覆盖布尔表达式真值表; 下载PDF 职称材料

基于形式化描述测试用例生成的研究与实现被引量：4: 4; 作者王伟光丁洪达曾庆凯《计算机应用》 CSCD 北大核心 2008年第4期1018-1022,共5页; 根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形... 展开更多; 关键词安全评估测试用例生成形式化描述更改条件判定覆盖; 下载PDF 职称材料

基于修正条件判定覆盖的软件测试技术研究和方法应用被引量：4: 5; 作者岳海任慧敏《航天控制》 CSCD 北大核心 2012年第3期69-72,共4页; 对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。; 关键词软件测试修正条件判定覆盖最小测试用例集; 下载PDF 职称材料

基于MC/DC最小测试用例集设计方法研究被引量：3: 6; 作者袁军《航空电子技术》 2010年第3期51-54,共4页; 动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设... 展开更多; 关键词 DO-178B 改进条件/判定范围(MC/DC) 最小测试用例集; 下载PDF 职称材料

几种特定判定形式的MC／DC评估分析被引量：1: 7; 作者张卫民陈宏敏《飞行器测控学报》 2008年第4期56-60,共5页; 介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。; 关键词修正的条件/判定覆盖(MC/DC) 条件判定软件测试 MC/DC分析; 下载PDF 职称材料

修正的条件/判定覆盖分析工具评估与选择: 8; 作者张卫民孙军《载人航天》 CSCD 2009年第3期40-43,53,共5页; 使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个... 展开更多; 关键词修正的条件/判定覆盖覆盖分析工具工具评估; 下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部