软件工程 教学课件 作者 张海藩 1第5章.pptVIP

由于要求解决的问题通常很复杂，而且人与人之间的交流带有随意性和非形式化的特点，上述理解和表达用户需求的过程不可能一次就达到理想的效果。因此，还必须进一步验证软件需求规格说明书的正确性、完整性和有效性，如果发现了问题则应及时修正。显然，需求分析过程是系统分析员与用户及领域专家反复交流和多次修正的过程。也就是说，理解、表达和验证的过程通常交替进行，反复迭代，而且往往需要利用原型系统作为辅助沟通的工具。 面向对象分析的关键，是识别出问题域内的对象，并分析确定它们相互之间的关系，最终建立起问题域的简洁、精确、可理解的正确模型。 建立对象模型的工作大体上按照下列顺序进行：寻找问题域内的对象，识别出对象间的关系、定义属性，定义服务。事实上，分析工作不可能严格地按照预定顺序进行，系统的模型往往需要反复构造多遍才能建成。通常，先构造出模型的子集，然后再逐渐扩充，直到完全、充分地理解了要求解决的问题，才能最终把问题域的模型建立起来。通常把分析阶段建立的问题域模型称为分析模型。 5.6.1 确定问题域内的对象 对象是在问题域中客观存在的，系统分析员的主要任务，就是通过分析找出这些对象。首先，找出所有候选的对象，然后，从候选对象中筛选掉不正确的或不必要的，从而得出问题域内应有的对象。 1. 找出候选的对象 对象是对问题域中有意义的事物的抽象，它们既可能是物理实体，也可能是抽象概念。具体地说，大多数客观事物可分为下述五类： （1）可感知的物理实体，例如，飞机、汽车、书、房屋等等。 （2）人或组织的角色，例如，医生、教师、雇主、雇员、计算机系、财务处等等。 （3）应该记忆的事件，例如，飞行、演出、访问、交通事故等等 （4）两个或多个对象的相互作用，通常具有交易或接触的性质，例如，购买、纳税、结婚等等。 （5）需要说明的概念，例如，政策、保险政策、版权法等等。 在分析所要解决的问题时，可以参照上列五类常见事物，找出在当前问题域内的候选对象。 另一种更简单的分析方法，是所谓的非正式分析。这种分析方法以用自然语言书写的需求陈述为依据，把陈述中的名词作为对象的候选者，用形容词作为确定属性的线索，把动词作为服务（操作）的候选者。当然，用这种简单方法确定的候选者是非常不准确的，其中往往包含大量不正确的或不必要的事物，还必须经过更进一步的严格筛选。通常，非正式分析是更详细、更精确的正式的面向对象分析的一个很好的开端。 例如，仔细阅读本章5.1节给出的对一个简单图形程序的需求陈述，可以看出，在需求陈述中使用了下列名词（或名词短语）： 显示器荧光屏，圆心坐标，位置，半径，圆，弧，起始角度，结束角度。 上列8个名词（或名词短语）可以作为该问题域内对象的候选者。 通常，在需求陈述中不会一个不漏地写出问题域内所有有关的对象，因此，分析员应该根据领域知识或常识进一步把隐含的对象找出来。 2. 筛选出正确的对象 显然，仅通过一个简单、机械的过程不可能正确地完成分析工作。非正式分析仅仅帮助我们找到一些候选的对象，接下来应该严格考察每个候选对象，从中去掉不正确的或不必要的，仅保留确实应该记录其信息或需要其提供服务的那些对象。 筛选时主要依据下列标准，删除不正确的或不必要的对象： （1）冗余 （2）无关 （3）笼统 （4）属性 （5）操作 （6）实现 5.6.2 确定关联 许多人习惯于在初步分析确定了问题域内的对象之后，接下来就分析确定在对象之间存在的关联关系。当然，这样的工作顺序并不是绝对必要的。由于在整个开发过程中面向对象概念和表示符号的一致性，分析员在选取自己习惯的工作方式时拥有相当大的灵活性。 如前所述，两个或多个对象之间的相互依赖、相互作用的关系就是关联。分析确定关联，能促使分析员考虑问题域的边缘情况，有助于发现那些尚未被发现的对象。 在分析确定关联的过程中，不必花过多的精力去区分关联和聚集。事实上，聚集不过是一种特殊的关联，是关联的一个特例。 1. 初步确定关联 在需求陈述中使用的描述性动词或动词词组，通常表示关联关系。因此，在初步确定关联时，大多数关联可以通过直接提取需求陈述中的动词词组而得出。通过分析需求陈述，还能发现一些在陈述中隐含的关联。最后，分析员还应该与用户及领域专家讨论问题域实体间的相互依赖、相互作用关系，根据领域知识再进一步补充一些关联。 2. 筛选 经初步分析得出的关联只能作为