摘要：Unit 4 总结 总结本单元作业的架构设计 总的来看,第四单元的作业是对于UML图的分析和处理. 第一次作业 其实第一次作业我的框架搞得很不好,第一次作业我只定义了官方要求的两个类,没有继承官方包对于类图中的属性,将每一个属性分开写,而是利用了很多hashMap用来储存我需要的数据,颇有面向过程的 阅读全文

摘要：第三单元总结 一、 本单元自测过程中如何利用JML规格来准备测试数据 本单元自测过程一般分为两个方面: (1)定点爆破: 针对JML规格当中的每一个条件的触发点进行有针对性的爆破,看一下每个条件下能否按要求抛出错误或者完成指定操作内容. (2)重复爆破 重复爆破可针对某一种情况重复造不一样的边际数据 阅读全文