面向对象设计与构造2018(北京航空航天大学)

  • 班级所有博文发布时间分布(24小时制):
  • OO第四次作业总结

    一、论述测试与正确性论证的效果差异,比较其优缺点 测试:即设计测试用例(测试数据+预期结果)对程序评测。一般而言,如果想要全方面的对一个程序进行评测,则需要较为完善的测试集做支撑,以便能够覆盖所有的可能情况。显然,这对测试集的设计要求很高,需要在了解程序设计思路以及实现的具体功能的基础上,考虑得很全
    ElleWater(李茂杰)   2018-06-25 20:01  0  43
  • oo第四次总结

    oo第四次总结 论证与测试 第十三次作业的时候,我们开始使用Junit对代码进行测试,主要是测试代码的覆盖率,以及分支的覆盖率。 下面是测试的结果: 可以看出一些逻辑较为复杂的地方如果要使用junit去覆盖的话难度太大了,尤其是对于这种模拟代码,需要特判的地方太多了,比如一条很简单的语句: 在jun
    xuyibo(徐一博)   2018-06-25 19:59  0  48
  • 最后的最后,还是希望OO越来越好的—4/4

    1.测试与论证 测试是通过尽可能多而全的构建样例,让程序运行,并且通过观察程序的运行结果与期望对比,得出大概率正确的结果。 初步的样例选择简单,随着覆盖比例上升而变得越来越困难,就好像0分考到60和90考到100的感觉。 正确性论证是根据代码规格,逐步论证代码的正确性。如果代码的规格正确,同时代码的
    MyLife'(杨伯文)   2018-06-25 19:58  0  44
  • oo第四次博客作业

    一,测试与正确性论证 ①测试是使用测试样例对程序进行检测。 在完成程序后通过测试一些用例可以短时间很高效地找到的bug,但如果想要验证程序有没有bug,测试是难以完全覆盖的。 ②正确性论证是根据代码的逻辑进行验证。 正确性论证相对于测试就需要花费更多的时间去论证,但是覆盖率很高,很好地完成正确性论证
    Mengql(孟巧岚)   2018-06-25 19:57  0  26
  • 那么软件工程,大三下再见~

    那么软件工程,大三下再见~ 软件工程是必修啦,之后可能会遇到JSF2.0也不一定呢? 写在前面 这次的写在前面有点难产,一直在思考应该写些什么呢?抒发情感或者总结陈词,还是差不多就可以了?好的,我觉得应该是“差不多就可以了”。 在OO课程之前,在写代码方面,我没有差不多就行的概念,写代码就是尽力做到
    neolinsu(林家桢)   2018-06-25 19:57  0  166
  • OO13-14总结

    1.论述测试与正确性论证的效果差异,比较其优缺点 测试是过去我们常用来测试代码正确性的方法。而第十三次作业编写的junit代码,是对于每个函数,事先写好规格,再基于前置条件和后置条件对输入划分,利用多组测试数据,检查方法输出是否满足后置条件。 优点: 易于找出不符合前置条件后置条件的BUG。 测试有
    AAO(周尚纯)   2018-06-25 19:54  0  31
  • OO第四次总结

    一、测试与正确性论证的比较 测试是通过输入特定数据等方式,检查程序是否和预期相同来衡量程序性能的方法,这是一种高效直观的检查程序是否正确的方法,但是由于测试不可能完全覆盖所有情况,所以测试不可能验证程序是完全正确的。 正确性论证通过自然语言配合公式来实现的,其能够保证程序的正确性,但却需要耗费许多的
    cttcss(褚天舒)   2018-06-25 19:51  0  24
  • OO之旅的终点,却是新的开始

    正确性论证说到正确性论证,可真是敲键盘到手酸。我个人认为,正确性论证更倾向于一种理论上的推导。从设计者的角度来,一步步解释自己的设计是如何满足要求的。这个属于比较强的论证,一旦保证正确,那么在测试的时候也不会犯错。但是单独的测试属于“黑箱”操作。外界输入一个值,而程序给出反馈值或者没有。但是这个操作
    Gorshkov(杨光)   2018-06-25 19:51  0  21
  • OO Final Blog (第四次博客作业)

    测试与正确性论证的效果差异 这此的测试是使用规格通过测试用例对实现方法正确性的检查,与平时测试时直接用数据输入输出判断不同,这测试针对每一个具体方法的实现,使用JUnit。 优点: 缺点: 正确性论证可以做到全面的覆盖,在论证过程中会找到了不少写不正确的规格。但是,它的工作量实在是太大了,除了单纯论
    Michael_张金源   2018-06-25 19:50  0  38
  • OO第四次总结

    测试与正确性论证的比较 测试: 测试的难点是构造测试用例分支树,通过执行测试用例查看代码的覆盖情况,能够排查无效的分支和执行错误的分支,从而完善程序。但是构造一个全覆盖的测试用例集往往是比较困难的,而且单个方法或类的执行正确也无法保证程序整体正确性。 正确性论证 :正确性论证方法根据代码规格等,通过
    L__L(刘亮)   2018-06-25 19:49  0  19