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