基于模型的软件测试技术研究

致谢	第1-6页
中文摘要	第6-7页
ABSTRACT	第7-10页
1 绪论	第10-18页
·研究背景	第10-12页
·测试用例生成方法介绍	第12-17页
·本文研究内容及结构	第17-18页
2 基于模型的测试技术	第18-24页
·模型的定义及作用	第18-19页
·常用模型	第19页
·建模准则	第19-20页
·基于模型测试的基本过程	第20-21页
·基于模型测试的优缺点	第21-24页
3 基于FSM模型的测试技术	第24-40页
·FSM模型	第24-26页
·FSM模型简介	第24-26页
·使用FSM建模的优缺点	第26页
·基于FSM模型的测试用例生成方法	第26-36页
·转换路径法	第27页
·唯一输入/输出序列法	第27-29页
·区分序列法	第29-30页
·特征序列法	第30-35页
·部分特征序列法	第35-36页
·有限状态机模型的覆盖标准	第36-40页
·故障模型	第36-38页
·有限状态机模型的覆盖标准	第38-40页
4 测试内容及环境	第40-44页
·GSM 11.11介绍	第40-43页
·测试工具NModel介绍	第43-44页
5 基于FSM的GSM11.11测试生成	第44-51页
·基于FSM的GSM11.11测试生成的设计	第44-46页
·选择要测试的SIM卡文件	第44页
·选择要操作的命令	第44-46页
·基于FSM的测试序列的生成	第46-51页
6 总结	第51-52页
参考文献	第52-54页
作者简历	第54-56页
学位论文数据集	第56页