软件工程导论第六版 第四章形式化说明技术

方法的划分

1、按照形式化的程度，可以把软件工程使用的方法划分成非形式化、半形式化和形式化 3类。

什么是形式化方法？

用自然语言描述需求规格说明，是典型的非形式化方法；用数据流图或实体-联系图建立模型，是典型的半形式化方法；所谓形式化方法，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。

形式化方法的优点

① 为了克服非形式化方法的缺点，人们把数学引入软件开发过程，创造了基于数学的形式化方法。数学最有用的一个性质是，它能够简洁准确地描述物理现象，是理想的建模工具。
② 数学比自然语言更适于描述详细的需求。在理想情况下，分析员可以写出系统的数学规格说明，它准确到几乎没有二义性。
③ 在软件开发过程中使用数学的另一个优点是，可以在不同的软件工程活动之间平滑地过渡。
④ 数学作为软件开发工具的最后一个优点是，它提供了高层确认的手段。可以使用数学方法证明设计符合规格说明以及程序代码正确地实现了设计结果。

应用形式化方法的准则：

(1)应该选择适当的表示方法。
(2)应该形式化，但不能过分形式化。目前的形式化技术还不适于描述系统的每个方面。
(3)应该有形式化方法的顾问提供咨询。绝大多数软件工程师没有受过形式化方法的训练，对于数学和逻辑符号不太清楚，因此，需要专业人员进行指导和培训。
(4)应该继续注重测试、测试、再测试。形式化方法不能保证软件系统的绝对正确，因此，测试的重要性没有降低。
(5)应该继续注重重用。即使采用的形式化的方法，软件重用仍然是降低软件成本和提高软件质量的唯一合理的方法。
(6)不应该放弃传统的软件开发方法。把形式化方法、结构化方法或者面向对象方法集合起来，取长补短，往往能取得很好的效果。
(7)不应该盲目依赖形式化的方法。形式化方法不是包治百病的灵丹妙药，它只是众多工具中的一种。