第7讲面向对象的测试导论.pptVIP

模型详解 * 两个函数簇：C1，C2 函数被表示为一个带阴影的区域 实线箭头表示的是函数之间的调用关系 阴影域是函数的BBD，展示函数的内部控制结构 虚线箭头表示函数调用的数据流信息 自动售货机 JUnit设计 三个类 TestCase TestSuite TestResult TestCase抽象类 JUnit设计 TestResult类 JUnit设计 TestResult 收集测试的失败和错误 public synchronized void addError(Test test, Throwable t) { fErrors.addElement(new TestFailure(test, t)); } public synchronized void addFailure(Test test, Throwable t) { fFailures.addElement(new TestFailure(test, t)); } JUnit设计 TestCase的run(TestResult result)方法 JUnit设计 TestSuite类 JUnit设计 JUnit设计 JUnit设计 1 问题引出 2 模型简介 3 模型详解 4 模型总结 * Web应用的测试建模 已有测试方法 超链接的可达性 格式中的拼写 问题 一些重要的结构和动态行为不被测试 * 上海大学计算机学院 * 问题引出 模型简介 * 模型简介 三个角度 对象：对象关系图 描述Web应用的组成对象以及对象间的依赖关系 行为 导航行为：页面导航图 交互对象的状态依赖行为：对象状态图集合 结构：流程图集合 描述Web应用中控制流和数据流的信息 * 模型详解 对象 Web应用的实体，对象包含属性和操作 客户端页面 HTML文件，可以包含脚本，通过浏览器渲染 服务器页面 CGI脚本、ASP、JSP或servlet，在服务器端执行 组件 Java小应用程序、ActiveX、JavaBean等 * 模型详解 属性 程序中的变量或者HTML文件中的元素 操作 脚本或者程序中的函数 * 模型详解 对象关系图 ORD =（V, L, E）， V是对象集合 E：V×V×L，边集合，描述对象之间的关系 L是标签集合，描述对象间关系类型。 L={I, Ag, As, N, Req, Rs, Rd} * I：继承（inheritance）， Ag：聚集（aggregation） As：关联（association）， N：导航（navigation） Req：请求（request）， Rs：响应（response） Rd：重定向（redirect） 模型详解 * 模型详解 行为视角 导航行为：页面导航图 通过超链接，用户浏览Web应用的不同页面 状态依赖行为：对象状态图 * 模型详解 * 基于应用内部的状态，页面结构可以在运行时动态改变 同样超链接可能指向不同的客户端页面 引入警戒条件（guard condition） 模型详解 从ORD构造PND 构造初始状态节点s0，s0是Web应用的主页 创建可达状态集合S，初始化S={s0} 从S选择一个状态si，识别si到sj的迁移 如果存在从si到sj的超链接，那么存在si到sj的迁移 如果存在从si到服务器端页面p的请求，并且从p有一个响应或者重定向到客户端页面sj，那么存在si到sj的迁移 添加sj到S 从S中删除si，重复第3步，直到S为空 * 模型详解 为检测导航行为的错误，引入导航测试树 导航测试树是一棵由页面导航图构建的生成树 根据导航测试图生成测试用例 * 模型详解 * 模型详解 分析导航测试树，能检测性质：可达性、死锁等 B不能达到除E和F以外的页面 E或者F不能跳转到其它页面 * 模型详解 对象状态图 即使一个对象在结构上和功能上经过正确的测试，确认这个对象符合需求，状态依赖行为仍然需要被测试 对象状态图可以从需求规约中获得，也可以通过逆向工程从代码中获得 集聚对象的状态图可以通过组合对象状态图进行建模 * 模型详解 * 模型详解 基于交互对象的组合对象状态图，可以对象的状态依赖行为 * 模型详解 * 模型详解 测试树构造算法 构建根节点：各状态图初始状态的组合 检查树的每个节点（对应组合状态Si），如果节点的输出迁移已经存在，那么该节点，不再进行延展；否则生成一个Si到Sj的转移t，在树中增加边标记为t的分支，连接Si到Sj 重复第2步，直到没有节点可以继续延展为止 * 模型详解 * 模型详解 结构 为Web应用的控制流和数据流信息建模 块分支图（Block Branch Diagram，BBD） 描述Web应用的每个独