软件工程课件之第4章_形式化说明技术(第五版)(张海潘编著).pptVIP

第4章 形式化说明技术 4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言 软件工程使用方法的分类： 非形式化，用自然语言描述需求规格说明； 半形式化，用数据流图或实体-联系图建立模型； 形式化，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。 4.1 概述4.1.1 非形式化方法的缺点 矛盾，指一组相互冲突的陈述。 二义性，指读者可以用不同方式理解的陈述。 含糊性，几乎不可避免地会出现含糊性。 不完整性，不完整性可能是在系统规格说明中最常遇到的问题之一。 抽象层次混乱，指在非常抽象的陈述中混进了一些关于细节的低层次陈述。 4.1.2 形式化方法的优点 数学能够简洁准确地描述物理现象、对象或动作的结果，因此是理想的建模工具。特别适合于表示状态，也就是表示“做什么”。 可以在不同的软件工程活动之间平滑地过渡。不仅功能规格说明，而且系统设计也可以用数学表达，当然，程序代码也是一种数学符号。 它提供了高层确认的手段。可以使用数学方法证明，设计符合规格说明，程序代码正确地实现了设计结果。 4.1.3 应用形式化方法的准则 (1) 应该选用适当的表示方法 通常，一种规格说明技术只能用自然的方式说明某一类概念。 (2) 应该形式化，但不要过分形式化 目前的形式化技术