- 博客(6)
- 收藏
- 关注
RSS订阅原创 软件构造：抽象数据类型
因此，在编写一个类时，应该仔细检查每个属性的类型（也不是说public不对，如果public的是不可变类型，那么也依旧不会导致错误，不会破坏表示独立）以及每个方法返回值的类型。R空间指的是由若干个对象（可能不止一个，通常是多个）组成的实现A空间的值的空间。②每个操作对应的是较为普遍的用法，而不是特殊情况，各个操作的应该处理相近类型的事情。表示独立意味着外部代码不依赖于其调用的类的内部实现方式，即如果外部代码调用了这个类的方法，同时类的该方法发生改变，但只要该改变仍然符合规约，那么对于外部代码调用无影响。
2023-05-26 13:56:49
260
1
原创 软件构造：数据类型与类型检验
不可变数据类型： 当该数据类型的对应变量的值发生了改变，那么它对应的内存地址也会发生改变，对于这种数据类型，就称不可变数据类型。可变数据类型 ：当该数据类型的对应变量的值发生了改变，那么它对应的内存地址不发生改变，对于这种数据类型，就称可变数据类型。3.1：概念：代码快照图是用于描述程序在运行时的某一个时刻代码中变量在内存中的情况的图。1.2.2静态类型检查的错误（可能会考）（关于类型的错误）1.2.2动态类型检查的错误（可能会考）（关于值的错误）②动态类型语言：在运行阶段进行类型检查。
2023-05-26 10:21:59
90
1
转载 Git常用命令速查
上面的命令会增加URL地址为'git@github.com:daixu/WebApp.git'，名称为origin的远程服务器库，以后提交代码的时候只需要使用 origin别名即可。git branch -m branch_0.1 branch_1.0 将branch_0.1重命名为branch_1.0。git diff --cached 或 $ git diff --staged 查看尚未提交的更新。git commit -m "remove" 移除文件(从Git中删除)
2023-05-25 17:25:28
389
1
原创 软件构造：黑盒测试（重点）
比如说，函数要求（条件）输入的是大于0的奇数（有效域），那么输入域则可以是任意，可以划分的等价类有负数、零、大于零的偶数、大于零的奇数、字符、小数。能发现接口的错误，功能缺失的错误，数据类型的错误（比如我是要输入一个二元组型的数据，但是却报错了，因此可以推出是数据类型的错误）①例如当输入a>b时输出1，a=b时输出0，a<b时输出2，因此就可以划分为a<b、a=b、a>b的情况。②有效域是特定的值：比如有效域是{0，1，2}，则可以划分为0，1，2，以及其余剩下的数。可以根据函数的有效域得出划分标准。
2023-05-25 17:01:58
150
1
原创 软件构造第一讲：软件构造的多维度视图和质量目标
但是在Build-time阶段更关注于软件形态随时间的变化，因为软件开发是具有周期性的，不可能一次就开发出一个完美的软件，而是可能不断地更改需求、完善和优化，在Run-time阶段更关注于对象实例在硬件环境随时间的变化，比如其所占用的内存大小。但是在Build-time阶段更关注于特定时刻下的软件形态，如某一时刻的代码，在Run-time阶段更关注于特定时刻下的对象实例在硬件环境中的形态，如某一时刻程序其占用的内存或某个对象在内存中的值等等。//保持设计的同构性，如标准化文件格式、数据结构、用户界面等。
2023-05-25 16:16:51
272
转载 常用sql语句大全
BeginTrans和CommitTrans用于标记事务的开始和结束，在这两个之间的语句，就是作为事务处理的语句。判断事务处理是否成功，可通过连接对象的Error集合来实现，若Error集合的成员个数不为0，则说明有错误发生，事务处理失败。它们并不对表中的行进行处理，这是因为DDL语句并不处理数据库中实际的数据。假如你想选出10条记录（也许是每次页面装载时的10条链接的列表），你可以用BETWEEN 或者数学等式选出第一条记录和适当数量的递增记录。表的结构以及表的所有属性仍然保留，例如字段属性及索引。
2023-05-22 10:43:29
1135
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人