SCADE模型测试介绍

1、SCADE 模型测试介绍姓名：于小强目录目录SCADE软件简要介绍SCADE模型测试流程工作体会目录目录SCADE软件简要介绍SCADE模型测试流程工作体会SCADE简要介绍简要介绍模型与建模模型分类模型分类模型物理模型数学模型结构模型仿真模型 模型是对现实世界中的事物、现象、过程或系统的简化描述， 或其部分属性的模仿 。按照模型的表现形式划分：物理模型物理模型歼十模型歼十模型歼十战机数学模型数学模型 在哥尼斯堡的一个公园里，有七座桥将普雷格尔河中两个岛及岛与河岸连接起来。问是否可能从这四块陆地中任一块出发，恰好通过每座桥一次，再回到起点?结构模型结构模型碳60结构模型房屋结构模型模型与建模模

2、型与建模模型模型是对现实世界的事物、现象、过程或系统的简化描述，或其部分属性的模仿。建模建模是通过类比、抽象等手段对所研究的系统建立起各种模型（物理模型、数学模型、结构模型、仿真模型等）。SCADE介绍介绍SCADE介绍SCADE介绍介绍 SCADE是英文 Safety-Critical Application Development Environment的缩写,它是一个高安全性的应用开发环境。 覆盖了嵌入式开发的整个流程，是一个以模型设计为中心的软件开发工具。C语言语言Turbo C VCEclipse JbuildJAVA语言语言模型模型SCADESimulinkSCADE介绍介绍SCA

3、DE是一个以模型设计为中心的软件开发工具。传统软件开发流程和传统软件开发流程和SCADE软件开发流程软件开发流程文档模型代码SCADE软件开发流程文档代码传统软件开发流程传统软件开发流程传统软件开发流程需求：求两个整数的和。设计：用C语言完成。int Addition(int x,int y)int z=0;z=x+y;return z;开始取数A、B求和代码：SCADE软件开发流程软件开发流程需求：求两个整数的和。设计：用SCADE模型完成。XYZ模型：代码： SCADE根据模型自动生成。+手工编写代码与手工编写代码与SCADE模型生成代码对比模型生成代码对比int Addition(int

4、 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软件特点软件特点n高安全性n缩短开发周期n自动生成高质量产品级C/Ada代码。n提供高效和可靠的仿真和测试手段。nSCADE软件应用领域软件应用领域SCADE应用领域航空航天核反应堆轨道交通目录

5、目录SCADE软件简要介绍SCADE模型测试流程工作体会SCADE模型测试流程模型测试流程SCADE模型测试的目的是为了发现尽可能多的缺陷，提高软件的质量。 从三月份到现在，公司做过三个SCADE模型测试项目，也总结出了一套SCADE模型测试流程，不断完善，让测试变得更规范，从而最大程度保证测试的充分性。SCADE模型测试流程模型测试流程模型仿真文档模型审查覆盖率第一步第二步第三步SCADE模型测试示例模型测试示例需求：需求：输入一个数，如果其大于50，输出为真。如果其小于0，则输出为假。如果大于等于0，小于等于50，保持上一次的输出值。设计：设计：输入X，输出Z。 （1）当X50，Z=tru

6、e； （2）当X0，Z=false； （3）当X大于等于0且小于等于50，Z保持上一次的值；050Z=trueZ=LastZZ=falseXSCADE模型测试示例模型测试示例模型：模型：文档模型审查文档模型审查 文档模型审查主要包含了需求分析，模型走查。 需求分析就是充分了解系统的各种需求，明确系统要做什么，达到什么样的目的。然后在此基础上分析需求的合理性。 模型走查主要检查与文档的一致性，以及是否实现对应功能。模型仿真模型仿真 模型仿真可分成两步： （1） 用例设计。XEXPECT Z100true50true25true0true-20false模型仿真模型仿真 （2） 用例执行。覆盖率分析覆盖率分析SCADE覆盖率测试包括条件覆盖和MC/DC。条件覆盖条件覆盖：将系统看成一个黑盒，只要系统的每一个输入至少变化一次，覆盖率即可达到100%。MC/DC ：将系统看成一个黑盒，只要每一个输入决定了输出值，覆盖率即可达到100%。SCADE测试总结测试总结1、覆盖率测试的必