|
|
|
知识路径： > 测试技术的分类 > 白盒测试技术 > 白盒测试方法 > 逻辑覆盖法 >
|
被考次数：1次
被考频率：低频率
总体答错率：49%
知识难度系数： 
|
由 软考在线 用户真实做题大数据统计生成
|
|
相关知识点：6个
|
|
|
|
|
修正条件判定覆盖是由欧美的航空/航天制造厂商和使用单位联合制定的“航空运输和装备系统软件认证标准”，目前在国外的国防、航空航天领域应用广泛。这个覆盖度量需要足够的测试用例来确定各个条件能够影响到包含的判定的结果。它要求满足两个条件：首先，每一个程序模块的入口和出口点都要考虑至少要被调用一次，每个程序的判定到所有可能的结果值要至少转换一次；其次，程序的判定被分解为通过逻辑操作符（and、or）连接的bool条件，每个条件对于判定的结果值是独立的。
|
|
|
|
对于如下图所示的例子，可以设计如下表中的8个用例，在此基础上，按照MCDC的要求选择需要的用例。
|
|
|
|
|
|
|
|
|
|
|
|
从表中我们可以看出，布尔变量a可以通过用例1和5达到MCDC的要求（用例2和6或用例3和7也可以满足相应要求），变量b可以通过用例2和4达到MCDC的要求，变量c可以通过用例3和4达到MCDC的要求，因此使用用例集｛1，2，3，4，5｝即可满足MCDC的要求。显而易见，这不是惟一的用例组合。
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
2009年上半年
软件评测师
上午试卷 综合知识
|
第57题
选择题 |
|
49%
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
