软件工程形式化说明技术.pptVIP

数据结构 第4章 形式化说明技术 4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言 4.5 小结 关于形式化方法 形式化方法是有争议的。它们的支持者宣称：它们可以引发软件开发的革命。而批评者认为：这是困难和不可能的。同时，对于大多数人来说，对形式化方法是如此不熟悉，以至难于判断这些争论。 形式化的程序 非形式化方法：自然语言描述 半形式化方法（欠形式化方法）：数据流图、实体-联系图 形式化方法：一种方法有坚实的数学基础 非形式化方法的缺点 二义性：操作员名和口令 可能存在矛盾：监控温度/往往距离很远 含糊性：由雷达操作员使用的系统界面应该是用户友好的 不完整性：传感器 抽象层次混乱：系统的目的是跟踪仓库中的库存/当店员输入命令withdraw及参数，系统将回馈是否允许移去货物 形式化方法的优点 简洁 几乎可以没有二义性 可以通过数学方法来发现矛盾和不完整性 在不同软件工程活动之间平滑地过渡 提供了高层确认的手段 有穷状态机 有穷状态机：可以准确的描述一个系统 有穷状态机 有穷状态机的组成部分（五元组） 状态集 输入集 转换函数 初始态 终态集 有穷状态机 谓词：全局状态的函数 “猫是动物”一句中的“是动物”就是一个谓词，而“猫”是客体 “3大于2”中“大于”是一个谓词 转换规则： 当前状态[菜单]+事件[所选择的项]=下个状态 当前状态[菜单]+事