06 2022 档案

摘要：OO第四单元总结 本单元作业的架构设计 第四单元的作业并没有重构，这也导致了个人看来，最后的框架是有那么一点不好看的。 整体的思路是现在Myhandle类中，进行读入的处理，考虑到输入的次序并没有与UML类相关，采用了多个循环，由于UML本身是有一定的层次性的，按照这样的层次性进行读入，比如先读入U 阅读全文

摘要：OO Unit3 分析在本单元自测过程中如何利用JML规格来准备测试数据 学习了推荐的Junit,尝试了使用。 在数据方面，主要根据JML规格中各个分支进行考虑，对于各个分支可能出现的情况手动构造数据以及一些特殊强度的数据，并结合一定的自动生成的数据。 比如测试sim的是否发生超时 FILE *rp 阅读全文