摘要: 一、分析在本单元自测过程中如何利用JML规格来准备测试数据 我在本单元的自测中主要采取了两种测试方法:普遍测试和专项测试。 所谓普遍测试就是数据生成器生成的数据包含作业指导书给出的所有指令,进行覆盖检查,但是每种指令的测试不一定是边界、极端情形。 而专项测试就是基于JML规格,针对那些过程复杂、容易 阅读全文
posted @ 2022-06-04 10:53 LaiAng8086 阅读(86) 评论(2) 推荐(1) 编辑