摘要
软件的可靠性估计、程序结构及测试之间存在着重要的联系。针对一个程序及其输入值有限集,可以由测试来处理所精心定义的程序状态。但是,程序测试的基本理论仍不明瞭,其部分原因是测试的目标不明确,对测试或者测试方法的评价也没有统一的标准。测试不应该以纠错为最终目标,其最终目标应该是度量被估测软件的可靠性。基于这个目标,需要提出合理的可信度理论,并以它为基础,明确应该使用什么样的测试方法及测试环境。目前可信度理论的轮廓还不十分清楚。
There are important internal relations among software reliability, program structure and testing. Over a finite collection of input values, testing deals with the well defined situation of a fixed program. However, the fundamental theory of testing is in disarray. Part reasons are a confusion of testing goals and assessments for test method. Testing's primary goal is not to check errors. It should be to measure the dependability of tested software. In support of this goal, it is necessary to suggest dependability theory and also necessary to know what test methods and what circumstances should be used. The outlines of dependability theory are not yet clear.
出处
《计算机应用与软件》
CSCD
2000年第7期12-17,59,共7页
Computer Applications and Software
基金
机械部发展基金项目(编号:96JA0205)
关键词
可信度理论
可靠性
软件测试
软件开发
Dependability Operational profile Reliability Failure intensity
