【形式化方法：VDM++系列】1.前言

1.前言

---

今天开始上课学习软件需求分析与VDM++，经过一节课的学习，我又增长了见识。

软件需求工程在软件工程中处于十分核心的地位；需求分析的好坏直接决定软件工程的成败。这一点是我之前对需求工程的理解和认识，然而今天的学习又进一步扩展了我的认识。

2.需求分析的发展阶段

---

说起需求分析，首先想到的是用例，然后就是各种各样的用例图，功能描述；接下来我会想到产品原型，业务流程描述等等；然而这些其实都只是需求工程的某一阶段的一小部分。实际上，需求分析大致可划分为以下3个阶段：

（1）上世纪70年代兴起的结构化需求分析技术。以传统的结构化开发方法为代表，典型工具是数据流图，数据字典，业务流程图等。我在12年写毕业论文时曾用过此技术，拜读管理信息系统的教科书，仍然能看到这种技术；

（2）上世纪80年代-90年代兴起的面向对象的需求分析技术。以OOAD为核心，典型工具是UML，上面提到的用例图就属于此类。现在UML在业内仍然非常流行，是当代软件开发的主流技术。

（3）上世纪90年代至今兴起的形式化方法。为了克服自然语言和上述分析语言主观性强的弱点，真正实现需求的精确化定义，就必须依赖于数学，形式化方法遵循严格的数学和逻辑实现软件需求的精确定义，真正实现软件开发的精确化和自动化。势必将成为未来软件业界需求分析之主流。本系列所讲述的VDM正是由IBM提出的最早的一种形式化方法。

3.什么是VDM++

---

VDM是上世纪60-70年代由IBM开发的第一个形式化方法语言，VDM++是1993年对VDM的扩展。作为形式化方法，VDM++基于离散数学和一阶谓词逻辑，为软件需求定义、需求检查、回归测试、软件证明等提供了可能性。

由于其形式化的特点，使它本身也成为一种编程语言。描述精确，便于与C++、Java语言转化是它的显著优势。此外，VDM++不仅支持命令式风格的开发，同时也支持函数风格的开发。闲话少说，具体等到后面就看到啦。

4.系列简介

---

本系列基本上会与课程进度保持同步更新，大致上每周二更新一次。下次将图文并茂地展示VDM++开发环境VDMTools的安装和使用，敬请期待。

下一篇：【形式化方法：VDM++系列】2.VDMTools环境的搭建