| 第一章 引言 | 第1-19页 |
| ·软件测试和自动化测试软件 | 第7-12页 |
| ·软件测试的充分性准则 | 第12-14页 |
| ·嵌入式实时系统 | 第14-16页 |
| ·课题研究的主要内容 | 第16-19页 |
| 第二章 功能测试的充分性和嵌入式实时系统功能测试 | 第19-25页 |
| ·功能测试的充分性和功能测试的方法 | 第19-20页 |
| ·CRTOSII的API功能测试 | 第20-23页 |
| ·CRTOSII的其它功能测试 | 第23-24页 |
| ·小结 | 第24-25页 |
| 第三章 实时系统的性能基准测试的总结和实践 | 第25-33页 |
| ·实时系统的基准测试方法 - SSC测试 | 第25-26页 |
| ·CRTOSII的SSC性能测试 | 第26-31页 |
| ·CRTOSII的API调用时间测试 | 第31-32页 |
| ·小结 | 第32-33页 |
| 第四章 白盒覆盖率自动化测试的充分性衡量和应用 | 第33-41页 |
| ·白盒覆盖率自动化测试工具Logicscope | 第33页 |
| ·衡量白盒覆盖率测试充分性的指标:覆盖率的度量和收集 | 第33-36页 |
| ·使用Logicscope对CRTOSII进行白盒覆盖率测试 | 第36-39页 |
| ·小结 | 第39-41页 |
| 第五章 软件可靠性测试的充分性准则的研究和实践 | 第41-87页 |
| ·基于运行剖面的可靠性测试 | 第43-48页 |
| ·基于运行剖面的可靠性测试的充分性准则 | 第48-49页 |
| ·基于运行剖面的嵌入式实时系统可靠性测试的实践 | 第49-53页 |
| ·基于马尔可夫链的可靠性测试 | 第53-61页 |
| ·基于马尔可夫链的可靠性测试的充分性判断 | 第61-64页 |
| ·基于马尔可夫链的嵌入式实时系统可靠性测试的实践 | 第64-79页 |
| ·使用运行剖面的基于马尔可夫链的可靠性测试 | 第79-85页 |
| ·小结 | 第85-87页 |
| 第六章 全文总结 | 第87-89页 |
| 致 谢 | 第89-90页 |
| 参考文献 | 第90-91页 |
| 个人简历 研究成果 学术论文 | 第91页 |