软件工程（六）

数据规范化
通常用范式定义消除数据冗余的程度。
1）第一范式
2）第二范式
3）第三范式

状态转换图
状态转换图通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为。
状态：
状态是任何可以被观察到的系统行为模式，一个状态代表系统的一种行为模式。
事件：
事件是某个特定时刻发生的事情，它是引起系统做动作或状态转换的控制信息。

举例：

层次方框图：
层次方框图用树形结构的一系列多层次的矩形框描绘数据的层次结构。

Warnier图
Warnier图也用树形结构描绘信息，但是这种图形工具比层次方框图提供了更丰富的描绘手段。

IPO图
IPO图是输入/处理/输出图。是IBM公司发展的

验证软件需求
验证软件需求的正确性
1）一致性：所有需求必须一致
2）完整性：规格说明书包括用户需要的每个功能和性能。
3）现实性：硬件技术和软件技术可以实现。
4）有效性：确实能解决用户面对的问题。

验证软件需求的方法
1）验证需求的一致性
人工技术审查验证
2）验证需求的现实性
经验
仿真或性能模拟技术
3）验证需求的完整性和有效性
通过试用原型系统

用于需求分析的软件工具
用于需求分析的软件应该满足下列要求：
1）必须有形式化的语法
2）使用这个软件工具能够导出详细的文档
3）必须提供分析规格说明书的不一致性和冗余性的手段
4）使用这个软件工具后，应该能够改进通信状况

RSL（需求陈述语言）：信息集→ASSM(抽象系统)→PASCAL模拟程序
PSL/PSA（问题陈述语言/问题陈述分析程序）系统

欢迎关注我的微信个人订阅号

每天多学一点0.0