苏州网站建设公司鹅鹅鹅,杭州网站现场备案,建设微网站需要多少钱,asp网站报错信息第四次博客 一、测试与正确性论证的比较 测试具有针对性#xff0c;能从一些方面完美的展现出代码的正确性#xff0c;但是它的验证度取决于样例的质量。 优点是方便#xff0c;快捷#xff0c;结果明显#xff1b;缺点是可能不会覆盖到方方面面。 正确性论证能从所有的方… 第四次博客 一、测试与正确性论证的比较 测试具有针对性能从一些方面完美的展现出代码的正确性但是它的验证度取决于样例的质量。 优点是方便快捷结果明显缺点是可能不会覆盖到方方面面。 正确性论证能从所有的方面给别人展现出正确性具有很强的逻辑性。 优点是全面说服力好缺点是比较麻烦而且论证可能出错。 二、OCL语言与JSF规格的比较 对象约束语言简称OCLObject Constraint Language。它是用来进行约束定义的形式化的无二义的语言。 这两种语言的相同点是都是形式化的语言都没有二义性 不同点是变量的类型不同OCL有自己的变量JSF可以自己定义变量 JSF支持更多的运算方式。 三、单电梯图示 UML图 顺序图 状态图 四、学期总结 4.1 这些模块层次分明循序渐进相互依赖逐渐提升我们的水平最终让我们有非常大的收获。 4.2 自己从最开始只能写出面向过程的java程序到最后能写出具有良好功能的面向对象程序从设计上具有了更好的设计思路测试上具有了更全面的测试质量上完成度也更高有极大的进步。 4.3 我对工程化开发的理解是它能极大的规范化我们的编程让我们在设计思路以及正确性上都有较大的提高是非常值得推广的。 4.4 希望指导书更明确不要讨论来讨论去的。转载于:https://www.cnblogs.com/Arsenalgooner/p/9224130.html
