摘要: 一、利用JML规格构造测试数据 兼顾正常行为和异常行为 例如对于ar指令,exceptional_behavior是!contains(id1) || !contains(id2) || getPerson(id1).isLinked(getPerson(id2)) 生成指令时把people_id的 阅读全文
posted @ 2022-06-01 16:11 Mmmusel 阅读(40) 评论(0) 推荐(1) 编辑