TimothyDrake-优快云博客

原创【HIT】哈工大2021春软件构造复习（6）

Chapter 6: Abstract Data Type (ADT)本章重点：6.1 Abstraction and User-Defined Types数据抽象（Abstraction）：由一组操作所刻画的数据类型。抽象类型强调“作用于数据上的操作”，程序员和用户无需关心数据如何具体存储的，只需设计/使用操作即可。ADT是由操作定义的，与其内部如何实现无关。除了编程语言所提供的基本数据类型和对象数据类型，程序员可定义自己的数据类型（用户定义类型）。6.2 Classifying Typ

2021-07-06 10:48:59 374

原创【HIT】哈工大2021春软件构造复习（5）

Chapter 5：Designing Specification（设计规约）本章重点：5.1. Functions & methods in programming languages（程序设计语言中的函数和方法）介绍了函数和方法的返回值和参数等基础概念。注意静态类型检查阶段会检测参数类型和返回值类型是否匹配。5.2. Specification: Programming for communication（规约）1. Documenting in programming写注释形式

2021-07-05 20:53:38 278

原创【HIT】哈工大2021春软件构造复习（4）

文章目录Chapter 3: Data Type and Type Checking（数据类型与类型检验）3.1 Data type in programming languages3.2 Static vs. dynamic data type checking3.3 Mutability & Immutability1. 不变性2. 可变类和不可变类举例3. 总结3.4 Snapshot diagram（关系快照图）3.5 Complex data types: Arrays and Colle

2021-06-29 20:16:45 320 2

原创【HIT】计算机系统大作业-程序人生

计算机系统大作业摘要本文通过分析hello.c程序从创建到消失的全过程，从而更深入地理解计算机系统在预处理、编译、汇编、链接等阶段的行为，以及进程管理、存储管理和IO管理的相关知识。关键词：hello，编译，链接，进程管理，存储管理，IO管理。第1章概述1.1 Hello简介程序员写完C语言代码后，利用gcc编译器对C语言程序执行编译命令。P2P过程：hello.c文件先经过预处理器生成hello.i，再经过编译器生成hello.s（汇编程序），然后经过汇编器as生成可重定位目标程序h

2021-06-27 23:19:26 560 2

原创【HIT】哈工大2021春软件构造复习（3）

Chapter 3: Software Construction Process and Configuration Management（软件构造过程与配置管理）本章重点：本章重点关注软件开发(0->1->…->n)遵循什么过程，以及每个阶段内部的“子过程”。3.1 Software Development Lifecycle (SDLC)软件开发生命周期（SDLC）：从0到1 从无到有软件的版本更新（Multiple versions）： From 1 to n 从

2021-06-09 22:47:56 414 2

原创【HIT】哈工大2021春软件构造复习（2）

Chapter 2: Process and Tools of Software Construction软件测试与测试优先的编程学会用等价划分和边界值分析方法为模块设计测试用例，用工具度量一组测试用例对代码的“覆盖度”，了解下列测试手段：2.1 Software Testing测试是提升软件质量的重要手段，可以确定软件是否达到可用级别（用户需求）。但是无法达到100%无错误。好的测试：能发现错误、不冗余、最佳特性、复杂度适中。测试级别可以分为：单元测试、集成测试、系统测试以及回归测试。St

2021-06-05 10:11:30 257 5

原创【HIT】哈工大2021春软件构造复习（1）

【HIT】哈工大2021春软件构造复习（1）Chapter 1: Views and Quality Objectives of Software Construction1.1Multi-dimensional software view1.软件的多维视图Build-time:关注软件的构造阶段。Code-level:这一维度关注代码的逻辑组织，也就是源代码是如何被方法、函数、类和接口等底层模块组织起来的，以及其中代码之间的依赖关系。Component-level：这一维度关注代码的物理组织

2021-05-31 21:34:37 445

m0_49375419的博客