| 摘要 | 第1-6页 |
| ABSTRACT | 第6-12页 |
| 1 绪论 | 第12-31页 |
| ·软件测试的意义 | 第12-13页 |
| ·软件工程研究与软件测试 | 第13-23页 |
| ·测试过程模型的研究 | 第14-17页 |
| ·测试层次划分方法 | 第17-21页 |
| ·测试用例生成方法 | 第21-23页 |
| ·软件测试研究现状 | 第23-30页 |
| ·面向对象软件测试研究 | 第23-25页 |
| ·基于构件的软件测试研究 | 第25-27页 |
| ·新的研究热点 | 第27-30页 |
| ·本文的研究内容与组织 | 第30-31页 |
| 2 测试用例生成方法理论基础 | 第31-50页 |
| ·软件测试理论基础 | 第32-39页 |
| ·软件测试的形式化描述 | 第32-34页 |
| ·测试准则检错能力比较和评价 | 第34-37页 |
| ·分割测试模型 | 第37-39页 |
| ·分割测试方法与测试相关性 | 第39-42页 |
| ·分割测试的缺陷 | 第39-40页 |
| ·软件模型的错误预期 | 第40-41页 |
| ·测试等价性假设与测试相关性 | 第41-42页 |
| ·测试效率 | 第42-49页 |
| ·测试的充分性 | 第43-44页 |
| ·提高测试用例集合测试效率的主要途径 | 第44-48页 |
| ·其他测试效率改进方法 | 第48-49页 |
| ·小结 | 第49-50页 |
| 3 基于模型比较的测试用例生成方法思想与流程 | 第50-61页 |
| ·模型比较测试的基本思想 | 第50-55页 |
| ·软件开发中的模型变迁 | 第50-52页 |
| ·软件模型与输入域分割 | 第52-53页 |
| ·基于模型比较的测试用例生成方法 | 第53-55页 |
| ·模型比较测试方法的流程 | 第55-57页 |
| ·基准模型语言选择 | 第57-59页 |
| ·模型的语法和语义选择 | 第57-58页 |
| ·模型的层次选择 | 第58-59页 |
| ·分析及相关结论 | 第59-60页 |
| ·基于模型比较测试方法的可行性和有效性分析 | 第59页 |
| ·基于模型比较测试方法的适用范围 | 第59-60页 |
| ·小结 | 第60-61页 |
| 4 基于等价类的模型比较测试 | 第61-78页 |
| ·等价类模型描述语言 | 第63-65页 |
| ·可行性论证 | 第63-65页 |
| ·等价类模型描述语言 | 第65页 |
| ·模型生成 | 第65-69页 |
| ·需求模型构造方法 | 第65-66页 |
| ·实现模型抽取方法 | 第66-69页 |
| ·模型比较 | 第69-74页 |
| ·等价类模型的差异 | 第69-70页 |
| ·模型比较中的关键技术 | 第70-72页 |
| ·模型调谐与比较过程 | 第72-74页 |
| ·用例生成 | 第74-75页 |
| ·实验 | 第75-76页 |
| ·分析及评价 | 第76-77页 |
| ·小结 | 第77-78页 |
| 5 基于EFSM 的模型比较测试 | 第78-110页 |
| ·使用EFSM 模型进行基于状态的类测试 | 第79-93页 |
| ·类与基于状态的类测试 | 第79-83页 |
| ·基准模型的选择 | 第83-85页 |
| ·EFSM 与类测试 | 第85-93页 |
| ·EFSM 模型生成 | 第93-100页 |
| ·需求模型构造 | 第93-96页 |
| ·实现模型抽取 | 第96-100页 |
| ·模型调谐与比较 | 第100-102页 |
| ·模型差异定义 | 第100-101页 |
| ·模型比较过程及相关算法 | 第101-102页 |
| ·用例生成 | 第102-103页 |
| ·实验 | 第103-106页 |
| ·分析与评价 | 第106-108页 |
| ·性能代价分析 | 第107页 |
| ·EFSM 的模型同义异型的问题 | 第107-108页 |
| ·可以改进的地方 | 第108页 |
| ·小结 | 第108-110页 |
| 6 全文总结与展望 | 第110-113页 |
| ·本文的主要工作 | 第110-111页 |
| ·研究了测试用例生成策略的效率 | 第110页 |
| ·提出了基于模型比较的测试用例生成方法 | 第110-111页 |
| ·讨论了使用等价类模型进行基于模型比较的测试用例生成 | 第111页 |
| ·讨论了使用EFSM 模型进行基于模型比较的测试用例生成 | 第111页 |
| ·本文的主要创新点 | 第111-112页 |
| ·未来的研究方向 | 第112-113页 |
| 致谢 | 第113-114页 |
| 参考文献 | 第114-123页 |
| 附录1 攻读博士学位期间发表的学术论文 | 第123-124页 |
| 附录2 攻读博士学位期间主要的科研经历 | 第124页 |