复杂数据类型测试用例自动生成技术研究

摘要	第1-5页
Abstract	第5-8页
1 绪论	第8-15页
·研究背景及意义	第8-9页
·国内外研究现状	第9-13页
·论文主要研究内容及组织结构	第13-15页
2 复杂数据类型测试用例模型分析	第15-26页
·复杂数据类型测试用例生成的特殊要求	第15-17页
·基于命令谓词的复杂数据类型约束描述	第17-23页
·定制函数	第23-25页
·本章小结	第25-26页
3 复杂数据类型测试用例生成	第26-40页
·复杂数据类型测试	第26-28页
·状态空间	第28-33页
·覆盖等价类结构的选取	第33-35页
·覆盖无效等价类结构补选	第35-37页
·测试数据约减	第37-39页
·本章小结	第39-40页
4 带有复杂数据类型的测试用例自动生成实现	第40-47页
·测试用例自动生成流程	第40-42页
·模块设计	第42-44页
·系统实现关键技术	第44-46页
·本章小结	第46-47页
5 实验	第47-61页
·实验环境	第47页
·实验过程	第47-59页
·实验结果分析	第59-60页
·本章小结	第60-61页
6 总结与展望	第61-63页
·论文总结	第61页
·工作展望	第61-63页
致谢	第63-64页
参考文献	第64-67页
附录 攻读学位期间参与的科研项目	第67页