| 【中文题名】 | 嵌入式实时系统测试的充分性研究与实践 |
| 【英文题名】 | Research and Implementation of Software Test Adequacy Criterion on Embeded Realtime Operation System |
| 【学科专业】 | 计算机应用技术 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2004-10-26 |
| 【中关键词】 | 嵌入式软件,测试充分性,软件可靠性测试,覆盖率,马尔科夫链,运行剖面 |
| 【英关键词】 | Embedded Software,Test Adequacy,Software Reliability Testing,Coverage Rate,Markov Chain,Operation Profile, |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>计算技术、计算机技术>一般性问题>调整、测试、校验> |
| 【论文摘要】 | 随着嵌入式计算机的使用日益广泛,嵌入式实时系统的测试工作变得越来越重要。测试工作中的一个核心问题是何时能够停止测试,即如何确定测试的充分性问题。本文分析并研究了功能测试、性能测试、白盒覆盖率自动化测试和可靠性测试的充分性准则,并应用这些充分性准则对一个具体的嵌入式实时系统(CRTOSII)进行了实践。
以本论文前期的功能测试作为铺垫,为后面的性能测试和白盒覆盖率自动化测试积累了的经验。性能测试按照SSC基准测试完成,白盒覆盖率自动化测试则以路径的覆盖率为充分性指标,对测试Logicscope工具进行了修改并完成测试工作。同时,SSC基准测试的时间指标和白盒覆盖率自动化测试的覆盖率指标作为评价测试工作和操作系统的重要依据。
在可靠性测试中,使用了基于运行剖面的可靠性测试和基于马尔可夫链的可靠性测试两种方法,前者以故障强度为充分性准则,后者以状态和状态转换图的覆盖和Discriminant值为充分性准则。还尝试将运行剖面用于基于马尔可夫链的可靠性测试的使用链的构建中,让使用链能更贴切地描述软件实际的使用情况,从而让使用链生成的测试案例能按用户的使用方式对软件进行测试,获得更好的测试效果。 |
| 【论文题纲】 |
|
第一章 引言 |
7-19 |
|
1.1 软件测试和自动化测试软件 |
7-12 |
|
1.2 软件测试的充分性准则 |
12-14 |
|
1.3 嵌入式实时系统 |
14-16 |
|
1.4 课题研究的主要内容 |
16-19 |
|
第二章 功能测试的充分性和嵌入式实时系统功能测试 |
19-25 |
|
2.1 功能测试的充分性和功能测试的方法 |
19-20 |
|
2.2 CRTOSII的API功能测试 |
20-23 |
|
2.3 CRTOSII的其它功能测试 |
23-24 |
|
2.4 小结 |
24-25 |
|
第三章 实时系统的性能基准测试的总结和实践 |
25-33 |
|
3.1 实时系统的基准测试方法 - SSC测试 |
25-26 |
|
3.2 CRTOSII的SSC性能测试 |
26-31 |
|
3.3 CRTOSII的API调用时间测试 |
31-32 |
|
3.4 小结 |
32-33 |
|
第四章 白盒覆盖率自动化测试的充分性衡量和应用 |
33-41 |
|
4.1 白盒覆盖率自动化测试工具Logicscope |
33 |
|
4.2 衡量白盒覆盖率测试充分性的指标:覆盖率的度量和收集 |
33-36 |
|
4.3 使用Logicscope对CRTOSII进行白盒覆盖率测试 |
36-39 |
|
4.4 小结 |
39-41 |
|
第五章 软件可靠性测试的充分性准则的研究和实践 |
41-87 |
|
5.1 基于运行剖面的可靠性测试 |
43-48 |
|
5.2 基于运行剖面的可靠性测试的充分性准则 |
48-49 |
|
5.3 基于运行剖面的嵌入式实时系统可靠性测试的实践 |
49-53 |
|
5.4 基于马尔可夫链的可靠性测试 |
53-61 |
|
5.5 基于马尔可夫链的可靠性测试的充分性判断 |
61-64 |
|
5.6 基于马尔可夫链的嵌入式实时系统可靠性测试的实践 |
64-79 |
|
5.7 使用运行剖面的基于马尔可夫链的可靠性测试 |
79-85 |
|
5.8 小结 |
85-87 |
|
第六章 全文总结 |
87-89 |
|
致 谢 |
89-90 |
|
参考文献 |
90-91 |
|
个人简历 研究成果 学术论文 |
91 |
|
| 【DOI】 | LunWen.ID:2.2008.363097 |
