修正的条件/判定覆盖相关的问题

来源 :载人航天 | 被引量 : 0次 | 上传用户：yangmu2003

【摘要】

：

通过讨论进行修正的条件/判定覆盖(MC/DC)分析时可能会遇到的问题,明确所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC,并证明如果将一个判定分解为多个等价的判定,

【作者】

：

张卫民申敬松

【机构】

：

北京航天飞行控制中心

【出处】

：

载人航天

【发表日期】

：

2008年02期

【关键词】

：

修正的条件/判定覆盖条件判定软件测试 MC/DC分析

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

通过讨论进行修正的条件/判定覆盖(MC/DC)分析时可能会遇到的问题,明确所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC,并证明如果将一个判定分解为多个等价的判定,对各个部分满足MC/DC的测试集,对整个判定并不一定满足MC/DC。同时指出汇编语言程序同样需要考虑MC/-DC问题,提出MC/DC分析发现问题的方式,以及对问题的处理建议。

其他文献

把握战略机遇共促行业发展——访中国勘察设计协会建筑设计分会会长文兵

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技

期刊

全过程工程咨询工程总承包建筑师负责制建筑设计行业勘察设计

4个简单动作测试肌肉年龄

肌肉力量的强弱在某种程度上也反映了一个人的健康状况，但如何知道自己的肌肉力量是否正常呢？近日，日本《日经健康》杂志刊文，介绍了日本筑波大学专门研究老龄化与体力关系的田中

期刊

肌肉力量年龄测试健康状况杂志刊文筑波大学老龄化日本

海洋经济结构转型中创新驱动效应测度研究——基于两阶段网络DEA

根据海洋创新和结构升级的特点，构建了包含初始创新投入、非研发创新投入、中间创新产出、结构升级四个维度的指标体系，采用2009—2014年的数据，运用两阶段网络DEA方法和主成分

期刊

海洋产业创新驱动结构转型纯技术效率规模效率

打造活力课堂,追寻有效教学——《乌鸦喝水》案例分析

课堂上教师的主要作用在于组织和引导,学生通过自身活动来获取知识.课堂上没有学生参与就没有效率.自主、合作、探究的学习方式是语文课堂所追寻的高效课堂,教师必须培养他们

期刊

主体地位活力有效性

为乡村振兴提供人才支撑

实施乡村振兴战略,人才是关键。要把人力资源开发放在首要位置,突破乡村人才制约瓶颈,加快现代农民培育,强化人才支撑作用。目前,江苏在乡村人才振兴方面存在突出短板,亟待创

期刊

工作体制机制人力资源开发人才活力乡村振兴人力资本开发内生动力制约瓶颈上热下冷

构建人才发展体制机制优势

近年来,南通市委、市政府紧紧围绕全市经济社会发展大局,全面确立人才优先发展战略,先后出台了一系列重大人才政策,聚力实施"江海英才集聚工程",着力创新人才发展体制机制,全

期刊

长三角区域科技服务体系研发机构市场化配置机制优势政府购买服务人才集聚

PDM/PLM系统中高性能工作流引擎的研究与实践

文章通过探索基于分布式组件技术的工作流引擎模型中的线程池实现技术,来解决PDM/PLM工作流管理系统中工作流引擎的多任务并发和高性能问题。

期刊

产品数据管理(PDM)产品生命周期管理(PLM)工作流引擎线程池

多区域变风量空调控制系统仿真研究

变风量（VAV）空调系统具有节能、装机容量小等特点。总风量控制法直接根据末端装置的设定风量计算出要求的风机转速。本文针对一典型两层建筑按设计参数采用机理分析法求得动态

期刊

总风量控制法动态模型模型预测控制动态仿真

纸面石膏板在干燥机中位置的计算与应用

本文介绍了纸面石膏板在干燥机内部位置精准计算方法,采用该方案可以让中控室操作人员清晰直观地了解石膏板在干燥机内的位置。

期刊

PLC计数器位移算法

坚持和完善党的领导实现国家治理现代化

党的十九届四中全会系统总结了我国国家制度和国家治理体系的显著优势。其中,"坚持党的集中统一领导,坚持党的科学理论,保持政治稳定,确保国家始终沿着社会主义方向前进的显

期刊

坚持和完善国家治理体系党的领导中国特色社会主义制度统领地位国家治理现代化集中统一领导显著优势

修正的条件/判定覆盖相关的问题

与本文相关的学术论文