Gorshkov

摘要： 正确性论证说到正确性论证，可真是敲键盘到手酸。我个人认为，正确性论证更倾向于一种理论上的推导。从设计者的角度来，一步步解释自己的设计是如何满足要求的。这个属于比较强的论证，一旦保证正确，那么在测试的时候也不会犯错。但是单独的测试属于“黑箱”操作。外界输入一个值，而程序给出反馈值或者没有。但是这个操作 阅读全文

摘要： Emmmm，又过了一个月，又完成了一个单元的训练。Time flies……（不过一个多月之后就要迎来Summer Madness了，真棒。）这个单元粗看上去，对于程序功能上的要求并不是非常高。然而，隐藏的难度在于对于程序规格方面的实现和自我规范。换句话说，课程的训练目标已经脱离了底层的功能实现阶段， 阅读全文

摘要： 又过去了一个月，OO课程的第二单元也告了一段落。 回想这第二个单元的课程目标，很明显可以抓住一个重点：多线程。 那么第一个问题来了。 Q1：什么是线程？多线程有什么用？ A1：这个问题在操作系统课程中也有很详细的讲解。通俗地来理解，一个线程可以被认为是被主程序（进程）指派去执行一个任务的“分身”。至 阅读全文

摘要： Emmmm，自己是第一次开始这么正式地学习系统化编程地技术，所以感觉自己在前三次作业中犯了无数的错误。（第三次作业甚至是没有写完算法，未能提交，吃了一次无效……） 那么，我就来向大家展示一个Java小白的历险经历。 第一次作业 我的作业经历：第一个作业是一个多项式加减法的运算程序。我是先从C语言程序 阅读全文