摘要： 分析在本单元自测过程中如何利用JML规格来准备测试数据 阅读JML, 理解数据要求，正常行为和异常行为。在满足前提的条件下，准备正常行为和异常行为的数据。比如增加之前不存在或之前存在的人，以测试EqualPersonIdException. 梳理本单元的架构设计，分析自己的图模型构建和维护策略 我将 阅读全文