软件工程第5章：软件验证技术(网络11301).pptVIP

软件工程 * “软件设计国家标准GB 8567-88”测试计划的大纲 1.4 术语 列出本测试报告中专门术语以及英文酥写原文词组。 2. 测试结果（可用列表形式给出） 2.1 测试名称 给出第n项测试的名称（n为测试项序好）。 2.2 结果 图表列出在第n项测试中动态或静态输入数据和输出结果，同时给出期望的动态静态输出结果。 2.3 问题 把第n项调试中得到的动态或静态输入数据和输出结果，同期望的动态或静态输入数据和输出结果进行比较，列出发现的差别。 软件工程 * “软件设计国家标准GB 8567-88”测试计划的大纲 2.4 覆盖率 说明第n项测试达到的功能覆盖率。 3. 软件功能结论（可用列表的形式给出） 3.1 模块名称 列出第m个被测模块的名称（m为模块序号）。 3.2 功能 说明模块m设计能力及经过测试已证实的能力。 3.3 问题 列出测试其间发现的模块m的缺陷和局限性。 软件工程 * “软件设计国家标准GB 8567-88”测试计划的大纲 4. 分析摘要 4.1 能力 说明经过测试证实所具有的软件能力，确定测试环境与实际运行环境之间的差异对软件能力测试带来的影响。 4.2 缺陷和影响 说明经过测试证实软件缺陷和限制,指出它们对软件性能的影响. 4.3 软件错误 说明发现的软件错误,并指出错误的类型和级别. 4.4 评价 说明被测试软件是否已经达到预期的目标,能否交付验收. 软件工程 * 用因果图生成测试用例的基本步骤(1) 分析软件规格说明描述中，哪些是原因 (即输入条件或输入条件的等价类)，哪些是结果 (即输出条件)，并给每个原因和结果赋予一个标识符。(2) 分析软件规格说明描述中的语义，找出原因与结果之间，原因与原因之间对应的是什么关系? 根据这些关系，画出因果图。  软件工程 * (3) 由于语法或环境限制，有些原因与原因之间，原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号标明约束或限制条件。(4) 把因果图转换成判定表。(5) 把判定表的每一列拿出来作为依据，设计测试用例。 软件工程 * 在因果图中出现的基本符号通常在因果图中用Ci表示原因，用Ei表示结果，各结点表示状态，可取值“0”或“1”。“0”表示某状态不出现，“1”表示某状态出现。 主要的原因和结果之间的关系有: 一一对应关系:原因出现,则结果出现反之亦然 否定关系:原因出现,则结果不出现.原因不出现,结果出现 选择关系:若几个原因中有一个出现,则结果出现;当原因都不出现是,结果才不出现 并列关系:原因同时出现,则结果出现,否则有一个不出现,则结果不出现. 软件工程 * 表示约束条件的符号为了表示原因与原因之间，结果与结果之间可能存在的约束条件，在因果图中可以附加一些表示约束条件的符号。 a、b两个原因不会同时成立，最多只有一个可能成立 a、b、c三个原因至少有一个必须成立 a、b必须一个且只有一个成立 a、b必须同时出现 A是1时b必须是0,a是0时,b的值不定 软件工程 * 案例：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下： 若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。” 软件工程 * (1) 分析这一段说明，列出原因和结果原因: 1. 售货机有零钱找 2. 投入1元硬币 3. 投入5角硬币 4. 押下橙汁按钮 5. 押下啤酒按钮 建立中间结点，表示处理中间状态11. 投入1元硬币且押下饮料按钮12. 押下〖橙汁〗或〖啤酒〗的按钮13. 应当找5角零钱并且售货机有零钱找14. 钱已付清 软件工程 * 结果： 21. 售货机〖零钱找完〗灯亮 22. 退还1元硬币 23. 退还5角硬币 24. 送出橙汁饮料 25. 送出啤酒饮料(2) 画出因果图。所有原因结点列在左 边，所有结果结点列在右边。 (3) 由于 2 与 3 ，4 与 5 不能同时发生， 分别加上约束条件E。(4) 因果图 (5) 转换成判定表 软件工程 * 　 软件工程 * 软件工程 * 软件测试的步骤 测试过程按4个步骤进行，即单元测试