摘要：BUAA_OO 第四单元 一、分析三次作业架构设计 第一次 第一次作业主要是新建了了MyClass、MyInterface、MyOperation，并且考虑到MyClass和MyInterface有一些共同的属性，故新建了MyElement接口 第四单元的第一次作业一开始的时候还不知道该如何下手，反 阅读全文

摘要：第三单元总结 关于自测 我的构造数据主要是根据JML规格里构造相应的测试数据的，针对于一个函数或者一条指令来构造相应的函数，我也想过写一个数据生成器，但后来发现根据JML规格来进行一些测试貌似更加方便一些，于是便开始了Junit测试。这样可以使得数据尽可能得覆盖到所有的情况。当然这也只适合一些基础的 阅读全文