软件工程视频学习笔记（二十八）

论域分析：

论域分析开发问题论域的模型、考查问题论域内的一个较宽的范围，分析覆盖的范围应比直接要解决的问题更多、建立大致的系统实现环境

应用分析：应用分析则根据特定应用的需求进行论域分析、应用分析细化在论域分析阶段所开发出来的信息，把注意力集中于当前要解决的问题

 

类的定义：

一旦标识了一个类，就给出了它的规格说明，其中包括类的实例可执行的操作和它们的数据表示

对每一个，无论是在哪一个阶段标识的类都是如此

类的规格说明定义了施加于对象的数据存储上的一组操作

类的实现：通过变量的声明、操作界面的实现以及支持界面操作的函数的实现，可实现一个类的预期行为和状态。

实现是与语言有关的。一个好的面向对象语言应当分离共有界面与其内部实现

类的测试：

如果类的定义提供的界面比较狭窄，那么穷举测试就有可能实现

类的测试在最抽象的层次开始，沿继承关系继续向下进行

已经测试过的部分不需要从新测试

求精和维护：

这是一个在软件生存期中最花费时间的部分。

传统的维护活动是针对应用的，而求精过程是针对类，针对把类集成在一起的结构

我们可以标识抽象的抽象，使得继承结构通过一般化增加新的层次，即在既存的根类之上增加新的层次

 

对象模型化技术OMT

对象模型化技术把分析时收集的信息构造在三类模型中，即对象模型、功能模型、动态模型

对象模型：是三个模型中最关键的一个模型，它的作用是描述系统的静态结构，包括构成系统的类和对象，它们的属性和操作，以及它们之间的关系。在OMT中，类与类之间的关系叫做关联

聚合，代表整体与部分的关系，这是一种特殊形式的关联

限定，用以对关联的含义做某种约束

角色，用来说明关联的一端。由于多数关联具有两个端点，因而涉及到两个角色

动态模型：动态模型着重于系统的控制逻辑。它包括两个图，一个是状态图，一个事件追踪图

状态图：状态图是一个状态和事件的网络，侧重描述每一类对象的动态行为

在状态图中，状态是对某一时刻中属性特征的概括。而状态迁移表示这一类对象在何时对系统内外发生的哪些事件作出何种响应

操作是一个伴随状态迁移的瞬时发生的行为，与触发事件一起表示在有关的状态迁移之上

动态模型有多个状态图组成

各个状态图并发的执行，并可以独立的改变状态

事件：

一个事件发生在某一时刻

每个事件都是单独发生的

我们建立事件类，并给每个事件一个名字，以指明共同结构和行为

事件从一个对象向另一个对象传送信息

事件追踪图：事件追踪图侧重于说明发生于系统执行过程中的一个特定“场景”

场景也叫脚本，是完成系统某个功能的一个事件序列

状态图和事件追踪图的关系：

状态图叙述一个对象的个体行为，事件追踪图则给出多个对象所表现出来的集体行为