(2.4)--04章 形式化说明技术.pptVIP

第4章形式化说明技术软件工程导论（第6版）

第4章形式化说明技术

二义性举例：地理教材中说，中国产煤最多的地方是辽宁省抚顺，产铁最多是辽宁省鞍山，所以抚顺被称为中国的“煤都”，鞍山称为“铁都”。某次月考试题：中国的煤都是（），中国的铁都是（）。结果某张试卷上：中国的煤都是（黑的），中国的铁都是（硬的）。考完还说：这次老师怎么出那么简单的题目？

第4章形式化说明技术

形式化技术在软件工程中有效的提高了开发的效率、改进了软件开发的质量、减少了开发费用。形式化的技术容易在软件的规约上取得一致性，它属于一种非常有效的交流方式。软件工程使用方法的形式化描述形式化半形式化数据流图或实体-联系图建立模型非形式化自然语言描述需求规格说明

章节目录4.1概述4.2有穷状态机4.3Petri网4.4Z语言

主要

内容4.1概述4.2有穷状态机4.3Petri网4.4Z语言

4.1概述用自然语言书写的系统规格说明书，可能存在矛盾、二义性、含糊性、不完整性及抽象层次混乱等问题。矛盾是指一组相互冲突的陈述。二义性是指读者可以用不同方式理解的陈述。含糊性不完整性抽象层次混乱是指在非常抽象的陈述中混进了一些关于细节的低层次陈述。4.1.1非形式化方法的缺点用自然语言书写的系统规格说明书，可能存在的问题：（1）矛盾：指一组相