- 博客(6)
- 收藏
- 关注
RSS订阅原创 软件构造笔记——在VS Code中使用Coverage Gutters对代码覆盖度进行测试
在VS Code中使用Coverage Gutters显示代码覆盖度
2022-06-12 19:08:45
2212
原创 软件构造笔记——规约（Specifications）
一、为什么要写规约？1.没规约，没法写程序；即使写出来，也不知道对错。2.程序与客户端之间达成的一致。3.Spec给“供需双方”都确定了责任，在调用的时候双方都要遵守。精确的规约，有助于区分责任。客户端无需阅读调用函数的代码，只需理解spec即可。规约可以隔离“变化”，无需通知客户端，同时可以提高代码效率。他扮演了类似防火墙的作用：下面是add的spec的例子：...
2022-05-30 19:00:32
295
原创 软件构造笔记——Rep Invariantand Abstraction Function
一、“R”与“A”R：表示空间A：抽象空间表示空间与抽象空间的关系如下图：从表示空间到抽象空间的映射应当是一个满射，但并不一定是单射和双射。二、Abstraction Function And Rep Invariantand抽象函数（Abstraction Function）：R和A之间映射关系的函数，即如何去解释R中的每一个值为A中的每一个值。表示不变性（Rep......
2022-05-23 21:13:08
296
原创 软件构造笔记——Java基本数据类型和对象数据类型
一、基本数据类型（primitive types）与对象数据类型（object types）Java是双类型的系统，也就是基本数据类型和对象数据类型，简称基本类型和对象。 其中，Java中有8个预定义的基本类型，分别是：byte, short, int, long, float, double, boolean, char他们只有值，没有ID (与其他值无法区分)。他们的代价很低，在栈（stack）中分配内存。最重要的一点：他们是不可变的（immutable）。...
2022-05-14 15:25:36
2861
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人