嵌入式实时系统测试的充分性研究与实践

摘要

随着嵌入式计算机的使用日益广泛,嵌入式实时系统的测试工作就变得越来越重要.测试工作中的一个核心问题是何时能够停止测试,也就是如何确定测试的充分性问题.本文分析并研究了功能测试、性能测试、白盒覆盖率自动化测试和可靠性测试的充分性准则,并应用这些充分性准则对一个具体的嵌入式实时系统(CRTOSⅡ)进行了实践.以本论文前期的功能测试作为铺垫,为后面的性能测试和白盒覆盖率自动化测试积累了的经验.性能测试按照SSC基准测试完成,白盒覆盖率自动化测试则以路径的覆盖率为充分性指标,对测试Logicscope工具进行了修改并完成测试工作.将SSC基准测试的时间指标和白盒覆盖率自动化测试的覆盖率指标作为评价测试工作和操作系统的重要依据.在可靠性测试中,使用了基于运行剖面的可靠性测试和基于马尔可夫链的可靠性测试两种方法,前者以故障强度为充分性准则,后者以状态和状态转换图的覆盖和Discriminant值为充分性准则.还尝试将运行剖面用于基于马尔可夫链的可靠性测试的使用链的构建中,让使用链能更贴切的描述软件实际的使用情况,从而让使用链生成的测试案例能按用户的使用方式对软件进行测试,获得更好的测试效果.

目录

文摘

英文文摘

独创性声明及关于论文使用授权的说明

第一章引言

1.1软件测试和自动化测试软件

1.2软件测试的充分性准则

1.3嵌入式实时系统

1.4课题研究的主要内容

第二章功能测试的充分性和嵌入式实时系统功能测试

2.1功能测试的充分性和功能测试的方法

2.2 CRTOSII的API功能测试

2.3 CRTOSII的其它功能测试

2.4小结

第三章实时系统的性能基准测试的总结和实践

3.1实时系统的基准测试方法-SSC测试

3.2CRTOSII的SSC性能测试

3.3CRTOSII的API调用时间测试

3.4小结

第四章白盒覆盖率自动化测试的充分性衡量和应用

4.1白盒覆盖率自动化测试工具Logicscope

4.2衡量白盒覆盖率测试充分性的指标：覆盖率的度量和收集

4.3使用Logicscope对CRTOSII进行白盒覆盖率测试

4.4小结

第五章软件可靠性测试的充分性准则的研究和实践

5.1基于运行剖面的可靠性测试

5.2基于运行剖面的可靠性测试的充分性准则

5.3基于运行剖面的嵌入式实时系统可靠性测试的实践

5.4基于马尔可夫链的可靠性测试

5.5基于马尔可夫链的可靠性测试的充分性判断

5.6基于马尔可夫链的嵌入式实时系统可靠性测试的实践

5.7使用运行剖面的基于马尔可夫链的可靠性测试

5.8小结

第六章全文总结

致谢

参考文献

个人简历 研究成果 学术论文