摘要: 第三单元总结 1.自测过程中测试数据的准备 在本单元中,我主要通过白盒测试来准备测试数据,即通过阅读JML规格,构造边界数据进行测试,以保证程序正确性。 2.架构设计、图模型构建和维护策略 主要的框架其实都已经被规定了,简单说一下图模型的构建以及维护的策略 各种变量主要在Network里面动态维护: 阅读全文
posted @ 2022-06-05 21:59 魔光、炫水 阅读(20) 评论(0) 推荐(0) 编辑