几种特定判定形式的MC／DC评估分析  

MC/DC Analysis for Specific Forms of Decision

作　　者：张卫民[1,2] 陈宏敏[1] 

机构地区：[1]北京航天飞行控制中心,北京100094 [2]北京航空航天大学计算机学院,北京100083

出　　处：《飞行器测控学报》2008年第4期56-60,共5页Journal of Spacecraft TT&C Technology

摘　　要：介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。This paper introduces Modified Condition/Decision Coverage evaluation methods for specific decision forms. These forms of decision include decisions with comparators, decisions with short circuit logic, sequential IF structures, decisions with bit-wise operations, decisions with feedback logic and decisions with mask logic.

关 键 词：修正的条件/判定覆盖(MC/DC) 条件 判定 软件测试 MC/DC分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]