摘要：
测试和正确性论证的效果差异 测试一般分为：功能测试、单元测试、鲁棒性测试、性能测试、回归测试等。测试的优点是操作简单粗暴；缺点是如果测试集不够大可能不能覆盖所有可能出现的场景，也就是说测试不够全面的问题。 正确性论证偏理论，是从逻辑层面分析代码正确性。其优点是能覆盖到代码的所有分支，从而保证代码的正 阅读全文
摘要：
哈哈哈哈哈哈哈哈哈终于又到博客周了！ 程序设计规格化 程序开发过程涉及到多种程序员的工作，一个模块可能会被多个使用者用到，所以这就带来了程序使用方式不统一的问题。为了解决这一问题，避免程序使用者的逻辑与程序设计者的初衷相违背，促进整合这些不统一的标签与框架，从程序设计的角度出发，就产生了规格化的程序 阅读全文
摘要：
这个四月，多线程电梯，IFFF文件管理，出租车系列作业之——version1.（鬼知道我经历了什么......） 不用说，三个作业都不是什么省油的灯（白眼）。那先从电梯系列作业终极版——多线程电梯说起吧。 因为之前的电梯程序我写的并不好，在之前的两个版本中我也没对代码做大篇幅的改动，所以各种设计缺陷 阅读全文
摘要：
第一次面向对象编程，还是没能控制住自己把OO第一次作业写成了面向过程的样子。现在我都不愿看那四五重if嵌套的 代码......（简直惨不忍睹） 当时把功能写全了自己测了几组小数据也没问题，后来用了某同学的20个含50项的多项式发现只用一次正则匹配不行，会爆栈。后来我改成了两次匹配（不过没有限制输入字 阅读全文