2021-04-05

形式化方法

阅读相关资料后的个人见解以及课文相关摘录（笔记）：

•   按照形式化程度，可以把软件工程的使用方法划分成非形式化、半形式化和形式化三类。非形式化即是使用自然语言描述需求规格说明，则半形式化即是用数据流图或实体-联系图建立模型的方法。而所谓形式化方法，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的，形式化方法具有很强的逻辑性。
    在使用过程中非形式化方法于今有诸多缺点，列如用自然语言书写的的系统规格说明书，可能存在矛盾、二义性、含糊性、不完整性以及抽象层次混乱等问题，都体现了非形式化方法的逻辑性不强。相对于这些问题，形式化方法相对较好一点 ，在具有数学的基础上，它能够简介准确的去描述物理现象、对象或动作的结果；在分析系统规格说明的的时候，它能够准确到几乎没有二义性并且可以用数学方法来验证，以发现存在的矛盾和不完整性，在这样的规格说明中几乎没有含糊性；以及它可以在不同的软件及工程活动之间平滑的过渡和提供了高层确认的手段。
    当然形式化方法也具有一定的缺点，大多数的形式化规格说明主要关注于系统的功能和数据，而问题的时序、控制和行为等方面的需求却更难以表示。此外，形式化方法相对于其他方法更难学习，不仅花销大，而且对于某些工程师来讲，它代表了一种“文化冲击”。
    应用形式化方法的准则：1.应该选用适当的表示方法；2.应该形式化，但不要过分形式化；3.应该估算成本；4.应该有形式化方法顾问随时提供咨询；5.不应该放弃传统的开发方法；6.应该建立详尽的文档；7.不应该放弃质量标准；8.不应该盲目依赖形式化；9.应该测试、测试再测试；10.应该重用。*