习题个04,09,10,11.docVIP

习题4 2．在什么情况下应该使用形式化说明技术？使用形式化说明技术时应遵守哪些准则？ 人们在理解用自然语言描述的规格说明时，容易产生二义性。为了克服非形式化方法的缺点，人们把数学引入软件开发工程，创造了基于数学的形式化说明技术。 应用形式化方法的准则： （1）应该选用释放的表示方法； （2）应该形式化，但不要过分形式化； （3）应该估算成本； （4）应该有形式化方法顾问随时提供咨询； （5）不应该放弃传统的开发方法； （6）应该建立详尽的文档； （7）不应该放弃质量标准； （8）不应该盲目依赖形式化方法； （9）应该测试、测试再测试； （10）应该重用。 4．用有穷状态机说明自动化图书馆流通系统 习题9 1．什么是面向对象方法学？它有哪些优点？ 面向对象方法学，是尽可能模拟人类习惯的思维方式，使开发软件的方法和过程尽可能接近人类认识世界解决问题的方法和过程，从而使得实现解法的解空间（也称为求解域）与描述问题的问题空间（也称为问题域）在结构上尽可能一致。 优点： 与人类习惯的思维方法一致； 稳定性好； 可重用性好； 较易开发大型软件产品； 可维护性好 10．建立订货系统的用例模型。 分析如下：从对这个订货系统的需求可以知道，仓库管理员通过放在仓库中的终端把零件入库/出库市事务报告给订货系统，系统接受到事务信息之后应该处理事务；采购员需要使用订货系统提供的产生报表功能，