2022年6月5日
面向对象第三单元个人总结
摘要： OO第三单元个人总结 一、如何利用JML规格来准备测试数据 1、首先保证代码语义与JML语言表达的语义的一致性，在完成代码后认真核对。 2、构造特殊数据，测试前置条件不满足时抛出异常的情况。 3、构造符合前置条件的数据，满足后置条件和约束条件，针对运行结果进行自我判断，或是进行对拍测试。 4、构造边 阅读全文
posted @ 2022-06-05 11:01 苏俊行 阅读(12) 评论(0) 推荐(0) 编辑