2020年5月23日
OO总结之JML社交模拟
摘要： OO总结之JML社交模拟 + JML基础梳理及工具链 + JMLUnitNG自动化测试 + 作业架构梳理 + Bug综合分析 + 规格相关心得与体会 一. JML基础梳理及工具链 1.1原子表达式 + \result表达式：表示一个非 void 类型的方法执行所获得的结果，即方法执行后的返回值。 + 阅读全文
posted @ 2020-05-23 17:39 R_Xiley 阅读(318) 评论(0) 推荐(0)