软件可靠性测试充分性的理论研究
| 文献类型 | 学位 |
| 作者 | 李秋英[1] |
| 机构 | 北京航空航天大学 ↓ |
| 授予学位 | 博士 |
| 年度 | 2004 |
| 学位授予单位 | 北京航空航天大学 |
| 语言 | 中文 |
| 关键词 | 软件可靠性测试充分性;软件测试充分性;软件可靠性测试;软件测试;公理体系 |
| 摘要 | 软件失效给系统造成的严重危害,使得用户对开发高质量的软件提出了迫切要求.软件测试和软件可靠性测试作为保证软件质量和可靠性的重要手段越来越受到人们的重视.软件测试充分性和软件可靠性测试充分性是当前软件测试技术面临的难题之一.本文在分析了国内外在相关领域的研究状况后,主要从理论高度对于软件可靠性测试充分性相关问题进行了研究.本文提出了从质量属性角度对测试充分性进行定义的方法,建立了软件测试充分性和测试充分性准则的理论体系.通过对于质量体系的描述,输入空间的分析,充分性实质的形式化分析,研究了这种定义的合理性.运用从质量属性角度研究测试充分性的方法,对于现有的测试充分性研究成果进行了归纳和分析,将它们归为软件正确性测试充分性的范畴.提出了正确性测试充分性的定义、形式化分析,并对其特点进行了阐述.提出了正确性测试充分度的构想.对于软件可靠性测试充分性进行了研究,提出了软件可靠性测试充分性的定义,分析了两种类型的软件可靠性测试的不同要求和特点,从而提出从测试质量角度和测试质量+软件质量角度建立可靠性测试充分性准则的方法.提出了若干软件可靠性测试充分性准则,分析了准则之间的包含关系,给出了在包含关系中位于上层的软件可靠性测试充分性准则指导下的测试具有更好的测试效果的预计.建立了软件可靠性测试充分性准则的公理体系.从Weyuker公理体系出发,对于软件可靠性测试充分性准则的公理性质进行了研究.在研究过程中,通过严格的证明和严谨的论述,发现原公理体系的一些不完善之处,提出了修改意见,重新明确了测试充分性准则的公理体系.阐述了一种软件可靠性测试充分性准则在实践中的具体应用方法.通过一个实例的试验数据,验证了方法的可行性. |
影响因子：
dc:title:软件可靠性测试充分性的理论研究
dc:creator:李秋英
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media：北京航空航天大学
dc:identifier: LnterrelatedLiterature：北京航空航天大学.2004.
dc:identifier:DOI：
dc: identifier:ISBN:
