软件工程导论学习-形式化说明技术
来源:互联网 发布:spss软件怎么用 编辑:程序博客网 时间:2024/05/17 03:45
按照形式化的程度,可以把软件工程使用的方法划分成非形式化、半形式化和形式化3类。
所谓形式化方法,是描述系统性质的基于数学的技术。
用自然语言书写的系统规格说明书,可能存在矛盾、二义性、含糊性、不完整性及抽象层次混乱等问题。
数学最有用的一个性质是,它能够简洁准确地描述物理现象、对象或动作的结果,因此是理想的建模工具。数学特别适合于表示状态,也就是表示“做什么”。
应用形式化方法的准则
1.应该选用适当的表示方法。
2.应该形式化,但不要过分形式化。
3.应该估算成本。
4.应该有形式化方法顾问随时提供咨询。
5.不应该放弃传统的开发方法。
6.应该建立详尽的文档。
7.不应该放弃质量标准
8.不应该盲目依赖形式化方法:形式化方法并不能保证开发出的软件绝对正确,例如,无法用形式化方法证明从非形式化需求到形式化规格说明的转换是正确的,因此,必须有那个其他方法(例如,评审、测试)来验证软件正确性。
9.应该测试、测试再测试。
10.应该重用。
0 0
- 软件工程导论学习-形式化说明技术
- 软件工程系列 -软件开发形式化说明技术
- 软件工程形式化技术简介
- 形式化说明技术
- 软件工程导论学习-可行性研究
- 软件工程导论学习-实现
- 软件工程导论学习笔记
- 软件工程导论学习-软件危机
- 软件工程导论学习-软件过程
- 软件工程导论学习-需求分析
- 软件工程导论学习-总体设计
- 软件工程导论学习-详细设计
- 软件工程课程学习说明
- 拒绝形式化的软件工程文档
- 形式化验证技术
- 软件工程导论
- 软件工程导论
- 软件工程导论
- 什么是ADSL?
- 几大芯片商布局浮出水面
- Android中的PopupWindow详解-FenGKun
- 那么多技术,作为一个freshman,该学习什么?
- UML建模之时序图
- 软件工程导论学习-形式化说明技术
- Mysql中关于Could not retrieve transation read-only status server
- linux(ubutu)mysql的安装配置
- java继承的构造函数调用顺序
- OpenCv中使用Sobel算子
- Linux系统所有用户命令操作
- 数据库中的索引
- 软件体系架构模式在 J2EE 中的应用
- CPU与单片机的复位电路的作用及基本复位方式