摘要：一。测试与正确性论证 测试主要是考虑程序的逻辑，根据不同的情况考虑输入数据，通过输出与正确输出的对比来判断程序是否有bug。这种方法仅能证明程序有bug，即无法证明程序没有bug。但在于我们现在的作业中，通过测试已经能够想当程度保证程序的正确运行。 而正确性论证，则是对程序的各方法在逻辑层面进行推理 阅读全文

摘要：1.规则化发展历史 形式化方法的研究高潮始于20世纪60年代后期，针对当时所谓“软件危机”,人们提出种种解决方法,归纳起来有两类：一是采用工程方法来组织、管理软件的开发过程；二是深入探讨程 序和程序开发过程的规律，建立严密的理论，以其用来指导软件开发实践。前者导致“软件工程”的出现和发展，后者则推动 阅读全文

摘要：oo第二次博客总结 一、前言 从三部多线程电梯开始，oo终于进入了多线程的控制。多线程中的线程安全是非常重要的方面，需要更多的精力和更加小心的去设计代码和修改bug 二、多线程电梯 在三部多线程电梯中，我的设计并不完善，其中从输入到调度器再从调度器到托盘的过程若均使用生产者消费者模型会因为无输入而导 阅读全文

摘要：自古以来，oo就有着6系大魔王的名声，自开学便诚惶诚恐，心中少不了忐忑。果然第一次作业便显得有些不留情面。 第一次作业 第一次作业的目标是实现具有一定鲁棒性的多项式运算程序。难点不在逻辑，而是在于对java语法的熟悉、使用，对输入的识别判断。作为第一次接触java的萌新，初上手是毫无头绪，不知道程序 阅读全文