2018年5月30日

OO第三次总结
摘要： 规格化历史 规格化的出现源于统合各个厂商各有各的格式而产生出的问题。其优势在于可以对事物给出一个明确的标准，从而减小出错的几率。 规格Bug 产生原因 主要原因是部分规格没有写完整，如 repOK 没有完整地考虑到所有的不变量，部分线程的 Effects 没有写出。 前置和后置条件的不好写法 前置条 阅读全文
posted @ 2018-05-30 18:32 zhongzihao 阅读(112) 评论(0) 推荐(0) 编辑

导航