一、总结分析自己实现规格要求所采取的设计策略 首先分析要抛出哪些异常情况，把异常情况都抛完了再处理正常情况。 先通过JML读懂这个函数要实现什么功能，然后考虑有没有时间复杂度更优的实现方法。 二、基于JML规格来设计测试的方法和策略 JUnit：JUnit是一个开放源代码的Java测试框架，用于编写 ...
分类：
其他好文 时间：
2021-06-02 19:10:46
阅读次数：
0
BUAA OO第三单元总结——JML规格 JML规格 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言。JML 是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于 L ...
分类：
其他好文 时间：
2021-06-02 15:32:43
阅读次数：
0
BUAA UNIT3 社交关系模拟系统 一. 总结实现自己实现规格所采取的设计策略 ? 在实现JML规格时，采取的策略为先大致读一遍JML规格，理解将要实现的类成员变量与方法的大致意义，之后去设计将要实现的类中的数据结构与算法，然后开始下手写代码。值得注意的是，这仅仅是第一步要进行的工作。 ? 在之 ...
分类：
其他好文 时间：
2021-06-02 15:12:46
阅读次数：
0
BUAA OO 第二单元总结 前言 ?本单元我们开始学习多线程程序设计。这对于我来说是一个全新的领域，在这之前我对于多线程这一方面几乎没有任何了解，因此这需要我继续认真学习。本单元需要我们模拟电梯系统的运行，这一个典型的生产者-消费者模型，具有清晰的结构，能够很好地让我们学习多线程相关知识，体会多线 ...
分类：
其他好文 时间：
2021-04-27 14:26:26
阅读次数：
0
p6 乘除模块的start 一、 乘除模块 （一）mdu要求 执行乘法的时间为5个cycle，包含写入内部的HI和LO 执行除法的时间为10个cycle，包含写入内部的HI和LO 通过有效一个cycle的start信号启动乘除法运算 通过busy输出标志反映延迟 （二）相关指令 mult、multu ...
分类：
其他好文 时间：
2021-01-12 10:38:18
阅读次数：
0
课程概览 其他人的概览 2019-BUAA-Wander的概览 2019-tongtao的概览 2018-aptx1231的概览 2018-wancong3的概览 Pre-study 能力要求 Learning basics of the circuit, the Verilog HDL, and ...
分类：
其他好文 时间：
2020-11-19 12:32:38
阅读次数：
9
一、UML解析器设计 ? 先看下题目：第四单元实现一个基于JDK 8带有效性检查的UML(Unified Modeling Language)类图，顺序图，状态图分析器 MyUmlInteraction，实际上我们要建立一个有向图模型，UML中的对象（元素）可能与同级元素连接，也可与低级元素相连形成 ...
分类：
其他好文 时间：
2020-06-15 14:08:33
阅读次数：
48
BUAA_OO Unit4 UML建模 C1 架构设计 1）对每一个UML元素进行建模，UML-Json元素到自己建模的元素的转换使用工厂 2）在解析器构造方法中，对元素进行分类和逐步解析 3）查询面板使用管理者模式，分三类分别处理类图、状态图、顺序图的查询 4）UML建模图像如下，图片可保存后放大 ...
分类：
其他好文 时间：
2020-06-14 15:11:05
阅读次数：
89
（今天终于弄完了lab6的课下测试和实验报告，可以和OSLAB wave goodbye了，耶耶耶） Lab 3文件树如下，新增文件用*标出，本lab主要与进程管理相关。 . ├── boot │ ├── Makefile │ └── start.S ├── drivers │ ├── gxcons ...
分类：
其他好文 时间：
2020-05-29 22:55:49
阅读次数：
70
1.JML基础梳理 1.1注释结构 JML采用javadoc注释的方式来表示规格，且每行以@开头。通过使用//@annotation来进行行注释，使用/*@annotaion@*/来进行块注释。 1.2JML表达式 1.2.1原子表达式 \result表达式，在方法规格中使用，通过\result来指 ...
分类：
其他好文 时间：
2020-05-23 20:40:22
阅读次数：
58
