软件可靠性综合模型的分析和研究

软件可靠性是系统可信性的重要属性之一。首先讨论了传统软件可靠性模型的主要弱点,接着提出了一种新的软件可靠性估算模型。当前,传统的软件可靠性度量模型中并未涉及大多数软件的复杂性及测试用例的有效性,从而使得在评估软件可靠性时不够精确,甚至是错误的。因此,提出了一些改进软件可靠性度量的方法。这些方法的主要思想是将影响软件复杂性的因素和测试用例的有效性并入软件可靠性模型中,以便使得该模型能更精确地反映实际情况。最后,大量的实验结果也表明了该模型的合理性及有用性。

软硬件测试中预确定距离测试

在随机测试的基础上提出了VLSI电路测试中的一个新概念,即预确定距离测试。随机测试广泛应用于软硬件测试中已经有多年了。众所周知,随机测试中每个测试码都是随机选取的而不管它是否与先前生成的测试码重复。尽管由于测试码选取的随机性使得随机测试并不是十分有效,但是对它作了一些实质性修改从而大大提高了它的测试效率。在预确定距离测试中,总是选择总距离最大的测试码来进行测试,以便使得该测试码所检测到的故障与先前的测试码所检测到的故障尽可能地不同。还详细介绍了构造一个预确定距离测试序列的生成算法,并将其应用到软件测试中。最后,从基准电路上获得的实验结果以及从理论上的分析也表明这种新方法的有效性。