几种特定判定形式的MC/DC评估分析 |
| |
引用本文: | 张卫民,;陈宏敏.几种特定判定形式的MC/DC评估分析[J].飞行器测控学报,2008(4):56-60. |
| |
作者姓名: | 张卫民 ;陈宏敏 |
| |
作者单位: | [1]北京航天飞行控制中心,北京100094; [2]北京航空航天大学计算机学院,北京100083 |
| |
摘 要: | 介绍了对几种特殊形式的判定进行修正的条件/判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。
|
关 键 词: | 修正的条件/判定覆盖(MC/DC) 条件 判定 软件测试 MC/DC分析 |
MC/DC Analysis for Specific Forms of Decision |
| |
Institution: | ZHANG Wei-min, CHEN Hong-min (1. Beijing Aerospace Control Center, Beijing 100094; 2. College of Computer Science, Beihang University, Beijing 100083) |
| |
Abstract: | 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. |
| |
Keywords: | Modified Condition/Decision Coverage (MC/DC) Condition Decision Software Testing MC/DC A-nalysis |
本文献已被 维普 等数据库收录! |
| 点击此处可从《飞行器测控学报》浏览原始摘要信息 |
| 点击此处可从《飞行器测控学报》下载免费的PDF全文 |