软件工程第4章 .pptx

第4章 形式化说明技术; 按照形式化的程度，可以把软件工程使用的方法划分成非形式化、半形式化和形式化3类: 用自然语言描述需求规格说明，是典型的非形式化方法。 用数据流图或实体-联系图建立模型，是典型的半形式化方法。 所谓形式化方法，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。; 用自然语言书写的系统规格说明书，可能存在矛盾、二义性、含糊性、不完整性及抽象层次混乱等问题。 ; 为了克服非形式化方法的缺点，人们把数学引入软件开发过程，创造了基于数学的形式化方法。 数学最有用的一个性质是，它能够简洁准确地描述物理现象、对象或动作的结果，因此是理想的建模工具。数学特别适合于表示状态，也就是表示“做什么”。 需求规格说明书主要描述应用系统在运行前和运行后的状态，因此，数学比自然语言更适于描述详细的需求。;应该选用适当的表示方法。 (2) 应该形式化，但不要过分形式化。 (3) 应该估算成本。 (4) 应该有形式化方法顾问随时提供咨询。 (5) 不应该放弃传统的开发方法。 (6) 应该建立详尽的文档。 (7) 不应该放弃质量标准。 (8) 不应该盲目依赖形式化方法。 (9) 应该测试、测试再测试。 (10) 应该重用。;简单例子介绍有穷状态机的基本概念。 一个保险箱上装了一个复合锁，锁有三个位置，分别标记为1、2、3，转盘可向左(L)或向右(R)转动。 保险箱的组合密码是1L、3R、2L，转盘的任何其他运动都将引起报警。; 图4.1 保险箱的状态转换图;9、要学生做的事，教职员躬亲共做；要学生学的知识，教职员躬亲共学；要学生守的规则，教职员躬亲共守。7月-217月-21Tuesday, July 6, 2021 10、阅读一切好书如同和过去最杰出的人谈话。17:09:4817:09:4817:097/6/2021 5:09:48 PM 11、一个好的教师，是一个懂得心理学和教育学的人。7月-2117:09:4817:09Jul-2106-Jul-21 12、要记住，你不仅是教课的教师，也是学生的教育者，生活的导师和道德的引路人。17:09:4817:09:4817:09Tuesday, July 6, 2021 13、He who seize the right moment, is the right man.谁把握机遇，谁就心想事成。7月-217月-2117:09:4817:09:48July 6, 2021 14、谁要是自己还没有发展培养和教育好，他就不能发展培养和教育别人。06 七月 20215:09:48 下午17:09:487月-21 15、一年之计，莫如树谷；十年之计，莫如树木；终身之计，莫如树人。七月 215:09 下午7月-2117:09July 6, 2021 16、提出一个问题往往比解决一个更重要。因为解决问题也许仅是一个数学上或实验上的技能而已，而提出新的问题，却需要有创造性的想像力，而且标志着科学的真正进步。2021/7/6 17:09:4817:09:4806 July 2021 17、儿童是中心，教育的措施便围绕他们而组织起来。5:09:48 下午5:09 下午17:09:487月-21 2、Our destiny offers not only the cup of despair, but the chalice of opportunity. (Richard Nixon, American President )命运给予我们的不是失望之酒，而是机会之杯。二〇二一年六月十七日2021年6月17日星期四 3、Patience is bitter, but its fruit is sweet. (Jean Jacques Rousseau , French thinker)忍耐是痛苦的，但它的果实是甜蜜的。10:516.17.202110:516.17.202110:5110:51:196.17.202110:516.17.2021 4、All that you do, do with your might; things done by halves are never done right. ----R.H. Stoddard, American poet做一切事都应尽力而为，半途而废永远不行6.17.20216.17.202110:5110:5110:51:1910:51:19 5、You have to believe in yourself. Thats the secret of success. ----Charles Chapl