面向测试和模型检测需求的程序建模技术研究

摘要	第1-4页
Abstract	第4-6页
引言	第6-7页
1 绪论	第7-9页
·研究现状	第7页
·课题研究内容和方法	第7-8页
·论文组织结构	第8-9页
2 相关理论和技术介绍	第9-13页
·基本路径测试法	第9-10页
·Web服务概述	第10-13页
·Web服务接口描述语言——WSDL	第10-11页
·Web服务组合——BPEL	第11-13页
3 程序建模基础研究	第13-17页
·子程序划分	第13-14页
·基本块划分	第14-17页
4 程序建模体系研究	第17-31页
·代数模型表达	第17-23页
·物理存储模型表达	第23-28页
·WSDL描述节点信息	第23页
·BPEL描述控制流	第23-28页
·可视化模型表达	第28-31页
5 程序建模工具的设计与实现	第31-36页
·程序建模工具的设计	第31-33页
·程序建模工具的实现	第33-36页
6 案例分析	第36-47页
·八皇后算法建模	第36-40页
·哲学家算法建模	第40-43页
·背包算法建模	第43-47页
结论	第47-48页
参考文献	第48-50页
申请学位期间的研究成果及发表的学术论文	第50-51页
致谢	第51页