形式化说明技术.pptxVIP

第4章 形式化说明技术(Formalization Method) 本章在介绍非形式化方法不足的基础上，介绍了形式化方法的优点，及常见的形式化方法：有穷状态机、Petri网、Z语言。非形式化：用自然语言描述的需求说明半形式化：用DFD、ER图建立的模型形式化方法：是描述系统性质的、基于数学的技术形式化说明技术 形式化方法基本含义是借助数学的方法来研究计算机科学中的有关问题。 《Encyclopedia of Software Engineering》对形式化方法定义：用于开发计算机系统的形式化方法是基于数学的用于描述系统性质的技术。它提供了一个框架，可以在该框架中以系统的方式刻画、开发和验证系统。 因此：在软件开发全过程中，凡是采用严格的数学语言，具有精确的数学语义的方法，都称为形式化方法。包括形式化规格（Specification）和形式化验证（Verification）。§1. 概 述1、非形式化方法的缺点? 陈述的前后矛盾? 理解的二义性? 不精确性? 不完整性? 抽象层次混乱2、形式化方法的优点? 能简洁准确描述物理现象、对象或动作的结果? 可在不同软件工程活动之间平滑过渡? 提供了高层确认的手段§1. 概述3、应用形式化方法的准则? 应该选用适当的形式化说明方法? 应该形式化，但不要过分形式化? 应该预先估算使用形式化方法的成本? 应该有形式化方法的顾问随时提供咨询?