• OO第四次总结


    总结

    比较测试和正确论证的效果

     就我们课堂上所学的测试知识而言,单点测试只是在针对代码的实际情况构造出对应的测试样例进行“覆盖性测试”.而正确性论证则可能稍微复杂一些.是通过一些描述语言来对程序中的模块进行注意检查. 两者有利有弊,都是在覆盖度和简便方式上分别作出了取舍.不过就我个人而言,比较喜欢测试的方式.
    

    OCL语言和JSF规格

      OCL语言,`Object Constraint Language`.对象约束语言。作为图形符号的补充,说明建模元素的有关细节。作为形式化的语言,基本语言要素包括:类型、操作、表达式、和语句。而JSF是一种使用逻辑布尔代数的方式来对编程语言进行约束.
    相比较而言,JSF语言有前置和后置条件并且还有一些EFFECTS.而OCL则更大程度上使用一些其他的字符来表示(支持自定义).可以说比JSF更强大但是也更复杂.
    

    UML

    类图

    顺序图

    状态图

    整理和总结

    • 1.学习体会
      有一个关于工程化很好的描述:工程化就是你的代码达到一定的数量,自己已经无法在靠人力来管理和维护的时候,这时候就需要借助一些科学的方法来实现管理。
      一个学期下来,从最开始的200行代码到后来的2000行代码,从对Java零基础到现在可以使用一些强大的Java类库实现复杂的功能,这是OO课程带给我的。记得最开始上数据结构课程的时候,老师说数据结构是心法,一定要熟练掌握,最开始我一直在想如何用合适的方法来提高自己的数据结构能力。上完OO才发现“代码没写够就是没写够,其实一切都是练的多不多的问题”。老师讲课很抽象。。。助教很热心,还有大家都很强。

    • 2.心得
      最开始的工程中,我记得我互测加公测其实不是没有多少BUG,但越往中间和靠后,甚至出现了几次无效的情况。在计算机学院同学强大的能力映衬之下我的这种无能越发凸显。也让我明白了其实不管什么专业,重要是人。
      加油!

  • 相关阅读:
    05_XML的解析_01_dom4j 解析
    04_SSM框架整合(Spring+SpringMVC+MyBatis)
    03_入门程序(注解方式,掌握)
    02_入门程序(非注解方式,了解)
    01_SpringMVC流程架构图
    21_resultMap和resultType总结
    20_高级映射:多对多查询
    inline函数的总结
    【C++】C++函数重载的总结
    优先队列
  • 原文地址:https://www.cnblogs.com/haotianmichael/p/9215980.html
Copyright © 2020-2023  润新知