- 软件开发方法
- 概念：指的是软件开发过程中所遵循的方法和步骤
按开发风范划分
自顶向下
自底向上
按性质划分
形式化方法
概念：具有数学基础的方法，有理论支持对系统的验证，保障软件的可靠性
适用：要求安全级别比较高的系统
非形式化方法
概念：以开发模型为依据进行开发
适用：一般非安全性很高的软件
按适应范围划分
整体方法：
概念：适用软件开发全过程的方法
举例：自顶向下、自底向上、各种软件自动化方法
局部方法：
概念：适用于某个具体阶段的软件方法
举例：需求分析阶段方法、设计阶段方法
- 形式化方法
形式化规格语言
用于严格定义用户需求，采用数学推演的方法证明定义的准确性和合理性
内容包括
严格的语法定义和语义定义
一序列的数学推演规格
特点
要求相关人员具有良好的数学基础
过于细节化，难以被用户和设计人员理解
这个方法的使用范围不广
改进
形式化方法结合图像语言，使得方法的表达更加直观和简洁
用CASE（计算机辅助软件工程）工具支持形式化方法的表达
- 净室软件工程（CSE：）
概念：是形式化方法的一种改进，采用盒结构归约进行分析和建模，通过统计测试获取可靠性信息
采用的技术手段有以下4个方面
统计过程控制下的增量式开发
基于函数规范和设计
正确性验证
统计测试和软件认证
CSE的缺点
对开发人员要求很高
正确性验证的步骤比较困难
不容易进行模块测试
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！