《软件工程课件第4章形式化语言（（第六版）（张海潘编著）》由会员分享，可在线阅读，更多相关《软件工程课件第4章形式化语言（（第六版）（张海潘编著）（13页珍藏版）》请在金锄头文库上搜索。
1、第4章形式化说明技术4.1概述4.2有穷状态4.3_Petri网按形式化程度,软件工程使用方法的分类:。非形式化,用自然语言描述需求规格说明;半形式化,用数据流图或实体-联系图建立模型;。形式化,是描述系统性质的基于数学的技术,也就是说,如果一秦方法有坚实的数学基础,那么它就是形式化的。14.1概述4.1.1非形式化方法的缺点矛盾,指一组相互冲突的陈述。二义性,指读者可以不同方式理解的陈述。含糊性,需求规格说明很庞大,几乎不可避免地会出现含糊性,不完整性,不完整性H能是在系统规格说明中最常遇到的问题之一。抽象层次混乱,指在非常抽象的陈述中混进了一些关于细节的低层次陈述。1412形式化方法的优点
2、为了克服非形式化方法的缺点,人们把数学引入软件开发过程,创造了基于数学的形式化方法。其优点:。数学能够简洁准确地描述物理现象、对象或动作的结松,此是理想的建模工具。特别适合于表示状态,也就是表示“做什么“。“可以在不同的软件工程活动之间平湾地过渡。不仅功能规格说明,而且系统设计也可以用数学表达,当然,程序代码也是一种数学符号。它提供了高层确认的手段。可以使用数学方法证明:设计符合规格说明,程序代码正确地实现了设计结果。14.1.3应用形式化方法的准则(1)应该选用适当的表示方法通常,一种规格说明技术只能用自然的方式说明某一类概念,如果描述其不适应描述的,则适得其反。(2)应该形式化,但不要过分
3、形式化目前的形式化技术迦不适于描述方面。(3)应该估算成本为了使用形式化方法,通常需要系统的每个事先进行大量的培训。最好预先估算所需的成本并编入预算。(4)应该有形式化方法顾问随时提供咨询绝大多数软件工程师对形式化方法中使的数学和逻辑并不很熟悉,没受过使用形式化方法的专业训练,因此需要专家指导和培训。(5)不应该放弃传统的开发方法把形式化方法和结构化方法或面向对象方法集成起来取长补短往往能获得很好的效果。(6)应该建立详尽的文档建议使用自然语言注释形式化的规格说明书,以帮助用户和维护人员理解系统。(7)不应该放弃质量标准形式化方法不能保证软件的正确性,只不过是有助于开发出高质量软件的一种手段。
4、(8)不应该盲目依赖形式化方法形式化方法并不能保证开发出的软件绝对正确,必须用其他方法来验证软件正确性。(9)应该测试、测试再测试软件测试的重要伯开没有降低。(10)应该重用软件重用仍然是降低软件成本和提高软件质量的惟一合理的方法。14.2有穷状态机4.2.1概念05绍一个保险箱上装了一个复合锁,锁有“三个位置,分别标记为1、2、3,转盘可向左(L)或向右(R)转动。这样,在任意时刻算盅都有6种可能的运动,即1L、1R、2L、2R、3L和3R。保险箱的组合密码是1L、3R、2L,转盘的任何其他运动都将引起报警。初始忘保险箱保险箱锁定解锁转盘的任何其他移动_有穷状态机包括5个部分:状态集J输入集KE丑兰l前伏脊和主前输入确定下个状态(次态)的轼换函数一初始态S和终态集F。面伏态集J.保睑箱锁定A,B,保险箱解锁,报警输入集K:1L,1R,2L,2R,3L,3R转换函数丁如表4.1所示初始态S:保险箱锁定。终态集F:保险箱解锁,报警
