阅读和了解什么是形式化方法？

定义

       在计算机科学和软件工程领域，形式化方法是基于严格的数学的特种技术，适合于软件和硬件系统的描述、开发和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。

优点

1. 具有逻辑精确性，为开发人员与用户对需求的一致性理解, 及需求的正确执行提供了更大的可能性。
2. 实现了系统的重复分析、一致性分析以及一个较少依赖特定分析者技术和毅力的分析过程。
3. 弥补了现有的测试方法, 提供了一个精确的形式化说明，可以获取一个好的测试计划。
4. 除去了需求分析中的模糊性和主观性。

缺点

1. 无法确保开发出完全正确的软件。
2. 可能会延误项目开发的周期，增加开发的费用。
3. 适用范围较小，可以应用于较小规模的项目，很难应用于一些大型系统。
4. 加大了程序设计人员的学习程度，需要具备较好的数学理论基础。