软件工程第4章.pptVIP

对于单价，其重复因子为：6/3＝2；对于批量，其重复因子为2/2＝1。 6）标出适合每个垂直条件组的活动。 7）生成一个判定表格式，在表顶部为每个条件组合编号，左边列了数据元素和每个作用。 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 销售额 单　价 批　量 S C E S C O S A E S A O S X E S X O M C E M C O M A E M A O M X E M X O L C E L C O L A E L A O L X E L X O 钱额8.4%的基础佣金 钱额5%+34元 钱额4%+134元 基础佣金的5% 基础佣金的2% 基础佣金的4% √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ 8)标出问题中的任何遗漏、二义性或矛盾的地方。 3、非数值判定表 例：如果某产品销售好并且库存低，则增加该产品的生产；如果该产品销售好，但库存量不低，则继续生产；若该产品销售不好，但库存量低，则继续生产；若该产品销售不好，且库存量不低，则停止生产。其判定表如下： 1 2 3 4 销 售 好 库 存 低 T T T F F T F F 增加生产 继续生产 停　　产 √ √ √ √ 4、判定表优缺点 优点：表达逻辑清楚，条件或数据元素在表中只出现一次。 缺点：用户难以理解，条件增多时判定复杂难画。 4.6.2　判定树 　判定树是判定表的变种，也能清晰地表示复杂的条件组合与应做动作之间的对应关系。判定树是用枝节点表示问题中的条件，用叶节点表示活动或作用，用根节点表示问题的名称。 假如某邮件收费系统的收费政策如下：国内平信，收费F＝0.8元，若超重收费为F＝0.8元+0.2?（W－5），其中W为信件重量，单位为克。如果是国内快件，收费F＝20元，若超重收费F＝20元+1.0 ?（W-10）；若为国外平信，收费F＝5.4元，若超重收费F＝5.4元+0.5 ?（W-5）。若为国外快件，收费F＝200元，若超重收费F＝200元+10 ?（W-10）。判定树如下： 1、判定树的定义 2、判定树实例 3、判定树的优缺点 优点：形式简单，意义直观，易于掌握和使用。 缺点：比较繁锁，同一个条件可能要书写多次，而且选择不 　　　同的分枝条件对最终判定树的简洁程度有较大影响。 　　　　　　　　　　平信 国内 　　　　　　　　　　快件 信件收费政策 　　　　　　　　　　平信 　　　　　　　国外 　　　　　　　　　　快件 超重：F=0.8+0.2?(W-5) 不超重：F=0.8 超重：F=20+1.0?(W-10) 不超重：F=20 超重：F=5.4+.05?(W-5) 不超重：F=5.4 超重：F=200+10?(W-10) 不超重：F=200 邮费问题的判定树 4.7 有限状态机 1、有限状态机的概念 　有限状态机（Finite State Machine，简称FSM）是一种简单、结构清晰、设计灵活的方法，它易于建立、理解和维护，特别应用在具有大量状态转移和复杂时序控制的系统中，更显其优势。 　关于状态机的一个极度确切的描述是它是一个有向图形，由一组节点和一组相应的转移函数组成。状态机通过响应一系列事件而“运行”。每个事件都在属于“当前”节点的转移函数的控制范围内，其中函数的范围是节点的一个子集。函数返回“下一个”（也许是同一个）节点。这些节点中至少有一个必须是终态。当到达终态，状态机停止。 　可以用下面包含五种元素的集合来表示{S,I,O, , }，这里S＝{Si,…,Sk}是FSM中状态的集合；I＝{i0,…,in}是FSM中输入的集合；O={O1,…,Om}是FSM中输出的集合； ：I x S － S用来表示状态转移函数； ：I x S － O用来表示状态机输出函数。从上面定义可以看出，有限状态机包含五类基本要素，即状态、输入、输出、转移函数及输出函数。 2、有限状态机的表示 有限状态机有两种表示方式：表格法和图形法。 　　　　输入　　　 a b c Q0 Q0　 　Q1　　Q2 Q1 Q1　 　Q0　　Q2 下一状态 现行状态 Q0 Q1 Q2 a a c c b 表格式状态机 图方式状态机 3、有限状态机的应用 Reading Idle Writing R-R FIN Last FIN FIN R-R R-W 读写