摘要:
第四单元作业架构: 第四单元的作业仍然采用增量开发的形式,总体难度不大。但由于实在没办法实现高效的解耦,导致hw15的时候Myimplement里面写了超过500行。 hw13: hw13中主要进行了对于UMl类图的解析,在实现的过程中,我通过HashMap的方式来映射id和不同类型UmlEleme 阅读全文
摘要:
JML规格及测试: JML规格: JML规格提供了一种对于数据的约束,通过更加形式化的语言来对于前置条件、后置条件进行约束,从而保证程序在正确执行后能得到正确的结果。 总体来说,JML规格相较于平时使用的自然语言来说更加复杂,这在作业中也有很明显的体现,例如最短路、最小生成树的描述,让人看着感到不适 阅读全文