zhysora

摘要： 测试与正确性论证    测试是用通过构造数据， 让程序在某种特定情况下运行， 观察程序的运行结果和预期结果比较， 来判断在这种情况下程序的正确性。 我们每次作业OO的互测， 以及第13次作业中的JUnit测试， 都是测试的例子。 测试像是把程序， 看成一个黑盒， 不关注其内部具体 阅读全文

摘要： 规格化设计发展史    20世纪50年代， 软件伴随着第一台电子计算机的问世诞生了。 出现了专门以写软件为职业的人。    在计算机系统发展的初期， 硬件通常是执行一个单一的程序， 而这个程序又是为一个特定的目的而编制的。 早起当通用硬件成为平常事情的时候， 阅读全文

摘要： 作业5: 多线程电梯    一开始构想的设计是， 输入一个线程， 3个电梯各一个线程， 调度器一个线程。 输入线程专门处理输入请求， 将合法的请求加入请求队列里。 这次由于是模拟的真实的时间， 同质请求可以直接在输入的时候就给判了。 调度器就是不断的扫描请求队列， 对每一个没有分 阅读全文

摘要： 作业1: 多项式运算    第一次写JAVA程序。 这次作业要求写两个版本， C版本和JAVA版本， 于是很自然而然的先写了C版本。 写C版本的时候主要麻烦在处理输入的地方， 和各种错误的报错。 C语言写了就差不多一天， 各种递归处理读入的字符串并且各种处理什么的， 很是麻烦。 阅读全文