2018年6月22日

摘要: 一 测试的优点在于它十分方便快捷,缺点在于可能的测试数据通常极为庞大,难以保证通过了测试后代码就完全没有错误;而正确性论证相对较为繁琐,但是能在一定程度上确保代码没有错误。 二 它们都是基于数学中的逻辑表达式而精确描述的一种语言,而OCL偏向于建模,JSF偏向于行为描述。 三 四 4.1 前两个单元 阅读全文
posted @ 2018-06-22 20:02 zhongzihao 阅读(125) 评论(0) 推荐(0) 编辑

导航