![](https://img-blog.csdnimg.cn/20201014180756916.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
软件构造学习心得
文章平均质量分 92
m0_54122000
这个作者很懒,什么都没留下…
展开
-
软件构造学习心得之抽象数据类型
目录1 抽象数据类型(Abstract types)2 设计ADT3 表示独立性(Representation Independence)4 测试ADT5 不变量(Invariants)&表示泄露(representation exposure)6 表示不变量和抽象函数(Rep Invariantand Abstraction Function)7 知识图谱传统的类型定义:关注数据 的具体表示抽象数据类型:强调数据上的操作,不关心实现,只关心操作和使用。即:一个抽象数据类型ADT由其操作定义。抽象数据类型强原创 2022-06-14 10:59:58 · 159 阅读 · 0 评论 -
软件构造学习心得之设计规约
目录1 沟通2 规约(Specification)2.1 行为等价性2.2 前置条件pre-condition(requires)和后置条件post-condition(effects)2.3 分类规约2.4 规约的强度判断2.5 图表规约(Diagramming specifications)2.6 设计良好规约 3 知识图谱沟通在日常生产生活中是最重要的一环,只有进行有效合理的沟通才能高效正确的完成某项任务。在软件开发的过程中,沟通同样十分重要。但要注意,在软件开发过程的过程中的沟通包括两个主要方向:1原创 2022-06-13 22:41:48 · 397 阅读 · 0 评论 -
软件构造学习心得之数据类型与类型校验
目录1 数据类型2 静态与动态类型检查(Static/dynamic data type checking)2.1 静态检查2.2 动态检查3 可变与不可变数据类型(Mutability/Immutability)3.1 改变变量3.2 改变值3.3 不可变类型3.4 防御性拷贝(Defensive Copying)4 代码快照5 知识框图在Java中,主要包括两种数据类型:基本数据类型(primitive types)和对象数据类型(object types)。为了更清楚的阐述这两种类型,结合 个人理解原创 2022-06-13 19:29:41 · 146 阅读 · 0 评论 -
软件构造学习心得之测试&测试优先程序
目录1 软件测试(Sowftware Testing)1.1 测试等级1.2 静态测试&动态测试(Static testing&Dynamic testing)1.3 白盒测试&黑盒测试(White-box testing&Black-box testing)2 编写测试优先程序(Test-First Programming)3 使用Junit进行单元测试4 等价类划分(Equivalence Partitioning)5 代码覆盖度(Coverage of Testing)6 知识框图软件测试是提高软件质原创 2022-06-13 01:46:51 · 165 阅读 · 0 评论 -
软件构造学习心得之软件视图&软件质量
软件视图是一种用来描述软件在构造时和运行时各个代码模块状态的工具。软件视图不仅仅包括代码程序,也包括外部文件组织形式,了解并合理运用软件视图这个强有力的工具,可以使我们更好更有效的阅读程序,理解程序,构造软件。同时,还涉及了一些软件质量的判断因素。.........原创 2022-06-13 00:44:23 · 356 阅读 · 0 评论