在计算机科学和软件工程领域,形式化方法是基于 数学的特种技术,适合于软件和硬件系统的描述、开发和验证。一般分为形式化规范说明和形式化验证两种。
形式化的优点如下:
1、能够简洁准确地描述物理现象,对象或动作的结果,因此是理想的建模工具。
2、可以在不同的软件工程活动期间平滑的过渡。
3、提供了高层确认的手段。可以使用数学方法证明,设计符合规格说明,程序代码正确地实现了设计结果。
形式化的准则:
1、应当选择合适的表示方法。
2、应当形式化,但不能过分的形式化。
3、应当估算成本。
4、应该有形式化方法顾问随时提供咨询。
5、不应该放弃传统的开发方法。
6、应该建立详尽的文档。
7、不应该放弃质量标准。
8、不应该盲目以来形式化方法。
9、应该测试、测试再测试。
10、应该重用。