摘要: 测试与正确性论证 首先我们先来说一下这两个概念的差异所在。所谓测试,是指:基于前置条件和后置条件对输入划分并抽样产生测试数据,检查方法执行输出是否满足后置条件。而正确性论证,是指:针对格式化的规格和代码实现,人工方式对代码逻辑进行分析,确认是否所有满足前置条件的输入都能产生满足后置条件的结果。 然后 阅读全文
posted @ 2018-06-25 12:21 Coding33 阅读(185) 评论(0) 推荐(0) 编辑
摘要: 写在前面 这几次作业主要以JSF规格化设计为主,检验了大家规格的书写能力。而主观上的JSF扣分也将参与课程者分成了两种人,有认真扣分的“太空人”,也有将心比心的好心人。前者可以在JSF上拿到满意的分数,后者可能会被“太空人”扣去很多分数。 但终归结底的是,JSF规格书写还是蛮屌的。我是无法将我的类书 阅读全文
posted @ 2018-05-29 21:42 Coding33 阅读(232) 评论(1) 推荐(0) 编辑
摘要: 第五次作业 一、度量分析 通过Metrics图给出的度量分析可以看出,本次作业在Scheduler类的run方法圈复杂度和块嵌套都过高,主要原因该方法承载了大部分的程序工作,在处理这些工作时使用了过多的if_else嵌套。这在第一次总结性博客中也有提到,而我也在努力避免这个问题,但可能函数封装还做得 阅读全文
posted @ 2018-05-01 19:46 Coding33 阅读(275) 评论(0) 推荐(1) 编辑
摘要: 第一次作业 一、度量分析 通过Metrics图给出的度量分析可以看出,代码在compute()方法上的圈复杂度较高,主要原因是这一部分代码if_else结构过多且有嵌套,从而导致了这一结果。这一部分的代码调用了Poly类中的add()和sub()方法,进行了多项式的加减运算,并进行了最终结果的输出。 阅读全文
posted @ 2018-04-03 00:15 Coding33 阅读(256) 评论(0) 推荐(1) 编辑