软件工程课后习题答案

1、软件工程课后习题答案习题1 略。习题2 略。习题3 略。习题42在什么情况下应该使用形式化说明技术？使用形式化说明技术时应遵守哪些准则？人们在理解用自然语言描述的规格说明时，容易产生二义性。为了克服非形式化方法的缺点，人们把数学引入软件开发工程，创造了基于数学的形式化说明技术。应用形式化方法的准则：（1）应该选用释放的表示方法；（2）应该形式化，但不要过分形式化；（3 ）应该估算成本；（4）应该有形式化方法顾问随时提供咨询；（5 ）不应该放弃传统的开发方法；（6 ）应该建立详尽的文档；（7 ）不应该放弃质量标准；（8 ）不应该盲目依赖形式化方法；（9 ）应该测试、测试再测试；（10）应该重用。

2、4用有穷状态机说明自动化图书馆流通系统冋苇嗯下述的自动化圈1$馆流通丢统：毎本书犀有-个条形码”每个借阅人都有一 个带有条形码的恒片“当一个借阅人想（ft-本书时，图书管理费扫描书上的条啓码和借 阅人任月上的杀暗码，然后在订算机樂端上输人5当归还-本书吋.圈朽悴理员将所做 次扫描、井输入Ro圏Eff理员可以把一些书加到图书集合中*也可取删垛（一）它 们“借阅人町以在终端上査找到某个作若所冇的书（输人"2 ”和作者名宇）、或具看指 定标题的所有书籍（输人"T=,'和标题八或顾于特迳主题范團内的所有阍松输人”S=" 加主题范围几摄后如果借阅人想借的串已被别人惜

3、走"图书管理员将给这本书设进一 个预约，UH更书归还时把特密给预釣的備阅人输人叫弓="加书号）.试関有穷狀态拭说明上述的图书流通系统习题5 略。习题6 略。习题7 略。习题8 略。习题91什么是面向对象方法学？它有哪些优点？面向对象方法学，是尽可能模拟人类习惯的思维方式，使开发软件的方法和过程尽可能接近人类认识世界解决问题的方法和过程，从而使得实现解法的解空间（也称为求解域）与描述问题的问题空间（也称为问题域）在结构上尽可能一致。优点：1. 与人类习惯的思维方法一致；2. 稳定性好；3. 可重用性好；4. 较易开发大型软件产品；5. 可维护性好10建立订货系统的用例模型。分

4、析如下：从对这个订货系统的需求可以知道，仓库管理员通过放在仓库中的终端把零件入库/出库市事务报告给订货系统，系统接受到事务信息之后应该处理事务；采购员需要习题101 用面向对象方法分析研究本书习题2第2题中描述的储蓄系统，试建立它的对象模型、动态模型和功能模型。匡为方便储户，某锻行拟开发计算机储蓄系统.储户填写的存款单或取款单由业务 员输人系统"如果是存款系统记玻存款人姓名、住址、存款类型、存款日期、利率等信息, 并印岀存款单给債户；如果是取款，系统计算利息并E卩出利息清单給储户"对象模型参考：以上还需将关联关系说明补全。动态模型参考：（1） 脚本正常情况脚本：储户有存款要

5、求，填写存款单，包含储户个人信息，存款金额和存款类型； 业务员查收存款，审核存款与存款单存款金额吻合；存款单生效；储户有取款要求，填写取款单，包含个人账号、密码（待定）和存款金额； 业务员审核存款，验证储户身份，确定储户存款金额>=取款金额;审核通过，取款单生效；系统打印利息清单，业务员把本金和利息返回储户。异常情况脚本：储户有存款要求，填写存款单，包含储户个人信息，存款金额和存款类型； 业务员查收存款，审核存款与存款单存款金额不符；存款单作废；储户有取款要求，填写取款单，包含个人账号、密码（待定）和存款金额； 业务员审核存款，验证储户身份，发现储户存款金额<=取款金额;取款单作废

6、；(2)事件跟踪图业务员系统数据库储户存款单/取款单填写存款单rq审核存款生效录入填写取款单审核取款生效，返还本金和利息功能模型参考:冇款单fr JX In数振库储蓄系统数据库流图去掉“打印利息清单加工”与“储户”之间的“利息清单”存储。习题115试用面向对象方法，设计本书习题2第2题中描述的储蓄系统。同习题10-12. 用面向对象方法分析研究本书习题2第2题中描述的储蓄系统，试建立它的对象模型、动态模型和功能模型。为方更储户某银行拟开发计算机储薪系统储户填写的存款单或取款单由业务 员输人系统如果是存款系统记录存款人性名、住址、存款类型、存款日期、利帑等信息 并印岀存款单给睹户；如果是取就】系

7、统计算利息并印出利息清单给储户对象模型参考：JHPfl以上还需将关联关系说明补全。动态模型参考：（3）脚本正常情况脚本：储户有存款要求，填写存款单，包含储户个人信息，存款金额和存款类型； 业务员查收存款，审核存款与存款单存款金额吻合；存款单生效；储户有取款要求，填写取款单，包含个人账号、密码（待定）和存款金额； 业务员审核存款，验证储户身份，确定储户存款金额>=取款金额;审核通过，取款单生效；系统打印利息清单，业务员把本金和利息返回储户。异常情况脚本：储户有存款要求，填写存款单，包含储户个人信息，存款金额和存款类型； 业务员查收存款，审核存款与存款单存款金额不符；存款单作废；储户有取款要求，填写取款单，包含个人账号、密码（待定）和存款金额；业务员审核存款，验证储户身份，发现储户存款金额 取款单作废；&l