软件可靠性测试充分性准则的公理系统研究

摘要：

1975年,Goodenough和Gerhart在研究软件测试能否保证软件的正确性时首次提出了软件测试理论的中心问题是软件测试充分性问题,即如何确定一个软件测试充分性准则来指出测试到何种程度是充分的。软件可靠性测试也面临同样的问题。迄今为止,人们已经提出了许多软件测试充分性准则,并试图对比各种准则的优劣,但结果一直不令人满意。80 年代中期,人们开始对软件测试充分性准则进行公理化研究,充分性准则公理系统被认为是对软件测试充分性准则所具有的一般性质的刻划和描述,但尚没有一种被公认为是揭示了软件测试充分性的基本性质的,因此对于这些“公理系统”定义的性质能否被视为公理,人们尚未达成共识。基于对原有测试充分性准则的公理系统进行的分析和形式化阐述,文章对软件可靠性测试充分性准则进行了公理化的研究,并对结果进行了分析。在研究过程中,提出了对于原有测试充分性准则公理系统的改进建议。

关键词： 公理系统 软件测试 可靠性测试 充分性准则

作者: 李秋英

作者单位: 北京航空航天大学100083

会议类型: 国内会议

会议名称: 第7届国际可靠性、维修性、安全性学术会议(The Seventh International Conference on Reliability,Maintainability and Safety)

会议地点: 北京

会议语种:中文

在线出版日期: 2007-08-22（万方平台首次上网日期，不代表论文的发表时间）