摘要：
我的初衷 一转眼的功夫一学期就这么过去了，心里仿佛有许多话想说，到了嘴边又不知道说些什么好。从大一开始就热衷于学生工作的我，大大小小的活动、组织、集体参加了许多，在帮助他人，奉献自我的同时，也在时时刻刻体验着自我价值的实现。从当初数据结构、计组，到后来的oo，前前后后和许多位助教学长打过交道，心里也 阅读全文
摘要：
一.测试与正确性论证 测试就是针对某一程序，去模拟该程序的输入与输出，通过期望输出与实际输出的比较进行论证的方法 而正确性论证是从程序的本质出发，从程序本身的逻辑出发，去论证程序正确与否，是否完成了要求的功能 二者的区别显而易见，测试显然是一种较为简单，较为直接与直观，且比较简便的方法。通过编写测试 阅读全文
摘要：
一.规格化设计的发展 首先我们来了解下什么是抽象编程 抽象编程是通过抽象的方法来减少编程工作量或有效地减轻编程难度 将问题通过功能分解，各个击破的编程方法（过程化编程） 是一种以行为抽象为主的抽象编程 将问题通过实体分析，分层分类地实现抽象数据类型，从而进行简单应用编程（基于对象编程）是一种以数据抽 阅读全文
摘要：
多线程电梯 设计要求 本次作业是设计一套由3部电梯组成的多电梯调度系统，通过采用线程机制，在第三次作业所实现程序的基础上完成新的调度系统程序。 不得不说这次作业相比于前几次作业，难度上有了本质上的提升。第一次接触多线程让我感到十分不适应，无法设置断点进行调试让本来难度就很高的多线程作业显得更加难以琢 阅读全文