摘要：
一、论述测试与正确性论证 单元测试的特点是：针对程序编写测试代码、从结果验证、保证基本模块的正确性； 正确性论证的特点是：通过分析代码进行逻辑论证、从原理验证、保证了基本模块和整体的正确性。 对比两者，测试能更准确、快速地发现bug，验证过程更模块化，便于不同的程序员对同一个程序进行交互；正确性论证 阅读全文
摘要：
写在前面 oo终于终于终于不用敲代码了！ 规格化调研 软件的形式化、规格化方法起步于程序理论和语义的研究，历经50余年的发展，成为了计算机科学的重要领域,它使用严格的数学方法，研究并发展软件系统的建模、设计、开发、验证与演化等技术，为保证系统的正确性、可靠性和安全性提供了重要途径。软件形式化方法最早 阅读全文
摘要：
写在前面 多线程 搞死人 第五次作业 类图： 这次作业的调度器（als_3_controller）继承了上一次的调度器(smart_controller)，并且分解了之前的schduel方法，内容分布在run()和新建的类ELE_thread的isCarry()和run()里。在程序运行启动了类EL 阅读全文
摘要：
写在前面 虽然OO的大名早有耳闻，但这游戏才第三周，对小caiji玩家也太不友好了，Orz 第一次作业 类图： 第一次作业是多项式的加减法，因为是初识java和oo，所以这次作业我只写了两个类：多项式类（poly）和多项式计算类（poly_compute）。多项式类负责存储多项式以及定义多项式间的运 阅读全文