摘要：
OO第四单元个人总结 一、本单元作业的架构设计 本单元要对UML类图、顺序图、状态图进行解析，对于传入的元素，在MyImplementation根据不同元素的elementType进行分类，分别存入新建的classes、attributes、operations等Arraylist中。在方法的实现中 阅读全文
摘要：
OO第三单元个人总结 一、如何利用JML规格来准备测试数据 1、首先保证代码语义与JML语言表达的语义的一致性，在完成代码后认真核对。 2、构造特殊数据，测试前置条件不满足时抛出异常的情况。 3、构造符合前置条件的数据，满足后置条件和约束条件，针对运行结果进行自我判断，或是进行对拍测试。 4、构造边 阅读全文
摘要：
一、作业分析 本单元作业的目标是模拟多线程实时电梯系统。 第五次作业： 一共A-E五个楼座，每个楼座仅有一座纵向电梯。 第五次作业分别为主线程、输入线程、调度器线程和电梯线程。电梯采用LOOK策略，电梯运行的具体过程及策略在Process中进行，即先向上再向下，每次在一层或十层的时候便判断能够进行捎 阅读全文
摘要：
面向对象第一单元个人总结 摘要：本次博客介绍了第一单元三次作业的思路、bug分析与心得体会，三次作业均采用预解析模式。 一、第一次作业 UML类图： 解析： MainClass：执行主程序，判断每一次的输入为add、sub、neg、pos、mul、pow中的哪种运算，进而执行Factor中的相应函数 阅读全文