统计方法在软件测试中的研究与实现
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-12页 |
| 1 绪论 | 第12-17页 |
| ·研究背景 | 第12-13页 |
| ·研究现状 | 第13-14页 |
| ·论文研究的主要内容 | 第14-15页 |
| ·论文章节安排 | 第15-17页 |
| 2 基于统计方法的软件测试理论 | 第17-28页 |
| ·统计测试的理论基础 | 第17-20页 |
| ·样本与总体 | 第17-18页 |
| ·软件使用的随机属性 | 第18-19页 |
| ·统计测试 | 第19-20页 |
| ·净室软件工程概述 | 第20-27页 |
| ·函数理论 | 第21-22页 |
| ·统计理论 | 第22页 |
| ·净室小组的工作 | 第22-23页 |
| ·净室技术 | 第23-27页 |
| ·本章小结 | 第27-28页 |
| 3 基于使用模型的统计测试的应用 | 第28-57页 |
| ·使用模型的构建 | 第28-34页 |
| ·Markov链使用模型 | 第28-29页 |
| ·Markov链使用模型的组成 | 第29-33页 |
| ·Markov链使用模型的构建过程 | 第33-34页 |
| ·Markov链使用模型的参数分析 | 第34-51页 |
| ·模型整体的参数分析 | 第35-37页 |
| ·状态的参数分析 | 第37-44页 |
| ·边的参数分析 | 第44-48页 |
| ·激励的参数分析 | 第48-51页 |
| ·测试用例生成 | 第51-53页 |
| ·分析测试用例 | 第53-56页 |
| ·本章小结 | 第56-57页 |
| 4 统计测试辅助工具的设计与实现 | 第57-70页 |
| ·总体设计 | 第57-58页 |
| ·模型构建模块的设计实现 | 第58-63页 |
| ·构建软件Markov链使用模型 | 第60页 |
| ·编辑Markov链使用模型 | 第60页 |
| ·检查Markov链使用模型 | 第60-62页 |
| ·打开、保存Markov链使用模型 | 第62-63页 |
| ·参数分析模块的设计实现 | 第63-65页 |
| ·生成测试用例模块的设计实现 | 第65-68页 |
| ·自动生成随机测试用例 | 第66-67页 |
| ·手动生成测试用例 | 第67-68页 |
| ·分析测试用例模块的设计实现 | 第68-69页 |
| ·本章小结 | 第69-70页 |
| 5 工具“MBCGA”的案例应用 | 第70-89页 |
| ·构建“简化模型建模工具”的使用模型 | 第70-71页 |
| ·“简化模型建模工具”的参数分析 | 第71-83页 |
| ·模型整体的参数分析 | 第71-72页 |
| ·模型状态的参数分析 | 第72-76页 |
| ·模型边的参数分析 | 第76-80页 |
| ·模型激励的参数分析 | 第80-83页 |
| ·“简化模型建模工具”的测试用例生成 | 第83-85页 |
| ·分析“简化模型建模工具”的测试用例 | 第85-86页 |
| ·测试结果 | 第86-88页 |
| ·本章小结 | 第88-89页 |
| 6 结论 | 第89-90页 |
| 参考文献 | 第90-92页 |
| 作者简历 | 第92-94页 |
| 学位论文数据集 | 第94页 |
