什么是形式化方法

在计算机科学和软件工程领域，形式化方法是基于 数学的特种技术，适合于软件和硬件系统的描述、开发和验证。一般分为形式化规范说明和形式化验证两种。

形式化的优点如下：

1、能够简洁准确地描述物理现象，对象或动作的结果，因此是理想的建模工具。

2、可以在不同的软件工程活动期间平滑的过渡。

3、提供了高层确认的手段。可以使用数学方法证明，设计符合规格说明，程序代码正确地实现了设计结果。

形式化的准则：

1、应当选择合适的表示方法。

2、应当形式化，但不能过分的形式化。

3、应当估算成本。

4、应该有形式化方法顾问随时提供咨询。

5、不应该放弃传统的开发方法。

6、应该建立详尽的文档。

7、不应该放弃质量标准。

8、不应该盲目以来形式化方法。

9、应该测试、测试再测试。

10、应该重用。