试论基于缺陷模式的软件测试.pptVIP

4.3.2 故障模式 3．使用未初始化变量故障模式（Uninitialized Variable Fault，UVF） 定义： 使用未初始化变量故障：存在一个路径，在该路径上使用前面没有被赋初值的变量是使用未初始化变量故障。 （分析教材例4-13、例4-14、例4-15 、例4-16 、例4-17 ） 第三十一页，共七十九页。 4.3.2 故障模式 4．空指针使用故障（NULL Pointer Dereference Fault NPDF） 定义： 空指针使用故障：引用空指针或给空指针赋值的都是空指针使用故障。 （分析教材例4-18、表4-2 ） 第三十二页，共七十九页。 4.3.2 故障模式 5．非法计算类故障（Illegal Computing Fault ILCF） 定义： 非法计算类故障：是指计算机不允许的计算。 一旦非法计算类故障产生，系统将强行退出。 例如： 除数为0故障。 对数自变量为0或负数故障。 根号内为负数的故障。 第三十三页，共七十九页。 4.3.2故障模式 6．死循环结构模式(Dead Loop Fault DLF) 定义：