摘要：
一.测试与正确性论证的效果差异 测试和正确性论证分别是从理论和实践两个角度去规范程序的正确性的，我认为其主要的区别在于对于程序透明度的需求上， 测试作为一种实践手段，他的实施的要求是比较低的:在完全了解程序的结构下可以进行针对性的覆盖测试，在对程序一无所知的时候依旧可以进行压力测试和黑盒测试，但同样 阅读全文
posted @ 2018-06-23 15:44 eberwein 阅读(154) 评论(0) 推荐(0) 编辑
2018年6月23日
2018年5月28日
摘要：
关于规格的前世今生 规格是扎根于形式化的设计方法而产生的 最初的软件形式化方法源于二十世纪五十年代，及软件工程这一概念刚刚开始兴起的时代，对于工程间的协调管理，人们提出采用工程方法来组织、管理软件的开发过程并深入探讨程序和程序开发过程的规律，建立严密的理论。这一结构发展至今，规格已经形成一套完整的逻 阅读全文
posted @ 2018-05-28 13:05 eberwein 阅读(139) 评论(0) 推荐(0) 编辑
2018年5月1日
摘要：
前言 没什么好说的，名副其实最绝望的一个月，不接受反驳，估计过来人也没有什么会进行反驳 这个月我们完成作业上的矛盾，主要存在于大家对多线程完全不了解和老师在课上根本没时间讲明白多线程程序书写规范的矛盾，于是大家愁眉苦脸的写出各种七拧八歪的多线程程序，然后鬼哭狼嚎的调试，最后在deadline前交一坨 阅读全文
posted @ 2018-05-01 20:06 eberwein 阅读(161) 评论(0) 推荐(0) 编辑
2018年4月2日
摘要：
前言 “真正的勇士敢于面对惨淡的人生，敢于面对淋漓的鲜血” 我是谨慎拜读了鲁迅先生的名言，怀着崇敬的精神去接触这门课程的。 而当我真的经历了这门课程以后，我才发现，刘和珍君这样的觉悟，我们普通人，果然还是达不到啊.... 第一次作业（多项式加减法） 第一次作业，听学长说，是很水的，水到了闭着眼睛写别 阅读全文
posted @ 2018-04-02 19:45 eberwein 阅读(204) 评论(0) 推荐(0) 编辑