SCADE模型测试介绍学习课程

1、目录SCADE软件简要介绍SCADE模型测试流程工作体会第1页/共33页第一页，编辑于星期六：十九点 五十七分。目录SCADE软件简要介绍SCADE模型测试流程工作体会第2页/共33页第二页，编辑于星期六：十九点 五十七分。SCADE简要介绍模型与建模第3页/共33页第三页，编辑于星期六：十九点 五十七分。模型分类模型物理模型数学模型结构模型仿真模型 模型是对现实世界中的事物、现象、过程或系统的简化描述， 或其部分属性的模仿 。按照模型的表现形式划分：第4页/共33页第四页，编辑于星期六：十九点 五十七分。物理模型歼十模型歼十模型歼十战机第5页/共33页第五页，编辑于星期六：十九点 五十七分。

2、数学模型 在哥尼斯堡的一个公园里，有七座桥将普雷格尔河中两个岛及岛与河岸连接起来。问是否可能从这四块陆地中任一块出发，恰好通过每座桥一次，再回到起点?第6页/共33页第六页，编辑于星期六：十九点 五十七分。结构模型碳60结构模型房屋结构模型第7页/共33页第七页，编辑于星期六：十九点 五十七分。模型与建模模型模型是对现实世界的事物、现象、过程或系统的简化描述，或其部分属性的模仿。建模建模是通过类比、抽象等手段对所研究的系统建立起各种模型（物理模型、数学模型、结构模型、仿真模型等）。第8页/共33页第八页，编辑于星期六：十九点 五十七分。SCADE介绍SCADE介绍第9页/共33页第九页，编辑于

3、星期六：十九点 五十七分。SCADE介绍 SCADE是英文 Safety-Critical Application Development Environment的缩写,它是一个高安全性的应用开发环境。 覆盖了嵌入式开发的整个流程，是一个以模型设计为中心的软件开发工具。第10页/共33页第十页，编辑于星期六：十九点 五十七分。C语言语言Turbo C VCEclipse JbuildJAVA语语言言模型模型SCADESimulinkSCADE介绍SCADE是一个以模型设计为中心的软件开发工具。第11页/共33页第十一页，编辑于星期六：十九点 五十七分。传统软件开发流程和SCADE软件开发流程文

4、档模型代码SCADE软件开发流程文档代码传统软件开发流程第12页/共33页第十二页，编辑于星期六：十九点 五十七分。传统软件开发流程需求：求两个整数的和。设计：用C语言完成。int Addition(int x,int y)int z=0;z=x+y;return z;开始取数A、B求和代码：第13页/共33页第十三页，编辑于星期六：十九点 五十七分。SCADE软件开发流程需求：求两个整数的和。设计：用SCADE模型完成。XYZ模型：代码： SCADE根据模型自动生成。+第14页/共33页第十四页，编辑于星期六：十九点 五十七分。手工编写代码与SCADE模型生成代码对比int Addition

5、(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;第15页/共33页第十五页，编辑于星期六：十九点 五十七分。SCADE集成功能需求建模图形化模型搭建静态检查模拟仿真形式验证覆盖率分析代码自动生成文档生成第16页/共33页第十六页，编辑于星期六：十九点 五十七分。SCADE软件特点 高安全性 缩短开发周期 自动生成高质量产品级C/Ada代码。 提

6、供高效和可靠的仿真和测试手段。 第17页/共33页第十七页，编辑于星期六：十九点 五十七分。SCADE软件应用领域SCADE应用领域航空航天核反应堆轨道交通第18页/共33页第十八页，编辑于星期六：十九点 五十七分。目录SCADE软件简要介绍SCADE模型测试流程工作体会第19页/共33页第十九页，编辑于星期六：十九点 五十七分。SCADE模型测试流程SCADE模型测试的目的是为了发现尽可能多的缺陷，提高软件的质量。 从三月份到现在，公司做过三个SCADE模型测试项目，也总结出了一套SCADE模型测试流程，不断完善，让测试变得更规范，从而最大程度保证测试的充分性。第20页/共33页第二十页，编

7、辑于星期六：十九点 五十七分。SCADE模型测试流程模型仿真文档模型审查覆盖率第一步第二步第三步第21页/共33页第二十一页，编辑于星期六：十九点 五十七分。SCADE模型测试示例需求：输入一个数，如果其大于50，输出为真。如果其小于0，则输出为假。如果大于等于0，小于等于50，保持上一次的输出值。设计：输入X，输出Z。 （1）当X50，Z=true； （2）当X0，Z=false； （3）当X大于等于0且小于等于50，Z保持上一次的值；050Z=trueZ=LastZZ=falseX第22页/共33页第二十二页，编辑于星期六：十九点 五十七分。SCADE模型测试示例模型：模型：第23页/共3

8、3页第二十三页，编辑于星期六：十九点 五十七分。文档模型审查 文档模型审查主要包含了需求分析，模型走查。 需求分析就是充分了解系统的各种需求，明确系统要做什么，达到什么样的目的。然后在此基础上分析需求的合理性。 模型走查主要检查与文档的一致性，以及是否实现对应功能。第24页/共33页第二十四页，编辑于星期六：十九点 五十七分。模型仿真 模型仿真可分成两步： （1） 用例设计。XEXPECT Z100true50true25true0true-20false第25页/共33页第二十五页，编辑于星期六：十九点 五十七分。模型仿真 （2） 用例执行。第26页/共33页第二十六页，编辑于星期六：十九点

9、 五十七分。覆盖率分析SCADE覆盖率测试包括条件覆盖和MC/DC。条件覆盖条件覆盖：将系统看成一个黑盒，只要系统的每一个输入至少变化一次，覆盖率即可达到100%。MC/DC ：将系统看成一个黑盒，只要每一个输入决定了输出值，覆盖率即可达到100%。第27页/共33页第二十七页，编辑于星期六：十九点 五十七分。SCADE测试总结1、覆盖率测试的必要性；2、测试的充分性很大；3、与开发人员沟通很重要。第28页/共33页第二十八页，编辑于星期六：十九点 五十七分。目录目录SCADE软件简要介绍SCADE模型测试流程工作体会第29页/共33页第二十九页，编辑于星期六：十九点 五十七分。执着的精神第30页/共33页第三十页，编