面向实时软件Markov使用模型的可靠性测试方法研究

目录

声明

第1章 引言

1.1 研究背景与意义

1.2 国内外研究现状

1.3 主要研究内容

1.4 论文结构安排

第2章 软件可靠性测试

2.1 软件测试

2.2 软件可靠性

2.3 软件可靠性测试

2.4小结

第3章 基于软件Markov时间使用模型的可靠性测试方法

3.1 基于Markov使用模型的可靠性测试

3.2 Markov时间使用模型

3.3 Markov时间使用模型优化生成研究

3.4 实例分析

3.5 小结

第4章 改进的测试用例自动生成方法

4.1 测试用例自动生成过程

4.2 Markov使用模型缺陷分类及优化

4.3 改进的测试用例自动生成方案

4.4 实例分析

4.5小结

第5章 实时软件可靠性测试系统实现

5.1 系统设计与实现

5.2 实例分析

5.3 总结

第6章 结束语

6.1 总结

6.2 展望

致谢

参考文献

附录