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