2018年6月25日
OO第四次博客作业！
摘要： oo第四次博客作业 一、测试与正确性论证比较 测试只是单方面片面的证明对于当前的输入程序是正确的，测试只能证明程序有错误，不能说明程序是对的。 正确性论证是程序达到预期目的的一般性陈述，是通过规范化的论证来说明程序运行是否符合预期，严谨的证明是可以有效说明程序的正确性的。 二、OCL语言与JSF规格 阅读全文
posted @ 2018-06-25 01:33 梦游的锤子 阅读(193) 评论(0) 推荐(0) 编辑