(6.0)系统测试-FSM精品课件.pptVIP

* 准备工作 MM路径图 ＝节点(执行路径) ＋边（消息） 覆盖指标 找出满足覆盖指标的路径 设计测试用例覆盖相应的路径 准备工作 程序 → 程序图 → DD路径图 覆盖指标 路径覆盖(C∞) → CMCC →C1P ( C1) →C0 路径覆盖(C∞) →覆盖路径空间的基（也是一条路径） 找出满足覆盖指标的路径 设计测试用例覆盖相应的路径 准备工作 定义/使用测试 ：定义清除路径 片测试： 片 覆盖指标 找出满足覆盖指标的路径 设计测试用例覆盖相应的路径 准备工作 某一类模型（图），反映系统测试的特征 图可以反映需求 需要对需求进行加工 覆盖指标 找出满足覆盖指标的路径 设计测试用例覆盖相应的路径 原子系统功能，线索 屏幕1： 欢迎 屏幕2： 输入密码 屏幕3： 密码错误，再输一次 屏幕4：无效密码，开没收 屏幕5： 选择交易：余额，存款or取款？ 屏幕6： 帐户类型：支票or 储蓄？ 屏幕7： 请输入钱 屏幕8： 余额不足 屏幕9： 不能支付这样的金额 屏幕10： 无法取款 … 有向图＋维恩图 团点：基本构件 边：转移 跃迁定义对象对某一事件发生的反应，通常，迁移具有触发事件、跃迁条件、动作和目标状态。 跃迁的种类有外部跃迁和内部跃迁。外部跃迁是最普通的跃迁，会发生状态改变；内部跃迁不发生状态改变。 跃迁有两个隐式动作：进入动作和退出动