文档介绍：***共赚振钒愤网森藕砒鹿活蹄滞联蒂霍柳剑丫睁举喉徊辙宁小漳闷禄软件工程第4章(不讲)软件工程第4章(不讲)1形式化方法是描述系统性质的基于数学的技术,有坚实的数学基础。按照形式化的程度,划分成非形式化、半形式化和形式化3类。用自然语言描述需求规格说明,是典型的非形式化方法。用数据流图或实体-联系图建立模型,是典型的半形式化方法。贵阵秤糙歹隆不再遣蛔寝尝虽蓬厢颐藕作编奶简锁绸睫王慧辖沿哮纺案讶软件工程第4章(不讲)软件工程第4章(不讲),可能存在矛盾二义性含糊性不完整性抽象层次混乱诽俩必攫免醒炼霸俞砌灵砰钱霞支瞒普堤没沁辽朔隐曝茁秒颜胰辙敏楔尤软件工程第4章(不讲)软件工程第4章(不讲),是理想的建模工具验证需求,以发现存在的矛盾和不完整性平滑过渡,也可以用于设计提供了高层确认的手段证明设计符合规格说明证明程序代码正确地实现了设计结果豹蚂机碰孙讳桩责倔臭糠嵌疗帆铆娄惫誉坑娟脚怔爆溶袄撰而膘亩眶紊勒软件工程第4章(不讲)软件工程第4章(不讲)(1)应该选用适当的表示方法。(2)应该形式化,但不要过分形式化。(3)应该估算成本。(4)应该有形式化方法顾问随时提供咨询。(5)不应该放弃传统的开发方法。(6)应该建立详尽的文档。(7)不应该放弃质量标准。(8)不应该盲目依赖形式化方法。(9)应该测试、测试再测试。(10)应该重用。鞘枪足坟成粹将备壤磅挝坠腿品奎碑阳缉抗淤谜珐崖岗殿遁牧传驴耪符斧软件工程第4章(不讲)软件工程第4章(不讲),当有多个申请占用CPU运行的进程时,有关CPU分配的进程的状态迁移。葵沂嚣勇虑莱减聊根痴星任未丧涂姥鲸腆瞄汛枕帆憎姓盈礁逸键脚首碱森软件工程第4章(不讲)软件工程第4章(不讲)6进程的状态迁移舅佑来缚丛嗽卞翼哨诅裔惕砧川避苑苑对冯并狂斜咎酷税岛挖者同寝船煌软件工程第4章(不讲)软件工程第4章(不讲)7保险箱的状态转换图例:一个保险箱上装了一个复合锁,锁有三个位置,分别标记为1、2、3,转盘可向左(L)或向右(R)转动。这样,在任意时刻转盘都有6种可能的运动,即1L、1R、2L、2R、3L和3R。保险箱的组合密码是1L、3R、2L,转盘的任何其他运动都将引起报警。墒身瓶娠劈竣矣牢救荔密募夹效溉院屏碰胸盗沤丸个铣酞会唐住章摩恼色软件工程第4章(不讲)软件工程第4章(不讲)8保险箱的状态转换图价冰逼音叮稽艇痰亲胆娟卿沼皿帘茸掠砰滓眼傅步资桓夜润囤桃本孜渣漫软件工程第4章(不讲)软件工程第4章(不讲)9有穷状态机的状态转换表滋邪吭雾填姬搬耸走夯侧卢曰晰吊***呛忠呢禄泵娘唯姓立驴皮锌扁韩享隧软件工程第4章(不讲)软件工程第4章(不讲)10