摘要：
一、测试和正确性论证 两个方法各有优缺点，在我看来应当合理结合使用。 测试关注的是结果，论证关注的是过程。在测试的过程中，我们往往采用给定一些样例的形式来让程序自我运行，并判断输出的结果；准确性论证则是要求从程序员的角度出发，论证代码的合理性和正确性。二者其实也有一定的相同之处，即都需要程序员对代码 阅读全文
|
摘要：
一、测试和正确性论证 两个方法各有优缺点，在我看来应当合理结合使用。 测试关注的是结果，论证关注的是过程。在测试的过程中，我们往往采用给定一些样例的形式来让程序自我运行，并判断输出的结果；准确性论证则是要求从程序员的角度出发，论证代码的合理性和正确性。二者其实也有一定的相同之处，即都需要程序员对代码 阅读全文
摘要：
一、关于规格 关于规格的必要性，这一点我还是很同意吴老师在课上所讲的内容的。在比较大规模的代码设计中，尤其是多人协作的项目，良好的规格设计的确能减少很多不必要的麻烦。 二、我出现的规格bug 第九次： REQUIRES不需要内容的时候没有写None而是空着了。 第十次： 无 第十一次： EFFECT 阅读全文
摘要：
作业分析 一、多线程电梯 1.结构分析 对于第一张图片，圈复杂性的问题，可能还是由于对于电梯运行状态和捎带等情况的条件判断逻辑不够清晰。另外，有些方法因为分支过多，仍然导致了方法的代码量比较大。很多情况下仍然是很难避免这类问题。也尝试过在最初做一些规划，但由于水平有限，并不能做出良好的设计，实际的方 阅读全文
摘要：
这次博客内容我想分为两个部分。第一部分是自己总结的初次接触java的一些语法、用法及思想，主要目的是帮助一些和我一样菜的菜鸟，减少一些初次接触java的理解时间，这部分当然是为后来人的。第二部分则是对作业的分析和感悟了，这一部分是写给自己的。 菜鸡上路 感谢观看。如果你也是初次接触学习java的话， 阅读全文
|