声明
摘要
第一章 绪论
1.1 研究背景
1.2 国内外研究现状
1.2.1 国外研究现状
1.2.2 国内研究现状
1.3 研究目标和主要内容
1.4 论文的组织结构
第二章 形式化方法与SOFL语言
2.1 形式化方法
2.1.1 形式化规格说明(formal specification)
2.1.2 形式化验证(formal verification)
2.1.3 程序精化(Refinement)技术
2.2 形式化工程方法
2.3 SOFL简介
2.3.1 三步建立形式化规格说明机制
2.3.2 严格审查(Rigorous Review)技术进行验证和测试
2.3.3 与软件开发过程相结合
2.3.4 SOFL的局限性
2.4 本章小结
第三章 转换分析与设计
3.1 系统需求分析
3.2 系统整体框架
3.3 模块(module)转换分析
3.3.1 模块(module)简介
3.3.2 过程(process)结构和转换分析
3.3.3 模块转换原则设计
3.3.4 模块转化示例
3.4 数据类型(data type)转换分析
3.5 本章小结
第四章 系统实现
4.1 抽象转换树
4.2 实现系统框架
4.3 模块(module)转换实现
4.3.1 XmlTool类
4.3.2 ConstantTransformation类
4.3.3 TypeTransformation类
4.3.4 VariableTransformation类
4.3.5 FunctionTransformation类
4.3.6 ProcessTransformation类
4.3.7 ModuleDeclarationTransformation类
4.4 数据类型(data type)转换实现
4.4.1 基础数字类
4.4.2 set类
4.4.3 sequence类
4.4.4 map类
4.4.5 composite类和product类
4.4.6 union类
4.5 本章小结
第五章 系统测试
5.1 测试方案
5.1.1 测试目标
5.1.2 测试环境
5.1.3 测试方案
5.2 系统测试过程与结果
5.2.1 常量声明(constant declaration)转换测试
5.2.2 类型声明(type declaration)转换测试
5.2.3 变量声明(variable declaration)转换测试
5.2.4 过程声明(process declaration)转换测试
5.2.5 函数声明(function declaration)转换测试
5.2.6 模块(module)转换测试
5.2.7 测试总结
5.3 本章小结
第六章 总结和展望
6.1 本文工作总结
6.2 未来展望
致谢
参考文献