- 博客(6)
- 收藏
- 关注
RSS订阅原创 软件构造学习心得之抽象数据类型
目录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
203
原创 软件构造学习心得之设计规约
目录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
493
原创 软件构造学习心得之数据类型与类型校验
目录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
189
原创 软件构造学习心得之测试&测试优先程序
目录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
207
原创 软件构造学习心得之软件视图&软件质量
软件视图是一种用来描述软件在构造时和运行时各个代码模块状态的工具。软件视图不仅仅包括代码程序，也包括外部文件组织形式，了解并合理运用软件视图这个强有力的工具，可以使我们更好更有效的阅读程序，理解程序，构造软件。同时，还涉及了一些软件质量的判断因素。.........
2022-06-13 00:44:23
409
原创 程序人生-Hello’s P2P
摘 要本文以hello.c为例，介绍了整个P2P的流程。从最初的源文件开始编译成可执行文件，再到可执行文件在shell中的运行，利用了多种强大的工具详细分析了hello程序的预处理，编译，汇编，链接，进程管理，存储管理，I/O管理等一系列过程。从本质和底层展现了hello是如何运行的。同时，也分析了程序运行过程中可能出现的问题以及优化措施。关键词：P2P；进程管理；计算机系统：编译；hello程序（摘要0分，缺失-1分，根据内容精彩称都酌情加分...
2022-05-20 16:13:59
369
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人