SCADE模型测试介绍ppt课件.ppt

SCADE模型测试介绍 姓名 于小强 目录 目录 SCADE简要介绍 模型与建模 模型分类 模型 物理模型 数学模型 结构模型 仿真模型 模型是对现实世界中的事物 现象 过程或系统的简化描述 或其部分属性的模仿 按照模型的表现形式划分 物理模型 歼十模型 歼十模型 歼十战机 数学模型 在哥尼斯堡的一个公园里 有七座桥将普雷格尔河中两个岛及岛与河岸连接起来 问是否可能从这四块陆地中任一块出发 恰好通过每座桥一次 再回到起点 结构模型 碳60结构模型 房屋结构模型 模型与建模 模型是对现实世界的事物 现象 过程或系统的简化描述 或其部分属性的模仿 建模是通过类比 抽象等手段对所研究的系统建立起各种模型 物理模型 数学模型 结构模型 仿真模型等 SCADE介绍 SCADE介绍 SCADE介绍 SCADE是英文Safety CriticalApplicationDevelopmentEnvironment的缩写 它是一个高安全性的应用开发环境 覆盖了嵌入式开发的整个流程 是一个以模型设计为中心的软件开发工具 C语言 TurboCVC EclipseJbuild JAVA语言 模型 SCADESimulink SCADE介绍 SCADE是一个以模型设计为中心的软件开发工具 传统软件开发流程和SCADE软件开发流程 文档 模型 代码 SCADE软件开发流程 文档 代码 传统软件开发流程 传统软件开发流程 需求 求两个整数的和 设计 用C语言完成 intAddition intx inty intz 0 z x y returnz 开始 取数A B 求和 代码 SCADE软件开发流程 需求 求两个整数的和 设计 用SCADE模型完成 X Y Z 模型 代码 SCADE根据模型自动生成 手工编写代码与SCADE模型生成代码对比 intAddition intx inty intz 0 z x y returnz typedefstruct intX intY IN typedefstruct intZ OUT voidOperator1 IN inC out outC outC Z inC X inC Y SCADE集成功能 需求建模 图形化模型搭建 静态检查 模拟仿真 形式验证 覆盖率分析 代码自动生成 文档生成 SCADE软件特点 高安全性缩短开发周期自动生成高质量产品级C Ada代码 提供高效和可靠的仿真和测试手段 SCADE软件应用领域 SCADE应用领域 航空航天 核反应堆 轨道交通 目录 SCADE模型测试流程 SCADE模型测试的目的是为了发现尽可能多的缺陷 提高软件的质量 从三月份到现在 公司做过三个SCADE模型测试项目 也总结出了一套SCADE模型测试流程 不断完善 让测试变得更规范 从而最大程度保证测试的充分性 SCADE模型测试流程 模型仿真 文档模型审查 覆盖率 第一步 第二步 第三步 SCADE模型测试示例 需求 输入一个数 如果其大于50 输出为真 如果其小于0 则输出为假 如果大于等于0 小于等于50 保持上一次的输出值 设计 输入X 输出Z 1 当X 50 Z true 2 当X 0 Z false 3 当X大于等于0且小于等于50 Z保持上一次的值 0 50 Z true Z Last Z Z false X SCADE模型测试示例 模型 文档模型审查 文档模型审查主要包含了需求分析 模型走查 需求分析就是充分了解系统的各种需求 明确系统要做什么 达到什么样的目的 然后在此基础上分析需求的合理性 模型走查主要检查与文档的一致性 以及是否实现对应功能 模型仿真 模型仿真可分成两步 1 用例设计 模型仿真 2 用例执行 覆盖率分析 SCADE覆盖率测试包括条件覆盖和MC DC 条件覆盖 将系统看成一个黑盒 只要系统的每一个输入至少变化一次 覆盖率即可达到100 MC DC 将系统看成一个黑盒 只要每一个输入决定了输出值 覆盖率即可达到100 SCADE测试总结 1 覆盖率测试的必要性 2 测试