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

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