软件工程期末考试复习.docVIP

下面是用PDL伪码描述的一段程序，请分别用程序流程、N-S图和PAD图表示之，并计算该程序段的McCabe复杂性度量。 PROCEDURE averge This procedure computes the averge of 100 or fewer numbers that lie between bounding values it also computes the sum and the total number valid INTERFACE RETURNS average， total.input，total.valid； INTERFACE ACCEPTS value，minimum，maximum； TYPE value[1:100] IS SCALAR ARRY； TYPE average，total. input，total.valid，minimum，maximum，sum IS SCALAR； i = 1； total.input = total.valid = 0； sum = 0； DO WHILE value[i] -999 AND total.input 100 increment total.input by 1; IF value[i] = minimum AND value[i] = maximum THEN increment total.valid by 1; sum = sum + value[i]; ELSE skip ENDIF increment i by 1 ENDDO IF total.valid 0 THEN average = sum / total.valid; ELSE average = -999; EDNIF END average McCabe复杂性度量： 流图： 对于流图G的McCabe复杂性度量V（G）有3种计算方法： 1、V（G） = 流图中域的数量 = 6 2、V（G） = E – N + 2 = 16 – 12 + 2 = 6 （E：Edge； N：Node） 3、V（G） = P + 1 = 5 + 1 = 6 （P：Predicate 判定节点，本例中，2、3、5、6、9为判定节点） 下图为一个被测程序的流程图，试分别用语句覆盖和条件覆盖为它设计足够的测试用例。 语句覆盖语句覆盖是最起码的结构覆盖要求，语句覆盖要求设计足够多的测试用例，使得程序中每条语句至少被执行一次。条件覆盖要求设计足够多的测试用例，使得判定中的每个条件获得各种可能的结果，即每个条件至少有一次为真值，有一次为假值。如果金额超过500元，又未过期，则发出批准单和提货单；如果金额超过 500元，但过期了，则不发批准单；如果金额低于 500元，则不论是否过期都发出批准单和提货单，在过期的情况下还需发出通知单此加工逻辑可用下表表示： 金 额 500 500 ≤500 ≤500 ? 条件桩 条件条目 状 态 未过期 已过期 未过期 已过期 ? 发出批准单 X ? X X ? 操作桩 操作条目 发出提货单 X ? X X ? 发出通知单 ? ? ? X ? 判定表通常由四部分组成(见上表)，其间用双线条或粗线条分开，左上部称条件桩，它列出决定一组条件的对象，右上部称条件条目，它列出各可能的条件组合，左下部称操作桩，它列出所有的操作，右下部称操作条目，它列出在对应的条件组合下所选的操作。表的右部一般又分成许多列。 结论：当需要描述的加工由一组操作组成，是否执行某些操作又取决于一组条件时，用判定表写加工逻辑将比较合适。 ? 判定表的优点：清晰易懂，只适合描述条件， 描述循环则比较困难。 判定树本质上同判定表是一样的，当用户不易接受判定表这种描述方式时，我们可以用判定树的形式，判定树是一种图形表示，更易被用户理解。 下面是两个判定树的例子。 基本概念： 什么是软件生存周期模型，有哪些软件生存周期模型？ 什么是软件工程？什么是软件工程的七大基本原理？ 设计软件黑盒测试用例有哪些方法？各有什么特点？ 软件的可维护性的含义是什么？有哪些因素影响软件的可维护性？ 信息隐藏与软件模块的独立性有什么关系？ 面向对象的分析方法主要是建立三类模型