摘要: | 项目 | 内容 | | | | | 本作业属于北航软件工程课程 | "博客园班级链接" | | 作业要求请点击链接查看 | "作业要求" | | 我在这门课程的目标是 | 成为一个具有一定经验的软件开发人员 | | 这个作业在哪个具体方面帮助我实现目标 | 让我对自己目前的状况有一个更加清醒的认 阅读全文
posted @ 2019-06-26 22:45 NanonaN 阅读(546) 评论(7) 推荐(1) 编辑
摘要: 结对项目 最长单词链 | 项目 | 内容 | | | | | 本作业属于北航软件工程课程 | "博客园班级链接" | | 作业要求请点击链接查看 | "作业要求" | | 我在这门课程的目标是 | 成为一个具有一定经验的软件开发人员 | | 这个作业在哪个具体方面帮助我实现目标 | 通过结对项目,锻 阅读全文
posted @ 2019-03-14 16:04 NanonaN 阅读(274) 评论(3) 推荐(0) 编辑
摘要: | 项目 | 内容 | | | | | 本作业属于北航软件工程课程 | "博客园班级链接" | | 作业要求请点击链接查看 | "作业要求" | | 我在这门课程的目标是 | 成为一个具有一定经验的软件开发人员 | | 这个作业在哪个具体方面帮助我实现目标 | 让我对自己目前的状况有一个更加清醒的认 阅读全文
posted @ 2019-03-04 17:08 NanonaN 阅读(361) 评论(1) 推荐(0) 编辑
摘要: | 项目 | 内容 | | | | | 本作业属于北航软件工程课程 | "博客园班级链接" | | 作业要求请点击链接查看 | "作业要求" | | 我在这门课程的目标是 | 成为一个具有一定经验的软件开发人员 | | 这个作业在哪个具体方面帮助我实现目标 | 让我对自己目前的状况有一个更加清醒的认 阅读全文
posted @ 2019-02-27 11:16 NanonaN 阅读(432) 评论(3) 推荐(0) 编辑
摘要: 一、测试与正确性论证效果的差异及其优缺点 在第十三次作业中,我们使用了JUnit单元测试框架对我们在第三次作业中编写的捎带电梯程序中的每一个方法进行了测试。捎带电梯程序在经过了互测之后,已经是一个比较完善的系统,但是通过大量细致的单元测试,仍能从程序中寻找到一些逻辑漏洞甚至错误。通过观察每个方法的语 阅读全文
posted @ 2018-06-23 22:12 NanonaN 阅读(270) 评论(0) 推荐(1) 编辑
摘要: 一、规格化设计概述 规格化设计主要为程序设计提供分解、精化和抽象的手段。在撰写代码规格的过程中,需要对其组成部件进行抽象。 否则, 如果每一个组成部件都以自己特有的行为方式运转, 不同的组成部件交织在一起, 那么规格的撰写可能同软件实现一样复杂。 过程抽象和数据抽象是两种有用的抽象方法。过程抽象把一组输入映射到一组输出上, 包含了数据抽象, 并通过数据抽象的行为来定义。数据抽象提供了一组数据以及施... 阅读全文
posted @ 2018-05-28 21:05 NanonaN 阅读(278) 评论(0) 推荐(0) 编辑
摘要: 一、前言 第二单元的三次作业是很有特点的三次作业。多线程电梯的设计思路和前两次电梯作业迥然不同,导致我花费了大量的时间去重构之前的代码,使其适应多线程电梯的作业要求;文件监视器是一个独立的作业,不像电梯和出租车那样是一个系列,因此写起来没什么包袱,感觉并不困难;出租车调度和多线程电梯写起来感觉比较相 阅读全文
posted @ 2018-04-30 23:40 NanonaN 阅读(260) 评论(0) 推荐(0) 编辑
摘要: 一、前言 "面向对象编程语言的问题在于,它总是附带着所有它需要的隐含环境。你想要一个香蕉,但得到的却是一个大猩猩拿着香蕉,而其还有整个丛林。" — Joe Armstrong(Erlang语言发明人) 在许多个夜晚,当我面对着Eclipse复杂的界面,仔细思索自己前几天刚刚写下来的、现在却已经不知道 阅读全文
posted @ 2018-04-02 21:45 NanonaN 阅读(229) 评论(0) 推荐(0) 编辑