软件可靠性测试充分性

摘要：

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类、作用的基础上,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质,重点研究了软件可靠性测试的充分性,将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则,给出将测试充分性准则用于可靠性测试流程的模型.

关键词： 软件测试 软件质量 充分性准则

作者: 李秋英 阮镰 刘斌

作者单位: 北京航空航天大学工程系统工程系

会议类型: 国内会议

会议名称: 第六届国际可靠性、维修性、安全性会议

会议地点: 西安

会议语种:中文

页码: 318-324

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