基于扩展有限状态机软件测试用例自动生成的研究
| 第一章 绪论 | 第1-13页 |
| 1．1 论文背景 | 第9页 |
| 1．2 国内外研究现状 | 第9-10页 |
| 1．3 论文的主要研究工作及意义 | 第10-11页 |
| 1．4 论文的组织安排 | 第11-13页 |
| 第二章 软件测试 | 第13-19页 |
| 2．1 测试概述 | 第13页 |
| 2．2 测试的相关概念 | 第13-14页 |
| 2．3 测试阶段 | 第14-16页 |
| 2．4 基于规约的软件测试 | 第16-19页 |
| 2．4．1 概述 | 第16-17页 |
| 2．4．2 形式方法和形式规格说明 | 第17-19页 |
| 第三章 面向对象的软件测试 | 第19-24页 |
| 3．1 面向对象程序设计对软件测试的影响 | 第19-21页 |
| 3．1．1 信息隐蔽和封装性对测试的影响 | 第19-20页 |
| 3．1．2 继承性对测试的影响 | 第20页 |
| 3．1．3 多态性和动态绑定对测试的影响 | 第20-21页 |
| 3．2 面向对象软件的测试策略与范围划分 | 第21-22页 |
| 3．3 面向对象软件测试的覆盖标准 | 第22-24页 |
| 第四章 基于 EFSM测试序列自动生成 | 第24-44页 |
| 4．1 有限状态机(FSM)的相关定义 | 第24-27页 |
| 4．2 扩展有限状态机概述与相关概念 | 第27-29页 |
| 4．3 基于EFSM测试的基本思想 | 第29-31页 |
| 4．4 基于扩展有限状态机测试的覆盖标准 | 第31-33页 |
| 4．5 初始的EFSM到确定的EFSM的转换 | 第33-36页 |
| 4．5．1 子状态的生成 | 第33-34页 |
| 4．5．2 测试环境的建立 | 第34-36页 |
| 4．6 基于有限状态机的四种经典测试方法 | 第36-44页 |
| 4．6．1 T方法 | 第36-37页 |
| 4．6．2 U方法 | 第37-40页 |
| 4．6．3 D方法 | 第40-41页 |
| 4．6．4 W方法 | 第41-44页 |
| 第五章 测试输入数据自动生成 | 第44-56页 |
| 5．1 状态迁移正规表达式的产生 | 第44-48页 |
| 5．1．1 变量影响范围的确定 | 第45-46页 |
| 5．1．2 一般表达式到正则表达式的转换 | 第46-48页 |
| 5．2 确定输入变量区间 | 第48-49页 |
| 5．3 测试输入数据的确定 | 第49-56页 |
| 5．3．1 目标函数的确定 | 第49-51页 |
| 5．3．2 梯度下降方向的确定 | 第51页 |
| 5．3．3 最优步长的确定 | 第51-53页 |
| 5．3．4 分段梯度最优下降算法 | 第53-56页 |
| 结论与展望 | 第56-58页 |
| 致谢 | 第58-59页 |
| 参考文献 | 第59-63页 |
| 攻读学位期间发表的学术论文 | 第63页 |
