软件可靠性测试充分性研究
外文标题 | Research on Software Reliability Testing Adequacy |
文献类型 | 期刊 |
作者 | 李秋英[1];阮镰[2];刘斌[3] |
机构 | [1]北京航空航天大学工程系统工程系,北京航空航天大学工程系统工程系,北京航空航天大学工程系统工程系 北京100083,北京100083,北京100083 [2]北京航空航天大学工程系统工程系,北京航空航天大学工程系统工程系,北京航空航天大学工程系统工程系 北京100083,北京100083,北京100083 [3]北京航空航天大学工程系统工程系,北京航空航天大学工程系统工程系,北京航空航天大学工程系统工程系 北京100083,北京100083,北京100083 ↓ |
来源信息 | 年:2003卷:22期:11页码范围:49-52 |
期刊信息 | 测控技术ISSN:1000-8829 |
关键词 | 软件;可靠性;运行;软件可靠性测试充分性准则 |
摘要 | 在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质,重点研究了软件可靠性测试的充分性,将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则,给出将测试充分性准则用于可靠性测试流程的模型. |
收录情况 | ISTIC |
所属部门 | 可靠性与系统工程学院 |
链接地址 | http://d.g.wanfangdata.com.cn/Periodical_ckjs200311016.aspx |
DOI | 10.3969/j.issn.1000-8829.2003.11.016 |
全文
影响因子:
院机关
可靠性与环境工程技术重点实验室
dc:title:软件可靠性测试充分性研究
dc:creator:李秋英;阮镰;刘斌
dc:date: publishDate:2003-11-18
dc:type:期刊
dc:format: Media:测控技术
dc:identifier: LnterrelatedLiterature:测控技术.2003,22(11),49-52.
dc:identifier:DOI:10.3969/j.issn.1000-8829.2003.11.016
dc: identifier:ISBN:1000-8829