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