软件构造
已自闭.jpg
这个作者很懒,什么都没留下…
展开
-
软件构造笔记相关——ADT设计
immutabile:String,BigInteger基本类型以及其封装对象类型,包装器(包装器的不可变是在运行阶段获得的,编译阶段无法据此进行静态检查) mutable:StringBuilder,List,Set,Map 防御式拷贝 安全的使用可变类型:局部变量;不会涉及共享;只有一个引用 final:引用不可变但是指向的值是可变的 可变的引用也可以只想不变的值 Iterator:mutable迭代器 规约,行为等价性 前置条件:对客户端的约束,在使用方法时必须满足的条件 后置条件:对开发者的约束,方原创 2020-07-11 11:35:14 · 171 阅读 · 0 评论 -
软构实验踩坑——Java拷贝相关
关于Java中的拷贝问题 在实验二中就因为Java中的拷贝机制踩了个坑,到实验2结束都不知道是哪里的问题,知道做到实验三才想起来到底是咋回事,故做此文。 import java.util.ArrayList; import java.util.List; public class foo { public static void main(String[] args) { // TODO Auto-generated method stub List<Integer> l1 =原创 2020-07-11 11:33:49 · 119 阅读 · 0 评论 -
HIT 软构 GIT相关
在本学期的软件构造课程中,需要使用分布式版本控制系统Git来对实验代码进行管理。 关于Git的相关内容,在课程中基本已经介绍完了,这里圈一下重点内容: 一个Git repository包含的三个部分: 本地的CMDB(配置管理数据库 存储软件的各配置项随时间发生变化的信息 +基线) 工作目录(本地的文件系统) 暂存区(隔离工作目录和Git仓库) 每一个文件的状态:已修改/已暂存/已提交 Git储存发生变化的文件,对于未发生变化的文件不储存。 下面给出我在使用Git的过程中遇到的问题 ①在使用G原创 2020-07-11 11:25:27 · 156 阅读 · 0 评论 -
软件构造1-2
软件的特性以及软件构造的关键因素 折中:在特定的情况下选择比较重要的因素,舍弃其他的不重要因素。 在软件构造的过程中,不可能使软件的各种特性都能够达到最优化,因此需要在各种特性之间进行折中选择,其中正确性是必须要保证的特性。 软件的内部特性与外部特性 外部: 正确性:需要满足实现预定的标准是最重要的质量指标——分层,保证每一层的正确性 测试调试 形式化方法验证 健壮性:对于软件工程说明书中没有提到的情况(异常情况)下的处理,注意不可以在异常情况下崩溃。 可扩展性:根据需求的变化对软件功能进行修改(扩充)原创 2020-07-11 11:21:19 · 99 阅读 · 0 评论