scade模型测试介绍教案.pptxVIP

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