Homework10--什么是形式化方法

一、定义：形式化方法是一种基于数学的技术，用于描述系统性质。它适用于软件和硬件系统的描述、开发和验证，是期望能够像其他工程学科一样，使用适当的数学分析以提高设计的可靠性和强健性。根据形式化的程度，可以把软件工程方法划分为非形式化、半形式化和形式化三类。形式化方法的主要研究对象是形式语言，主要应用于形式验证。

二、形式化方法有以下优点：

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

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

3、提供了高层确认的手段。

三、形式化方法有以下应用准则：

1、确定需要验证的性质。

2、选择适当的数学方法。

3、选择适当的工具。

4、选择适当的模型。

5、验证模型的正确性。

6、验证工具的正确性。

7、分析验证结果。

四、总结

形式化方法在软件工程领域有广泛的应用。形式化方法可以提高软件和硬件系统的可靠性和强健性，但形式化方法通常只用于开发注重安全性的高度整合的系统。