2022年6月6日
OO第三单元总结
摘要： OO第三单元总结 数据构造 ​ 基于JML规格构造数据本质上就是检查方法能否满足功能与异常情况， 异常检验 ​ 异常一般看的是前置条件，分为抛出型异常以及隐性异常。 ​ 比较常见的是抛出型异常，对于该种异常的检验，我们应针对触发异常的条件专门去构造数据，从而检查程序能否正确抛出相应异常，做到不重不漏 阅读全文
posted @ 2022-06-06 15:50 kingimtk 阅读(27) 评论(0) 推荐(1) 编辑