摘要： 测试与正确性论证的效果差异 测试只能是根据规格对所有可能的情况的子集多次试验，而正确性论证是对指定的描述的所有可能的情况进行逻辑验证，更加严密。 二者的优缺点：二者各有优势，互为补充 测试是一种基于数据的验证方法，通过大量不同数据试图查出缺陷，需要花大量时间穷尽所有组合的可能，很难达到完整。 正确性 阅读全文

摘要： 规格化设计的大致发展历史 由于计算机诞生之初，并没有编译器操作系统这一类东西，也没什么高级语言，那时的程序员只能使用机器语言来编写程序，后来为了方便程序员编写又出现了助记符也就是汇编语言。 程序设计语言的三次分离使软件技术产生飞跃 1950年代，第一次分离，主程序和子程序的分离 程序结构模型是树状模 阅读全文

摘要： 多线程电梯 设计策略 用户发出请求加入请求队列，调度器根据电梯的状态为电梯分配请求，每个电梯有自己的执行队列，根据执行队列的请求来改变自身的状态。用户请求处理器和调度器共享请求队列，调度器和电梯本身存在对电梯状态进行同时读写，因此需要对这两个做数据保护。 一开始以为电梯是要模拟真实运行状态，对时间不 阅读全文

摘要： 非常开心地迎来了OO第一次放松，当我准备安装好插件，做好图，弄好数据就来写博客时，才发现第一步我就过不去了。 安装AmaterasUML Amateras是用来自动生成类图的插件。 教程：https://www.cnblogs.com/xiluhua/p/6667935.html 当我一切都按教程做 阅读全文