软件工程实践者的研究方法第九章构件级设计要点解读.pptVIP

设计传统构件 传统软件构件的构件级设计基础在20世纪60年代已经形成，Dijkstra等人提出，所有程序都可以建立在一组限定好的逻辑构造之上，这一组逻辑构造强调了“对功能域的支持”，其中每一个逻辑结构有可预测的逻辑结构(structure)，从顶端进入，从底端退出，读者可以很容易地理解过程流。 这些逻辑构造包括顺序型、条件型和重复型。这些逻辑构造是结构化编程的基础，而结构化编程是构件级设计的一种重要技术。 图形化设计表示 图9-10 流程图构造 图形化设计表示 一般来说，如果需要从一组嵌套的循环或条件中退出，完全依赖结构化的构造将导致效率降低。更重要的是，退出路径上的复杂逻辑检验将会使软件的控制流不清晰，增加出错的可能，降低可读性和可维护性。 设计人员有两种选择：(1)重新设计过程表示，保证内层嵌套的控制流中不需要退出分支;(2)以受控方式突破结构化的构造，即设计一条从嵌套层内退出的路径。第一种选择是最理想的，但第二种选择也不违反结构化编程的精神。 表格式设计表示 在许多软件应用系统中，模块需要对复杂的组合条件求值，并根据这些条件选择要执行的动作。决策表（判定表）提供了一种表示方法，可以将动作和条件翻译成表格。 决策表分为四个部分，左上部列出了所有的条件，左下部列出所有可能的动作，右半部构成了一个矩阵，表示条件的组合以及特定条件组合对应的动作，因此矩阵的每一列可以解释成一条处理规则