软件构造复习大纲

已于 2022-06-14 10:41:55 修改

分类专栏： Software Construction 文章标签： java

于 2022-06-14 10:33:11 首次发布

软件构造

这是我为复习该课程所做的思维导图的Markdown版本，存于此作为记录

前言

Views and Quality Objectives of Software Construction

软件构造的多维度视图和质量目标

####### 发现不正确，消除不正确

####### 编写时就保证正确，try，assert

####### 形式化验证

原句：针对异常情况（不被规约覆盖的情况）的处理，关键在于出现异常（不被规约覆盖的情况）时不要崩溃

核心是要保持设计的同构性，关键是标准化

Testing and Test-First Programming

软件测试与测试优先的编程

Software Construction Process and Configuration Management

如系统工程师设计系统时可以设计系统测试

风险管控严格，分析后才能进入下一轮迭代

每个tree结点指向多个blob结点
每个blob为一个压缩了的仓库单元文件
commit与之前commit不变的部分，对应于几个版本回指向同一blog
变化对应于指向不同的blog

若在一条线上，XXXX于xxxx均转移至最新位置处
若不在一条线上，自动合并分支，合并两个版本创建新版本，head指向的master移动至新版本commit处

Data Type and Type Checking

标准称呼：静态类型，实际类型

int a = 1.2;
String b = 1;

静态类型语言动静态类型检查可以都有
动态类型语言：变量类型运行期确定
动态类型语言一般没有静态类型检查

Design Specification

后置条件：约束For 开发者

前置条件不满足，方法可做任意事情

Abstract Data Type(ADT)

Object-Oriented Programming(OOP)面向对象编程

不能判断一个对象是否为父类对象
因为后面为父类是，前面为父类或其子类都可以转换成功，返回true

若同时继承类与接口，优先继承类的方法
接口可以实现static方法，会自动继承

实际执行时调用哪个方法，运行时决定

####### 该方法是可以被直接复用的
####### 对某些子类型来说，有特殊性，可重写父类型中的函数，实现自己的特殊要求

####### 其所有子类型都需要这个功能
####### 但各有差异，没有共性，在每个子类中均需要重写

然后具体类实现个性行为（只实现父类所有方法就行吗）

抽象类abstract在public后？都行吧

polymorphism，subtyping，overloading

	Class<IntPair> clazz = IntPair.class;
    Type t = clazz.getGenericSuperclass();
    if (t instanceof ParameterizedType) {
        ParameterizedType pt = (ParameterizedType) t;
        Type[] types = pt.getActualTypeArguments();

// 可能有多个泛型类型
Type firstType = types[0];
// 取第一个泛型类型
Class<?> typeClass = (Class<?>) firstType;
System.out.println(typeClass);
// Integer
}

####### 不可作参数可作返回值

####### 可作参数不可作返回值

####### 不可作参数不可作返回值

不能判断一个对象是否为父类对象
因为后面为父类是，前面为父类或其子类都可以转换成功，返回true

value semantics:Only its value is important

return false;
Name n = (Name)o;
//（Edge<?> edge=(Edge<?>) obj;）
……

Equality in ADT and OOP

ADT和OOP中的等价性

String List 等都实现了观察等价性

Construction for Reuse

无字段保存对象
使用方法参数来建立delegation

在rep或构造方法中设定

在构造方法中传入参数绑定

继承发生在class层面

Construction for Change

Software Maintenance and Evolution

Metrics of Maintainability

高内聚，低耦合，分离关注点，信息隐藏

OO Design Principles:SOLID

面向变化的）开放/封闭原则

List<? extends Integer> intList = new ArrayList<>();
List<? extends Number> numList = intList;

如field中声明实例：使用接口，方便更宽泛的使用，以及参数传入，如限制传入Set而不是hashSet

Design Patterns for Reuse and

Maintainability
面向可复用性和可维护性的设计模式

创建式模式
Concern the process of object creation

根据具体需求String
依靠if else 来返回具体产品

结构式模式
Deal with the composition of classes or objects

如：只有矩阵对角顶点，只有可传入两边长与一点的方法来绘制矩形

行为类模式
Characterize the ways in which classes or objects interact and distribute
responsibility.

工程师或经理添加新的观测结果

Construction for robustness and Correctness

面向正确性与健壮性的软件构造

unchecked仅打印异常信息

unchecked处理简单

1
点赞
踩
2

收藏

觉得还不错? 一键收藏
1
评论
软件构造复习大纲

软件构造思维导图，不一定非常好（不能插入图片就很难受）
复制链接

扫一扫

软件构造复习大纲

软件构造

前言

课程定位

高级编程课

位于基础课与专业课之间

课程目标

编程层次升级

功能---->质量

具体---->抽象

编程---->工程

手工---->工具

具体知识

面向关键质量目标

可理解性

可维护性

可复用性

健壮性

时空性能

ADT与OOP

软件代码重构

面向更高级软件系统的高级构造技术

软件设计

设计目标

设计原则

设计模式

Views and Quality Objectives of Software Construction

软件构造多维度视图

软件构造的三个维度

按阶段划分

构造时

运行时

按动态性划分

时刻

阶段

按层次划分

代码

组件

描述软件系统的模型与视图

构造，时刻，代码

源码，抽象语法树ADT（结构化编程），UML类图

构造，阶段，代码

代码变化的版本控制·

构造，时刻，组件

Package，file，静态连接，library，测试用例，build script

构造，阶段，组件

对单个组件（文件）进行控制，组成项目版本控制

运行，时刻，代码

内存占用

运行，阶段，代码

栈跟踪，多线程管理

运行，时刻，组件

包，lib，动态链接，配置文件，数据库，中间件，网络，硬件

运行，阶段，组件

事件记录，多进程，分配进程

概念及描述方法

分布式程序：需要多个运行程序，分别部署于多个计算机物理环境

代码快照：描述程序运行时内存里变量层面的状态

内存转储（Memory dump）：一个包含进程内存拷贝的磁盘文件，包含程序异常退出时的寄存器、调用栈、程序数据等，调试器可以加载转储文件并显示信息

执行跟踪（Execution tracing）：软件层面，用日志方式记录程序执行的调用次序

事件日志：系统层面的日志

软件构造重要质量指标

外部质量因素

正确性

软件行为要保证严格符合规约定义行为

测试和调试

防御式编程

形式化方法

健壮性

对规约定义以外的行为，软件要做出恰当反应

非规约任意处理

异常（exception？）处理

可扩展性

规约修改是否容易，为了应对变化的需求

ADT与OOP

模块化，可调整式编程

可复用性

一次开发多次使用

发现共性

兼容性*