会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
平源
博客园
首页
新随笔
联系
订阅
管理
2018年6月25日
OO第四阶段总结
摘要: 一、测试与正确性论证的比较 1、 测试的结果一定是正确的,因为测试是在寻找确切的与预期不符的程序运行结果。而正确性论证的效果取决于正确性论证的质量。 2、 相比测试正确性论证要更加全面,测试如果不遵从条理的测试逻辑的话可能会陷入片面,而正确性论证对于程序运行的各个分支各个走向都会加以考虑。 二、OC
阅读全文
posted @ 2018-06-25 16:08 平源
阅读(109)
评论(0)
推荐(0)
编辑
2018年5月29日
OO第三阶段总结
摘要: 一、规格发展历史 从20世纪60年代开始,就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下: 1969-1972 C.A.R Hoare撰写了"计算机编程的公理基础(An Axiomatic Basis for Computer Programming
阅读全文
posted @ 2018-05-29 18:56 平源
阅读(128)
评论(0)
推荐(0)
编辑
2018年5月1日
OO第二阶段总结
摘要: 面向对象程序第二阶段总结 在第一阶段的任务过后,这一阶段的编程内容引入了更加复杂更加未知的元素——多线程。这三次作业的难度相比前三次难度有明显的提升,而且三次作业都不是一个主题,前后没有联系,因此这三周的工作量相比第一周大了很多,在多线程程序设计中我也遇到了很多的障碍,在很多地方感到自己的计算与考虑
阅读全文
posted @ 2018-05-01 17:39 平源
阅读(119)
评论(0)
推荐(0)
编辑
2018年4月3日
OO第一阶段总结
摘要: 面向对象程序第一阶段总结 第一阶段的面向对象设计与构造的练习现在告一段落,这段时间三次编程作业给了我不小的压力,而我也逐步地从一开始的对面向对象、java语言一无所知的状况走到了如今,掌握了一定的面向对象编程技巧。尽管如此,我仍然认为自己对面向对象的思维没有完全理解到位,导致程序的设计在一些点上还是
阅读全文
posted @ 2018-04-03 18:45 平源
阅读(166)
评论(0)
推荐(0)
编辑