基于CPN的软件测试.pptVIP

上海计算机软件技术开发中心 上海市计算机软件评测重点实验室 上海计算机软件技术开发中心 上海市计算机软件评测重点实验室 地址：国家863软件专业孵化器（上海）基地 联航路1588号， 业务受理：钦州路100号1号楼702室 热线电话：021网站：WWW.SSTL.ORG.CN 地址：国家863软件专业孵化器（上海）基地 联航路1588号， 业务受理：钦州路100号1号楼702室 热线电话：021网站：WWW.SSTL.ORG.CN 基于CPN的软件测试 上海市计算机软件评测重点实验室 2010年2月22日 提纲 基于规格说明的软件测试 Petri Net和CPN 饮料机的CPN模型 基于CPN模型的测试 演示 一.基于规格说明的软件测试 * * 规格说明S（预期的） 程序P（观察的） 测试用例T（已检验） 1 2 5 4 3 6 7 软件规格说明书、程序、测试用例三者之间的关系。 一.基于规格说明的软件测试 * * 规格说明S（预期的） 规格说明S（预期的） 程序P（观察的） 程序P（观察的） 测试用例集A（已检验） 测试用例集B（已检验） 一.基于规格说明的软件测试 * * * 规格说明S（预期的） 规格说明S（预期的） 程序P（观察的） 程序P（观察的） 测试用例集A（已检验） 测试用例集B（已检验） 一.基于规格说明的软件测试 * 一.基于规格说明的软件测试 优点： 需求规格说明作为结果检查的重要基础，可以大量减少成本； 可以反过来发现规格说明本身的错误； 将测试设计活动部分前移到开发之前，提高资源利用率； 测试用例和系统的实现无关； 一.基于规格说明的软件测试 尽早地和不断地进行软件测试（Poston成果） * 一.基于规格说明的软件测试 重点： 如何从规格说明中产生测试用例； 规格说明形式： 自然语言： 形式化语言：Z、VDM、 模型：FSM、UML、Petri Net * 一.基于规格说明的软件测试 Petri Net模型优点： 可视化； 严格的数学定义； 可动态仿真； 支持状态空间的分析； 用途： 并发、 * 二、Petri Net和CPN * 二、Petri Net和CPN 电梯建模1： Token表示楼层 电梯建模2： 库所表示楼层 * 二、Petri Net和CPN * 二、Petri Net和CPN * 三、饮料机的CPN模型 自动饮料机： 价格：15分； 接受：10分，5分； 输入： 硬币口； 饮料按钮； 退钱按钮； * 三、饮料机的CPN模型 输出： 饮料、零钱、信息窗 几种情况： 正常； 不够； 无零钱； 无饮料； * 三、饮料机的CPN模型 * 三、饮料机的CPN模型 * 三、饮料机的CPN模型 * 四、基于CPN模型测试 * 四、基于CPN模型测试 状态的报告： 节点数 弧数； Home 标记（终点） … * 四、基于CPN模型测试 状态覆盖准则 在状态空间所有的状态均被覆盖一次； * 四、基于CPN模型测试 * 四、基于CPN模型测试 变迁覆盖准则： 所有的变迁均需覆盖一次； * 四、基于CPN模型测试 * 四、基于CPN模型测试 变迁对覆盖： 每一个节点的前后变迁构成的变迁对必须覆盖一次； * 四、基于CPN模型测试 * 五、演示 * 谢谢！ 上海计算机软件技术开发中心 上海市计算机软件评测重点实验室 上海计算机软件技术开发中心 上海市计算机软件评测重点实验室