2022 年 6月 5 日随笔档案 - realNobody

2022年6月5日

摘要：一、如何利用JML规格来准备测试数据：根据每个方法的normal_behavior，exceptional_behavior及其require，进行初步分类。保证测试数据覆盖到所有不同的情况。同时，在每个normal_behavior中有若干种不同的情况，再对每一种normal_behavior中阅读全文

posted @ 2022-06-05 15:46 realNobody 阅读(22) 评论(1) 推荐(0) 编辑