北科管理信息系统MIS讲义新书概要.ppt

* * 因果图法产生的背景： 等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。 如果在测试时必须考虑输入条件的各种组合，则可能的组合数目将是天文数字，因此必须考虑采用一种适合于描述多种条件的组合、相应产生多个动作的形式来进行测试用例的设计，这就需要利用因果图（逻辑模型）。 * * 此处调整了一下篇章的结构。文中紧接着就开始介绍步骤在例题中才展示什么是因果图和判定表，我认为此处可以先把因果图和判定表介绍，然后再介绍步骤。且此处文中解释了了不甚清晰，所以又按照离散数学的基础知识加了一点例子。 * 因果图中使用了简单的逻辑符号，以直线联接左右结点。左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）。 Ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。Ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。 ①恒等：若ci是1，则ei也是1；否则ei为0。 ②非：若ci是1，则ei是0；否则ei是1。 ③或：若c1或c2或c3是1，则ei是1；否则ei为0。“或”可有任意个输入。 ④与：若c1和c2都是1，则ei为1；否则ei为0。“与”也可有任意个输入。 * 此处调整了一下篇章的结构。文中紧接着就开始介绍步骤在例题中才展示什么是因果图和判定表，我认为此处可以先把因果图和判定表介绍，然后再介绍步骤。且此处文中解释了了不甚清晰，所以又按照离散数学的基础知识加了一点例子。 * 此处调整了一下篇章的结构。文中紧接着就开始介绍步骤在例题中才展示什么是因果图和判定表，我认为此处可以先把因果图和判定表介绍，然后再介绍步骤。且此处文中解释了了不甚清晰，所以又按照离散数学的基础知识加了一点例子。 * 此处调整了一下篇章的结构。文中紧接着就开始介绍步骤在例题中才展示什么是因果图和判定表，我认为此处可以先把因果图和判定表介绍，然后再介绍步骤。且此处文中解释了了不甚清晰，所以又按照离散数学的基础知识加了一点例子。 * * * 输入条件之间的约束： ① E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。 ② I 约束（或）：a、b和c中至少有一个必须是1，即 a、b 和c不能同时为0。 ③ O约束（唯一）；a和b必须有一个，且仅有1个为1。 ④ R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。 输出条件的约束 ： M约束（强制）：若结果a是1，则结果b强制为0。 * * * * * 此处调整了一下篇章的结构。文中紧接着就开始介绍步骤在例题中才展示什么是因果图和判定表，我认为此处可以先把因果图和判定表介绍，然后再介绍步骤。且此处文中解释了了不甚清晰，所以又按照离散数学的基础知识加了一点例子。 * * 注：添加中间节点4，作为导出结果的进一步原因，以简化因果图导出的判定表。 原因1、2不能同时发生，所以对其施加异约束 E。 * Step4：把判定表中每一列表示的情况写成测试用例。 由于此表比较简单，直接在表中附加一行给出对应的测试用例。由于1，2条件施加了异约束，不能同时出现，所以不对1，2两列生成测试用例。这样，一共生成6组用例（每列给出了两个用例）。 * * * * * * * * * * * 此处多态性解释起来比较麻烦，因为多态性分为重载和覆写，因此此处就没有进一步解释 * * 老ppt中没有代词“你”，补上“你”。 * * 老ppt中没有代词“你”，补上“你”。 * * * * * Grenford J. Myers在《The Art of Software Testing》一书中的观点: * * * * * * * * * * * * * * * * * 此处，是将前文中的例子用在此处。 * 此处，是将前文中的例子用在此处。 * 此处，是将前文中的例子用在此处。 编的例子。 * * * (3) 逐步切换方式 逐步切换方式，也称为分段切换方式，它是直接切换方式和并行切换方式两种方法的结合，其特点是新系统分阶段、逐步交付使用。 (3) 逐步切换方式（续） 优点:既顺利地交付新系统，也不发生过高的切换费用； 不足:一部分新系统和另一部分旧系统同时工作，增加了新旧系统之间功能、数据的衔接问题； 适用:大型系统，保证新旧系统顺利切换，并降低切换的费用； 系统切换方式对比示意图 旧系统 新系统 并行切换方式： 旧系统 新系统 直接切换方式： 逐步切换方式： 旧系统 新系统 第7章 小结 管理信息系统的实施 * * * * * * * * * *