SCADE模型测试介绍.ppt

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

2、所研究的系统建立起各种模型（物理模型、数学模型、结构模型、仿真模型等）。,SCADE介绍,SCADE介绍,SCADE介绍,SCADE是英文 Safety-Critical Application Development Environment的缩写,它是一个高 安全性的应用开发环境。覆盖了嵌入式开发的 整个流程，是一个以模型设计为中心的软件开 发工具。,C语言,Turbo C VC,Eclipse Jbuild,JAVA语言,模型,SCADE Simulink,SCADE介绍,SCADE是一个以模型设计为中心的软件开 发工具。,传统软件开发流程和SCADE软件开发流程,文档,模型,代码,SCA

3、DE软件开发流程,文档,代码,传统软件开发流程,传统软件开发流程,需求：求两个整数的和。 设计：用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

4、; 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模型测试的目的是为了发现尽可能多 的缺陷，提高软件的质量。 从三月份到现在，公

5、司做过三个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=LastZ,Z=false,X,SCADE模型测试示例,模型：,文档模型审查,文档模型审查主要包含了需求分析，模型走查。 需求分析就是充分了解系统的各种需求，明确系统要做什么，达到什么样的目的。然后在此基础上分析需求的合理性。 模型走查主要检查与文档的一致性，以及是否实现对应功能。,模型仿真,模型仿真可分成两步： （1） 用例设计。,模型仿真,（2） 用例执行。,覆盖率分析,SCADE覆盖率测试包括条件覆盖和MC/DC。 条件覆盖：将系统看成一个黑盒，只要系统的每 一个输入至少变化一次，覆盖率即可达到100% 。 MC/DC ：将系统看成一个黑盒，只要每一个输 入决定了输出值，覆盖率即可达到