《习题04091011》由会员分享，可在线阅读，更多相关《习题04091011（6页珍藏版）》请在金锄头文库上搜索。
1、习题42在什么状况下应当使用形式化阐明技术？使用形式化阐明技术时应遵守哪些准则？人们在理解用自然语言描述的规格阐明时，容易产生二义性。为了克服非形式化措施的缺陷，人们把数学引入软件开发工程，发明了基于数学的形式化阐明技术。应用形式化措施的准则：（1）应当选用释放的表达措施；（2）应当形式化，但不要过度形式化；（3）应当估算成本；（4）应当有形式化措施顾问随时提供征询；（5）不应当放弃老式的开发措施；（6）应当建立详尽的文档；（7）不应当放弃质量原则；（8）不应当盲目依赖形式化措施；（9）应当测试、测试再测试；（10）应当重用。4用有穷状态机阐明自动化图书馆流通系统CCRC+A=预借态初态按作者
2、查找借阅态按标题查找加入集合删除归还T=H习题91什么是面向对象措施学？它有哪些长处？面向对象措施学，是尽量模拟人类习惯的思维方式，使开发软件的措施和过程尽量接近人类结识世界解决问题的措施和过程，从而使得实现解法的解空间（也称为求解域）与描述问题的问题空间（也称为问题域）在构造上尽量一致。长处：1. 与人类习惯的思维措施一致；2. 稳定性好；3. 可重用性好；4. 较易开发大型软件产品；5. 可维护性好10建立订货系统的用例模型。分析如下：从对这个订货系统的需求可以懂得，仓库管理员通过放在仓库中的终端把零件入库/出库市事务报告给订货系统，系统接受到事务信息之后应当解决事务；采购员需要使用订货系
3、统提供的产生报表功能，以获取订货报表。综上所述，用例如下：习题101 用面向对象措施分析研究本书习题2第2题中描述的储蓄系统，试建立它的对象模型、动态模型和功能模型。对象模型参照：以上还需将关联关系阐明补全。动态模型参照：（1） 脚本正常状况脚本：l 储户有存款规定，填写存款单，涉及储户个人信息，存款金额和存款类型；l 业务员查收存款，审核存款与存款单存款金额吻合；l 存款单生效；l 储户有取款规定，填写取款单，涉及个人账号、密码（待定）和存款金额；l 业务员审核存款，验证储户身份，拟定储户存款金额 = 取款金额；l 审核通过，取款单生效；l 系统打印利息清单，业务员把本金和利息返回储户。异常
4、状况脚本：l 储户有存款规定，填写存款单，涉及储户个人信息，存款金额和存款类型；l 业务员查收存款，审核存款与存款单存款金额不符；l 存款单作废；l 储户有取款规定，填写取款单，涉及个人账号、密码（待定）和存款金额；l 业务员审核存款，验证储户身份，发现储户存款金额 = 取款金额；l 取款单作废；（2） 事件跟踪图储户存款单/取款单业务员系统数据库填写存款单审核录入存款生效填写取款单审核录入取款生效，返还本金和利息打印利息清单 功能模型参照：储蓄系统数据库流图去掉“打印利息清单加工”与“储户”之间的“利息清单”存储。习题 115 试用面向对象措施，设计本书习题2第2题中描述的储蓄系统。同习题10-1
