论文部分内容阅读
软件的可靠性估计、程序结构及测试之间存在着重要的联系。针对一个程序及其输入值有限集,可以由测试来处理所精心定义的程序状态。但是,程序测试的基本理论仍不明瞭,其部分原因是测试的目标不明确,对测试或者测试方法的评价也没有统一的标准。测试不应该以纠错为最终目标,其最终目标应该是度量被估测软件的可靠性。基于这个目标,需要提出合理的可信度理论,并以它为基础,明确应该使用什么样的测试方法及测试环境。目前可信度理论的轮廓还不十分清楚。