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

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到6篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

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

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

修正的条件/判定覆盖相关的问题: 2; 作者张卫民申敬松《载人航天》 CSCD 2008年第2期41-45,共5页; 通过讨论进行修正的条件/判定覆盖(MC/DC)分析时可能会遇到的问题,明确所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC,并证明如果将一个判定分解为多个等价的判定,对各个部分满足MC/DC的测试集,对整个判定并不一定满足MC/DC... 展开更多; 关键词修正的条件/判定覆盖条件判定软件测试 MC/DC分析; 在线阅读下载PDF 职称材料

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

面向MC/DC覆盖的白盒单元测试用例自动生成技术: 4; 作者秦畅陈赛 +3 位作者李坤刘恒杨柳马征《科学技术与工程》北大核心 2024年第30期13039-13047,共9页; 在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单... 展开更多; 关键词白盒测试单元测试测试用例自动生成修正条件判定覆盖; 在线阅读下载PDF 职称材料

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

基于MC/DC覆盖的最小测试用例集设计被引量：1: 6; 作者林双才《电子测试》 2019年第23期52-54,共3页; 单元测试在铁路信号电子产品软件的研发过程中占有重要比重,而覆盖率则是单元测试中衡量测试质量的一个重要指标。本文重点介绍软件单元测试过程中为何选择修正条件判定覆盖,而不选择条件判定覆盖和组合条件覆盖作为覆盖率评判标准,同... 展开更多; 关键词条件判定覆盖修正条件判定覆盖组合条件覆盖真值对; 在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部