软件可测试性动态检测技术研究与实现
| 文献类型 | 学位 |
| 作者 | 张君[1] |
| 机构 | 北京航空航天大学 ↓ |
| 授予学位 | 硕士 |
| 年度 | 2002 |
| 学位授予单位 | 北京航空航天大学 |
| 语言 | 中文 |
| 关键词 | 软件测试;软件可测试性 |
| 摘要 | 该文针对软件可测试性动态检测技术提出了一套完整可行的解决方案,即以软件测试和故障/失效模型为理论基础,建立DMTM模型来检测语句和函数的可测试性.全文共分为六大章节.第一章,从软件测试的角度阐述了进行软件可测试性动态检测技术研究的背景和意义,并对该文的组织结构进行了介绍;第二章,首先介绍了软件测试中的部分术语和变异体测试技术,然后论述了现有软件可测试性动态检测技术的研究现状;在此基础之上,该文的第三章对现有方案进行详细分析,提出了改进的方案,并对其进行了论证.第四章论述了软件可测试性动态检测子系统的实现,它针对C源程序,自动对用户所选的文件或模块进行可测试性的检测;第五章,对系统进行了实验验证;最后,在第六章总结了系统的不足及对今后进一步改进工作的建议. |
影响因子：
dc:title:软件可测试性动态检测技术研究与实现
dc:creator:张君
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media：北京航空航天大学
dc:identifier: LnterrelatedLiterature：北京航空航天大学.2002.
dc:identifier:DOI：
dc: identifier:ISBN:
