基于用例规约与Z语言的测试用例生成方法研究

摘要	第1-3页
Abstract	第3-6页
第一章 引言	第6-10页
·研究目的和意义	第6-7页
·国内外研究进展	第7-8页
·主要研究内容及创新点	第8-9页
·论文组织结构	第9-10页
第二章 用例分析技术及形式化方法分析	第10-16页
·用例分析技术	第10-12页
·用例分析技术的优缺点分析	第11-12页
·形式化方法	第12-15页
·Z语言简介	第12-14页
·形式化方法的优缺点分析	第14-15页
·本章小结	第15-16页
第三章 基于用例规约产生Z形式规格说明	第16-31页
·用例规约的精化	第16-19页
·活动图基本概念	第19页
·用活动图描述用例	第19-20页
·产生用例场景	第20-23页
·对活动图的抽象	第20-21页
·用例场景生成算法	第21-23页
·书写Z语言形式规约	第23-28页
·Z语言编辑及类型检查工具	第28-30页
·本章小结	第30-31页
第四章 基于形式规格说明的测试用例生成	第31-47页
·基于形式规格说明产生测试用例	第31-33页
·测试用例的实例化	第33-34页
·测试用例序列生成	第34-37页
·用例场景最大无环有效覆盖序列	第35-36页
·用例场景全前置条件最大无环有效覆盖序列	第36-37页
·实例研究	第37-46页
·构造测试用例序列	第37-44页
·结果评估	第44-46页
·本章小结	第46-47页
第五章 测试用例自动生成工具框架	第47-49页
·系统的总体框架	第47页
·功能模块的实现	第47-48页
·本章小结	第48-49页
第六章 总结与展望	第49-50页
参考文献	第50-53页
攻读学位期间的研究成果	第53-54页
致谢	第54-55页