摘要: OO第三单元总结 一、根据JML规格构造测试数据 由于JML规格自身描述的清晰性,只要正确遵循JML规格去进行代码撰写,一些简单直白的方法只需要手动构造基础样例进行基本测试即可。 针对异常的测试,这需要考虑到一些极端且易混淆的情形。比如第一次作业中的点与自己之间的一些情形: qv 1 1 //查看一 阅读全文
posted @ 2022-06-06 16:26 朱睿达 阅读(7) 评论(0) 推荐(0) 编辑
摘要: OO第三单元总结 一、根据JML规格构造测试数据 由于JML规格自身描述的清晰性,只要正确遵循JML规格去进行代码撰写,一些简单直白的方法只需要手动构造基础样例进行基本测试即可。 针对异常的测试,这需要考虑到一些极端且易混淆的情形。比如第一次作业中的点与自己之间的一些情形: qv 1 1 //查看一 阅读全文
posted @ 2022-06-06 15:57 朱睿达 阅读(9) 评论(0) 推荐(0) 编辑