软件工程课后习题答案.pdf

软件工程课后习题答案习题1略。习题2略。习题3略。习题42．在什么情况下应该使用形式化说明技术？使用形式化说明技术时应遵守哪些准则？人们在理解用自然语言描述的规格说明时容易产生二义性。为了克服非形式化方法的缺点人们把数学引入软件开发工程创造了基于数学的形式化说明技术。应用形式化方法的准则：〔1应该选用释放的表示方法；〔2应该形式化但不要过分形式化；〔3应该估算成本；〔4应该有形式化方法顾问随时提供咨询；〔5不应该放弃传统的开发方法；〔6应该建立详尽的文档；〔7不应该放弃质量标准；〔8不应该盲目依赖形式化方法；〔9应该测试、测试再测试；〔10应该重用。4．用有穷状态机说明自动化图书馆流通系统1/6按作者查找CA=+CR—初态加入集合借阅归还删除T=CH按标题查找预借习题5略。习题6略。习题7略。习题8略。习题91．什么是面向对象方法学？它有哪些优点？面向对象方法学是尽可能模拟人类习惯的思维方式使开发软件的方法和过程尽可能接近人类认识世界解决问题的方法和过程从而使得实现解法的解空间〔也称为求解域与描述问题的问题空间〔也称为问题域在结构上尽可能一致。优点：1.与人类习惯的思维方法一致；2.稳定性好；3.可重用性好；4.较易开发大型软件产品；5.可维护性好2/610．建立订货系统的用例模型。分析如下：从对这个订货系统的需求可以知道仓库管理员通过放在仓库中的终端把零件入库/出库市事务报告给订货系统系统接受到事务信息之后应该处理事务；采购员需要使用订货系统提供的产生报表功能以获取订货报表。综上所述用例如下：习题101．用面向对象方法分析研究本书习题2第2题中描述的储蓄系统试建立它的对象模型、动态模型和功能模型。对象模型参考：以上还需将关联关系说明补全。动态模型参考：（1）脚本正常情况脚本：储户有存款要求填写存款单包含储户个人信息存款金额和存款类型；业务员查收存款审核存款与存款单存款金额吻合；存款单生效；储户有取款要求填写取款单包含个人账号、密码〔待定和存款金额；业务员审核存款验证储户身份确定储户存款金额>=取款金额；审核通过取款单生效；系统打印利息清单业务员把本金和利息返回储户。异常情况脚本：储户有存款要求填写存款单包含储户个人信息存款金额和存款类型；业务员查收存款审核存款与存款单存款金额不符；3/6存款单作废；储户有取款要求填写取款单包含个人账号、密码〔待定和存款金额；业务员审核存款验证储户身份发现储户存款金额<=取款金额；取款单作废；（2）事件跟踪图储户存款单/取款单业务员系统数据库填写存款单审核