论文部分内容阅读
介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。
几种特定判定形式的MC／DC评估分析
【摘 要】
：
介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。
【机 构】
：
北京航天飞行控制中心,北京航空航天大学计算机学院
【出 处】
：
飞行器测控学报
【发表日期】
：
2008年4期
其他文献
渝东南生态保护发展区是在总结发展经验和教训上提出的,具有重要的时代意义。生态保护区是在当下急剧变迁的社会文化条件下,对一个特定地区发展的新型定位。任何社会的发展,
目的观察多发肋骨骨折创伤后不同镇痛方法的效果。探讨防止或减少疼痛对患者造成的不利影响。方法对2013年1月-2014年1月对40例多发肋骨骨折创伤患者分别进行早期镇痛治疗，观
目的：提高胸部DR摄片和CT平扫对双肺微小结节的诊断材料。方法临床随访观察的40例患者的临床资料，进行对比分析。结果胸部DR平片中10%病例表现双肺散在微小结节，90%病例双肺纹理
目的：探讨自拟性骨松颗粒治疗原发性骨质疏松症的疗效。方法选取本院2012年10月-2014年3月收治的23例原发性骨质疏松患者作为研究对象，并给其服用自拟骨松颗粒，两疗程后观察疗效