易学笔记-系统分析师考试-第8章 软件工程/8.2 软件开发方法/8.2.1 形式化方法

• 软件开发方法

1. 概念：指的是软件开发过程中所遵循的方法和步骤

按开发风范划分

自顶向下

自底向上

按性质划分

形式化方法

概念：具有数学基础的方法，有理论支持对系统的验证，保障软件的可靠性

适用：要求安全级别比较高的系统

非形式化方法

概念：以开发模型为依据进行开发

适用：一般非安全性很高的软件

按适应范围划分

整体方法：

概念：适用软件开发全过程的方法

举例：自顶向下、自底向上、各种软件自动化方法

局部方法：

概念：适用于某个具体阶段的软件方法

举例：需求分析阶段方法、设计阶段方法

• 形式化方法

形式化规格语言

用于严格定义用户需求，采用数学推演的方法证明定义的准确性和合理性

内容包括

严格的语法定义和语义定义

一序列的数学推演规格

特点

要求相关人员具有良好的数学基础

过于细节化，难以被用户和设计人员理解

这个方法的使用范围不广

改进

形式化方法结合图像语言，使得方法的表达更加直观和简洁

用CASE（计算机辅助软件工程）工具支持形式化方法的表达

• 净室软件工程（CSE：）

概念：是形式化方法的一种改进，采用盒结构归约进行分析和建模，通过统计测试获取可靠性信息

采用的技术手段有以下4个方面

统计过程控制下的增量式开发

基于函数规范和设计

正确性验证

统计测试和软件认证

CSE的缺点

对开发人员要求很高

正确性验证的步骤比较困难

不容易进行模块测试