2022年6月5日
JML——OO第三单元总结
摘要： 第三单元总结 关于自测 我的构造数据主要是根据JML规格里构造相应的测试数据的，针对于一个函数或者一条指令来构造相应的函数，我也想过写一个数据生成器，但后来发现根据JML规格来进行一些测试貌似更加方便一些，于是便开始了Junit测试。这样可以使得数据尽可能得覆盖到所有的情况。当然这也只适合一些基础的 阅读全文
posted @ 2022-06-05 01:41 theSerein 阅读(32) 评论(0) 推荐(0) 编辑