软件可靠性测试充分性
文献类型 | 会议 |
作者 | 李秋英[1];阮镰[2];刘斌[3] |
机构 | [1]北京航空航天大学工程系统工程系 [2]北京航空航天大学工程系统工程系 [3]北京航空航天大学工程系统工程系 ↓ |
会议论文集 | 第六届国际可靠性、维修性、安全性会议论文集 |
来源信息 | 年:2004页码范围:318-324 |
会议信息 | 第六届国际可靠性、维修性、安全性会议ISSN: |
关键词 | 软件测试;软件质量;充分性准则 |
摘要 | 在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类、作用的基础上,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质,重点研究了软件可靠性测试的充分性,将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则,给出将测试充分性准则用于可靠性测试流程的模型. |
所属部门 | 可靠性与系统工程学院 |
全文链接 | http://d.g.wanfangdata.com.cn/Conference_5913250.aspx |
会议地点 | 西安 |
会议开始日期 | 2004-08-26 |
全文
影响因子:
院机关
可靠性与环境工程技术重点实验室
dc:title:软件可靠性测试充分性
dc:creator:李秋英;阮镰;刘斌
dc:date: publishDate:2004-08-26
dc:type:会议
dc:format: Media:第六届国际可靠性、维修性、安全性会议
dc:identifier: LnterrelatedLiterature:第六届国际可靠性、维修性、安全性会议.2004,318-324.
dc:identifier:DOI:
dc: identifier:ISBN: