2022年6月6日
摘要: OO第三单元总结 利用JML规格构造测试数据 首先,这一单元在写程序的时候,肯定是一步一个脚印,对程序作出修改时保证其遵循所给的JML。在对程序进行测试时,首先对照JML的assignable将方法中对容器做出修改的地方进行检查,保证不添不漏。在符合上述条件的前提下,只需对方法的返回值进行检查。在构 阅读全文
posted @ 2022-06-06 14:11 shuo1337 阅读(11) 评论(1) 推荐(0) 编辑