形式化语言.pptxVIP

形式化方法所谓形式化方法：是描述系统性质的，是基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。SOFTWARE ENGINEERING4.1概述4.1.1非形式化方法的缺点用自然语言书写的系统规格说明书，可能存在矛盾、二义性、含糊性、不完整性及抽象层次混乱等问题。4.1.2形式化方法的优点简洁准确描述物理现象、对象或动作的结果适合于表示状态，表示“做什么”数学规格说明 可以用数学方法验证SOFTWARE ENGINEERING4.1.3应用形式化方法的准则1 应该选用适当的表示方法（每种形式化语言都有各自的特点）2 应该形式化，但不要过分形式化3 应该估算成本4 应该有形式化方法顾问随时提供咨询5 不应该放弃传统的开发方法6 应该建立详尽的文档7 不应该放弃质量标准8 不应该盲目依赖形式化方法9 应该测试、测试再测试10 应该重用SOFTWARE ENGINEERING4.2有穷状态机4.2.1概念一个有穷状态机包括5部分：J是一个有穷的非空状态集；K是一个有穷的非空输入集T是一个从（J-F）×K到J的转换函数S∈J，是一个初始状态F∈J，是终态集SOFTWARE ENGINEERING图4.1保险箱的状态转换图SOFTWARE ENGINEERINGSOFTWARE ENGINEERING保险箱的有穷状态机状态集J：{保险箱锁定，A,B，保险箱解锁，报