SCADE模型测试介绍概述.pptVIP

执着的精神 留意身边的人和事 只有努力工作才能受人尊重。 谢谢大家！ * SCADE 模型测试介绍 姓名：于小强 目录 SCADE软件简要介绍 SCADE模型测试流程 工作体会 目录 SCADE软件简要介绍 SCADE模型测试流程 工作体会 SCADE简要介绍 模型与建模 模型分类 模型 物理模型 数学模型 结构模型 仿真模型 …… 模型是对现实世界中的事物、现象、过程或 系统的简化描述， 或其部分属性的模仿 。按照 模型的表现形式划分： 物理模型 歼十模型 歼十模型 歼十战机 数学模型 在哥尼斯堡的一个公园里，有七座桥将普雷 格尔河中两个岛及岛与河岸连接起来。问是否可 能从这四块陆地中任一块出发，恰好通过每座桥 一次，再回到起点? 结构模型 碳60结构模型 房屋结构模型 模型与建模 模型是对现实世界的事物、现象、过程或系统的简化描述，或其部分属性的模仿。 建模是通过类比、抽象等手段对所研究的系统建立起各种模型（物理模型、数学模型、结构模型、仿真模型等）。 SCADE介绍 SCADE介绍 SCADE介绍 SCADE是英文 Safety-Critical Application Development Environment的缩写,它是一个高 安全性的应用开发环境。?覆盖了嵌入式开发的 整个流程，是一个以模型设计为中心的软件开 发工具。 C语言 Turbo C VC Eclipse Jbuild JAVA语言 模型 SCADE Simulink SCADE介绍 SCADE是一个以模型设计为中心的软件开 发工具。 传统软件开发流程和SCADE软件开发流程 文档 模型 代码 SCADE软件开发流程 文档 代码 传统软件开发流程 传统软件开发流程 需求：求两个整数的和。 设计：用C语言完成。 int Addition(int x,int y) { int z=0; z=x+y; return z; } 开始 取数A、B 求和 代码： SCADE软件开发流程 需求：求两个整数的和。 设计：用SCADE模型完成。 X Y Z 模型： 代码： SCADE根据模型自动生成。 + 手工编写代码与SCADE模型生成代码对比 int Addition(int x,int y) { int z=0; z=x+y; return z; } typedef struct { int X; int Y; }IN; typedef struct { int Z; } OUT; void Operator1(IN *inC, out *outC) { outC-Z = inC-X + inC-Y; } SCADE集成功能 需求建模 图形化模型搭建 静态检查 模拟仿真 形式验证 覆盖率分析 代码自动生成 文档生成 SCADE软件特点 高安全性 缩短开发周期 自动生成高质量产品级C/Ada代码。 提供高效和可靠的仿真和测试手段。 …… SCADE软件应用领域 SCADE应用领域 航空航天 核反应堆 轨道交通 …… 目录 SCADE软件简要介绍 SCADE模型测试流程 工作体会 SCADE模型测试流程 SCADE模型测试的目的是为了发现尽可能多 的缺陷，提高软件的质量。 从三月份到现在，公司做过三个SCADE 模型测试项目，也总结出了一套SCADE模型测 试流程，不断完善，让测试变得更规范，从而 最大程度保证测试的充分性。 SCADE模型测试流程 模型仿真 文档模型审查 覆盖率 第一步 第二步 第三步 SCADE模型测试示例 需求：输入一个数，如果其大于50，输出为真。如果 其小于0，则输出为假。如果大于等于0，小于等于50， 保持上一次的输出值。 设计：输入X，输出Z。 （1）当X50，Z=true； （2）当X0，Z=false； （3）当X大于等于0且小于等于50，Z保持上 一次的值； 0 50 Z=true Z=Last’Z Z=false X SCADE模型测试示例 模型： 文档模型审查 文档模型审查主要包含了需求分析，模型走查。 需求分析就是充分了解系统的各种需求，明确系统要做什么，达到什么样的目的。然后在此基础上分析需求的合理性。 模型走查主要检查与文档的一致性，以及是否实现对应功能。 模型仿真 模型仿真可分成两步： （1） 用例设计。 X EXPECT Z 100 true 50 true 25 true 0 true -20 false 模型仿真 （2） 用例执行。 覆盖率分析 SCADE覆盖率