摘要：
一、架构设计 1.第一次作业 第一次作业的官方接口中只涉及到了类图的查询操作，所以需要解决的主要问题就是如何合理解析UML类图并进行存储。我采用的方法是用新增自定义类来模拟UML中的类、接口和方法元素。存储类的自定义类中包括类的属性、方法、关联、父亲和实现的接口等信息，存储接口的自定义类中存储了接口 阅读全文
摘要：
一、JML理论基础及应用工具链 1.JML理论基础 JML是用于对java程序进行规格化设计的一种表示语言，是一种行为接口规范语言。通过JML及其支持工具，可以基于规格自动构造测试用例，并整合SMT solver等工具以静态方式来检查代码实现对于规格的满足情况。 1. JML表达式 （1）原子表达式 阅读全文
摘要：
一、设计策略 第一次作业 第一次作业中是可捎带的单电梯，整体难度不大。我分成了五个类，分别是管理电梯线程和输入线程的MainClass类、负责获得输入的Input类、负责控制电梯运行及调度的Elevator类、作为托盘的Controller类和装请求的Person类。 由于这次是单电梯，在多线程的协 阅读全文
摘要：
第一次作业 需求分析 第一次作业只涉及到幂函数的求导，输入表达式是多个幂函数的和，要求输出求导后的表达式。 设计思路 第一次作业难度不是很大，由于之前我没有面向对象的设计经验，而字符串处理又是大一面向过程的写法中经常遇到一类问题，所以尽管我努力写的oo，但是最后仍然很面向过程。整个程序分为两个类，一 阅读全文
摘要：
画笔自身的设置 turtle.pensize() 设置画笔的宽度 turtle.pencolor() 设置画笔的颜色，参数可以是字符串，如“red”，“green” turtle.speed() 设置画笔移动的速度，参数是速度，数值越大速度越快 全局的控制 turtle.clear() 清除屏幕中的 阅读全文