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