BOOLEAN表达式故障的测试方法研究  

作　　者：宫云战[1] 高文玲[1] 李晓维[2] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072 [2]北京大学计算机系,北京100080

出　　处：《计算机应用》2000年第S1期190-191,共2页journal of Computer Applications

摘　　要：分析了软件BOOLEAN表达式中常见的故障。给出了VNF测试的一般计算格式 ,并证明了测试VNF的用例UVNF对ENF、VRF、ORF、ASF的检测能力。该方法对BOOLEAN表达式故障的检测是通用的。

关 键 词：BOOLEAN表达式 故障 测试方法 

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