摘要: 第三单元总结 一、 本单元自测过程中如何利用JML规格来准备测试数据 本单元自测过程一般分为两个方面: (1)定点爆破: 针对JML规格当中的每一个条件的触发点进行有针对性的爆破,看一下每个条件下能否按要求抛出错误或者完成指定操作内容. (2)重复爆破 重复爆破可针对某一种情况重复造不一样的边际数据 阅读全文
posted @ 2022-06-05 18:15 爱学习的拾柒 阅读(37) 评论(0) 推荐(0) 编辑