2021年5月31日
OO第三单元
摘要： 设计思路与策略 细节捕获 首先阅读JML规格，要意识到JML规格是对某一任务实现的具体精确描述，在阅读时，应该要捕捉每个细节，要保证解读的正确性。 使用自然语言 可以将JML规格转化为自然语言，比如将addPerson规格转化为“加入一个先前没有加入的人，否则抛出异常”。因为自然语言可以直 白地简述 阅读全文
posted @ 2021-05-31 23:27 liuzixin 阅读(37) 评论(0) 推荐(0) 编辑