06 2022 档案
发表于 2022-06-26 15:50阅读:50评论:1推荐:0
摘要:面向对象2022-第四单元作业总结 架构设计: 本单元的任务是实现一个UML解析器,对UML类图,UML时序图,UML状态图进行解析,可以通过输入指令进行查询,并且具有一定的规范性验证能力。 考虑到助教所提供的官方代码已经实现了将输入转化为UmlElement元素,我们所做的工作就是对输入的UMLE
阅读全文 »
发表于 2022-06-01 14:53阅读:44评论:0推荐:0
摘要:面向对象2022-第三单元作业总结 分析自测过程中如何利用JML规格来准备测试数据 根据JML代码,可以枚举出所有的分支,从异常情况再到普通操作,构造具有针对性的测试数据,再检验输出结果是否与预期结果相同。下方的queryValue是一个相对简单的例子。 /*@ public normal_beha
阅读全文 »