摘要：一、测试与正确性论证 程序测试(program testing)是指对一个完成了全部或部分功能、模块的计算机程序在正式使用前的检测，以确保该程序能按预定的方式正确地运行。软件的正确性尚未得到根本的解决，软件测试仍是发现软件错误和缺陷的主要手段。为了发现系统中的错误，应竭力设计能暴露错误的测试用例。测 阅读全文

摘要：规格化设计的发展史 下面部分来源：https://www.cnblogs.com/eggert/p/9098446.html； 随着计算机硬件的飞速发展,以及应用复杂度越来越高,软件规模越来越大,原有的程序开发方式已经越 来越不能满足需求了。1960 年代中期开始爆发了第一次软件危机,典型表现有软件 阅读全文

摘要：第五次作业 多线程电梯 多线程同步和控制的设计策略 明确类和对象，以及是否区分对象实例。具体类可以从类图中看出； 明确线程的类型和数量。输入作为一个线程，调度作为一个线程，三个电梯独立工作，互不影响，分别是一个线程； 明确线程之间共享的数据，控制同步，以及保证线程安全。输入线程将输入存放在请求队列中 阅读全文

摘要：oo第一次博客 以前从未真正的写过Java代码，接触Java也只是寒假的时候简单的看了看语法，不懂该如何面向对象，但没事，心里不惧，想着什么都是可以学的（直到真正开始写工程的时候，才发现自己还是太天真了），就这样开始了OO学习这条不归路。 一、三次作业的实现过程分析 第一次作业 第一次作业是多项式加 阅读全文