英语原文共 67 页，剩余内容已隐藏，支付完成后下载完整资料

使用Java 5注释的Java建模语言（JML）的规范语言设计

克里斯蒂娜·博森泰勒

论文提交给研究生院系

部分履行科学大师要求的程度

专业：计算机科学

学习委员会计划：

联合主教授加里·塔文（Gary T. Leavens）

共同教授克里希纳拉詹（Krishna Rajan）

Hridesh Rajan

爱荷华州立大学

艾美，爱荷华州

2008年

版权所有

Kristina Boysen Taylor，2008.保留所有权利。

UMI号码：1453063

贡献

对我父母，谁在一个充满爱和电脑的房子里抚养我。这么多年来，我所有的朋友，教会我玩乐都和努力一样重要。最后，对于我的丈夫特拉维斯来说，他仍然以爱和耐心去追求，尽管我现在好像正面临着不可能的事情。

目录

表列表·············································································································································5

数据清单·········································································································································6

摘要·················································································································································8

1. 概述··································································································································9

1.1介绍··········································································································································9

1.2目标········································································································································10

第二章 文学评论························································································································11

2.1 背景········································································································································11

2.2相关工作································································································································11

第三章 语言设计························································································································13

3.1 背景········································································································································13

3.2 三种方法································································································································14

3.2.1单个注释 14

3.2.2参数注释 14

3.2.3元素注释 15

3.3 讨论········································································································································15

3.3.1一致性 16

3.3.2可读性 16

3.3.3可用性 17

3.3.4可扩展性 17

3.3.5总结 17

3.4 使用案例·······························································································································18

3.4.1规范定义修饰符与规范条款 18

3.4.2模型方法 19

3.4.3规范案例 20

第四章 实施································································································································22

4.1预制········································································································································22

4.1.1 解决语法树问题 22

4.1.2 写字节码 23

4.2添加附加编译器通行证·······································································································24

4.2.1 解析注释类型 23

4.2.2走抽象语法树 24

4.3翻译注释································································································································24

4.3.1写解析器 24

4.3.2整合解析元素 26

4.4结论········································································································································29

第五章 案例分析·······················································································································29

5.1两个小测试案例···················································································································29

5.2一个大的测试案例···············································································································31

第六章 使用JML注释进行基于WEB的验证数据输入···················································33

6.1摘要········································································································································33

6.2介绍········································································································································33

6.3意义········································································································································34

6.4相关工作································································································································35

6.5方法········································································································································36

6.6结果········································································································································36

6.6.1检查个人属性 37

6.6.2检查表单上的属性提交 39

6.7评估·········································································································································40

6.8结论········································································································································41

第七章 讨论和总结·················································································································41

7.1讨论········

剩余内容已隐藏，支付完成后下载完整资料

资料编号：[25641]，资料为PDF文档或Word文档，PDF文档可免费转换为Word