论文部分内容阅读
介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。
几种特定判定形式的MC／DC评估分析
【摘 要】
：
介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。
【机 构】
：
北京航天飞行控制中心,北京航空航天大学计算机学院
【出 处】
：
飞行器测控学报
【发表日期】
：
2008年4期
其他文献
渝东南生态保护发展区是在总结发展经验和教训上提出的,具有重要的时代意义。生态保护区是在当下急剧变迁的社会文化条件下,对一个特定地区发展的新型定位。任何社会的发展,
目的观察多发肋骨骨折创伤后不同镇痛方法的效果。探讨防止或减少疼痛对患者造成的不利影响。方法对2013年1月-2014年1月对40例多发肋骨骨折创伤患者分别进行早期镇痛治疗，观
目的观察和探究胆囊结石合并慢性阻塞性肺疾病（COPD）患者行腹腔镜胆囊切除术的麻醉效果。方法将在我院医治的胆囊结石合并COPD患者90例,随机均分为对照组和实验组,各45例,所有
目的：提高胸部DR摄片和CT平扫对双肺微小结节的诊断材料。方法临床随访观察的40例患者的临床资料，进行对比分析。结果胸部DR平片中10%病例表现双肺散在微小结节，90%病例双肺纹理
目的：探讨自拟性骨松颗粒治疗原发性骨质疏松症的疗效。方法选取本院2012年10月-2014年3月收治的23例原发性骨质疏松患者作为研究对象，并给其服用自拟骨松颗粒，两疗程后观察疗效
目的探讨有机磷农药中毒患者的急救护理措施。方法我院对157例有机磷农药中毒患者进行规范化抢救护理,并观察其救治成功率。结果经规范化抢救护理,本文157例患者中有12例因中
研究了对干扰前不同图像质量的合成孔径雷达（SAR）的干扰效果问题。从干扰前SAR图像质量指标积分旁辩比（ISLR）入手，提出等效信干比的概念，建立积分旁辩比与等效信干比的关系，分析等效
在实际工程应用中,为了提高雷达测量精度,电波折射误差的修正主要采用实时修正方法.本文给出了电波折射误差实时修正的公式拟合方法,该方法在实际应用中能够快速得到折射误差
2011年12月29日,国务院新闻办公室发表了《2011年中国的航天》白皮书。对2006年以来中国航天的主要进展与未来五年的主要任务作了介绍和说明。白皮书全文近1万字,分为前言、