摘要: 提问回顾与个人总结 "阅读作业链接" 一、提问回顾 1. 关于泛化的时机 对于这个问题,我认为一般情况下开发者是不需要针对没有到来的需求提前进行泛化的。很多时候开发者有很多事情要做,提前泛化无疑增大了单个功能的开发难度以及测试难度,而用户一般只会用到其中的一部分。如果最终用不到泛化的功能,那么泛化的 阅读全文
posted @ 2019-06-28 13:21 bwisme 阅读(191) 评论(1) 推荐(0) 编辑
摘要: 软件工程结对编程作业 |项目|内容| | | | |这个作业属于哪个课程| [2019春季计算机学院软件工程(罗杰)(北京航空航天大学)][1]| |这个作业的要求在哪里| [结对项目 最长单词链][2]| |我在这个课程的目标是|学习软件工程方法与相关工具,提升自己的工程能力,锻炼自己与他人协同开 阅读全文
posted @ 2019-03-14 19:24 bwisme 阅读(474) 评论(2) 推荐(0) 编辑
摘要: 软件工程第1次阅读作业 |项目|内容| | | | |这个作业属于哪个课程| [2019春季计算机学院软件工程(罗杰)(北京航空航天大学)][1]| |这个作业的要求在哪里| [第一次阅读!][2]| |我在这个课程的目标是|学习软件工程方法与相关工具,提升自己的工程能力,锻炼自己与他人协同开发以及 阅读全文
posted @ 2019-03-05 14:51 bwisme 阅读(299) 评论(2) 推荐(0) 编辑
摘要: 软件工程第0次作业 |项目|内容| | | | |这个作业属于哪个课程| [2019春季计算机学院软件工程(罗杰)(北京航空航天大学)][1]| |这个作业的要求在哪里|[ [2019BUAA软工助教]第0次个人作业 ][2]| |我在这个课程的目标是|学习软件工程方法与相关工具,提升自己的工程能力 阅读全文
posted @ 2019-02-28 08:55 bwisme 阅读(321) 评论(4) 推荐(1) 编辑
摘要: 测试与正确性论证的效果差异及优缺点 测试实际上就是对程序进行的一种黑箱测试,利用各种各样的测试样例去检验程序是否能够给出正确的结果。其中的单元测试则是将整体的测试拆分成单元来进行,但其仍然躲不开黑箱测试的形式。而正确性论证虽然也是从各个方法入手,但其并不是盲目的对比输入输出是否一样,而是从逻辑上梳理 阅读全文
posted @ 2018-06-25 10:40 bwisme 阅读(118) 评论(0) 推荐(0) 编辑
摘要: 一、规格化设计的历史以及人们重视的原因 发展历史 从20世纪60年代开始,就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下: 1969-1972 C.A.R Hoare撰写了"计算机编程的公理基础(An Axiomatic Basis for Comp 阅读全文
posted @ 2018-05-30 16:19 bwisme 阅读(119) 评论(0) 推荐(0) 编辑
摘要: 终于,终于又到了写博客的一周。可以说这三周的作业相比前三周来说的确是翻车了,不过翻车当中也有进步,从多线程电梯的不知所措到最后出租车能够有条理的写程序,感觉自己在这三周作业当中学到的知识比前三次要多得多。 作业分析 多线程电梯 度量 类图 时序图 分析 这次作业是OO翻车的第一次作业。可以说多线程迈 阅读全文
posted @ 2018-05-02 14:45 bwisme 阅读(151) 评论(0) 推荐(0) 编辑
摘要: 经过三次作业的历练之后终于来到了写博客这一周。回顾开学来的这一个月,令我印象最深刻也是最累的一门课就是OO了。虽然上学期学过一部分Java,但这学期开学就来的OO作业还是让我在第二周就开始熬夜了。不过虽然这几次作业相比于其他几门课在开学这一阶段的进度来说感觉很紧张,但是我从中学到的知识以及代码技巧也 阅读全文
posted @ 2018-04-04 14:59 bwisme 阅读(160) 评论(0) 推荐(0) 编辑