- 博客(4)
- 收藏
- 关注
RSS订阅原创 软件构造笔记相关——ADT设计
immutabile:String,BigInteger基本类型以及其封装对象类型,包装器（包装器的不可变是在运行阶段获得的，编译阶段无法据此进行静态检查）mutable:StringBuilder，List,Set,Map防御式拷贝安全的使用可变类型：局部变量；不会涉及共享；只有一个引用final：引用不可变但是指向的值是可变的可变的引用也可以只想不变的值Iterator:mutable迭代器规约，行为等价性前置条件：对客户端的约束，在使用方法时必须满足的条件后置条件：对开发者的约束，方
2020-07-11 11:35:14
151
原创 软构实验踩坑——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
96
原创 HIT 软构 GIT相关
在本学期的软件构造课程中，需要使用分布式版本控制系统Git来对实验代码进行管理。关于Git的相关内容，在课程中基本已经介绍完了，这里圈一下重点内容：一个Git repository包含的三个部分： 本地的CMDB（配置管理数据库 存储软件的各配置项随时间发生变化的信息 +基线） 工作目录（本地的文件系统） 暂存区（隔离工作目录和Git仓库）每一个文件的状态：已修改/已暂存/已提交Git储存发生变化的文件，对于未发生变化的文件不储存。下面给出我在使用Git的过程中遇到的问题①在使用G
2020-07-11 11:25:27
147
原创 软件构造1-2
软件的特性以及软件构造的关键因素折中：在特定的情况下选择比较重要的因素，舍弃其他的不重要因素。在软件构造的过程中，不可能使软件的各种特性都能够达到最优化，因此需要在各种特性之间进行折中选择，其中正确性是必须要保证的特性。软件的内部特性与外部特性外部：正确性：需要满足实现预定的标准是最重要的质量指标——分层，保证每一层的正确性 测试调试 形式化方法验证 健壮性：对于软件工程说明书中没有提到的情况（异常情况）下的处理，注意不可以在异常情况下崩溃。可扩展性：根据需求的变化对软件功能进行修改（扩充）
2020-07-11 11:21:19
75
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人