2022年6月3日
面向对象第三章总结
摘要： 面向对象第三章总结 准备测试数据 本单元引入了Junit单元测试，可以针对每个方法自己构造数据测试。但是由于其使用起来需要手动针对每个方法写判断前提和结果约束，相当麻烦，因而关于Junit我便浅尝辄止了。类似之前单元的测试，本单元我还是通过随机生成数据进行测试。 方法的JML规格约束了方法的前提与产 阅读全文
posted @ 2022-06-03 22:04 夜光WAN 阅读(42) 评论(0) 推荐(0) 编辑