软件工程课后习题答案教学内容

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

2、该重用。4用有穷状态机说明自动化图书馆流通系统E苇嗯下述的自动化圏书馆瀧通丢统：毎本书犀有-亍条形码”每亍借阅人都有一 个带有条形码前恒片“当一个借阅人想本书时円图书管理融扫描书上的条形码和借 阅人任片上的条妙码，然后在卄算机終躺上输人5当归还 本书吋.圈朽悴理员将所做 次扫描，井输人Ro團丙许理员可以把一些书加到图书集舍中，也可心删垛（一）它 们。借阅人町以在终端上査找到某亍作者所冇的书（输人“人尸”和作者名字）、或具脊指 定标题的所有书霜（输人“T="和标题八或風于特迳主题范團内舸所有斟书（输人*'S=，T 加主题范围几握后如果借阅人想借的串已被别人惜走"图书管

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

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

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

6、图储户存款单/取款单业务员系统数据库填写存款单存款生效审核录入填写取款单审核录入打印利息清单取款生效，返还本金和利息功能模型参考:储蓄系统数据库流图去掉“打印利息清单加工”与“储户”之间的“利息清单”存储。习题115试用面向对象方法，设计本书习题2第2题中描述的储蓄系统。同习题10-12. 用面向对象方法分析研究本书习题2第2题中描述的储蓄系统，试建立它的对象模型、动态模型和功能模型。匡为方匣储户某银行拟开发计算机储祷系统储户填爲的存款単或取款单由业务 员输人系疣如果是存隸、系统记录存款人性名'住址、存款类型、存款日期、利率等俵息 并印出存欽单给楮户；如果是取款，茶统计算利息并印出利息

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