面向对象第三单元总结

1 JML语言的基础及应用

1.1 JML语言

Java建模语言（JML）是一种行为行为规范语言，可以使用给定Java模块的行为。 为了支持JML语言的轴论，我们将Eiffel的“合同设计（contract design）”方法与Larch系列框架规范语言的基于模型的规范方法相结合。 主要文章为以下三篇文章。 一些要素。

1.2 JML语言相关工具

• The AspectJML tool：为Java和AspectJ做运行时检查的工具
• The jml4c tool：基于Eclipse Java编译器开发的JML语言编译器
• Sireum/Kiasan for Java：一个基于契约的自动化验证测试工具
• JMLEclipse：在Eclipse的JDT编译器基础上开发的JML工具包
• JMLUnitNG：自动化测试生成工具
• JMLOK：用随机测试检查java代码是否符合JML规格并对不一致现象给出可能的原因

2.作业的架构设计

第一次

第二次

第三次

第三次使用了并查集的数据结构，进行了封装。

3 心得体会

撰写规格是OO的一种很好的体现，要熟悉写规格的语法，准确的规格利于以后对程序的测试与维护。

主要按照规格来写，逻辑上有了非常大的帮助，测试的过也能感觉到规格的好处。

对于规格的学习对未来的大项目开发，团队编程会有很大的帮助。

面向对象第三单元总结

原文：https://www.cnblogs.com/ManGoStin/p/12944246.html