摘要：安装 安装包见github：https://github.com/17373176/QESAT/releases/ 1）在个人电脑平台上安装QESAT2.2 a)推荐使用Win 7或Win XP，若使用Win10（无法进行动态测试，同时建议都是64位，亲测32位运行会爆掉，还特别卡），则可通过Win 阅读全文

摘要：一、第四单元作业架构分析 面向对象-UML层次化设计 更多参考：https://www.cnblogs.com/jiangds/p/6596595.htmlhttps://www.cnblogs.com/jiyuqi/p/4571543.html UML顺序图https://www.cnblogs. 阅读全文

摘要：Java较为实用的多线程设计与应用 多线程机制讨论 电梯调度算法 请求分配顺序 自动化测试方法 生成随机数据 验证输出数据正确性 打包自己的代码文件 运行评测机 线程安全与锁:https://www.cnblogs.com/zhaojinhui/p/5526988.html lock conditi 阅读全文

摘要：OO第三单元JML规格之图论应用 一、JML语言说明 基础语法 1.requires子句定义该方法的前置条件(precondition)， 方法执行前需要满足的条件； 2.副作用范围限定，assignable列出这个方法能够修改的类成员属性，\nothing是个关键词，表示这个方法不对任何成员属性进 阅读全文

摘要：软件工程-设计模式 阅读全文