论文部分内容阅读
故障模型是测试的基础,也是一个测试方法成熟的重要标志。软件的错误表现为2个方面:①计算结果错误;②系统“死机”。导致第1类错误的故障相对来说是比较容易检测的。导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测。死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露。对C++中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型。