1、SCADE 模型測試介紹,姓名：于小強,目錄,目錄,SCADE簡要介紹,模型與建模,模型分類,模型,物理模型,數(shù)學(xué)模型,結(jié)構(gòu)模型,仿真模型,模型是對現(xiàn)實世界中的事物、現(xiàn)象、過程或 系統(tǒng)的簡化描述， 或其部分屬性的模仿 。按照 模型的表現(xiàn)形式劃分：,物理模型,殲十模型,殲十模型,殲十戰(zhàn)機,數(shù)學(xué)模型,在哥尼斯堡的一個公園里，有七座橋?qū)⑵绽?格爾河中兩個島及島與河岸連接起來。問是否可 能從這四塊陸地中任一塊出發(fā)，恰好通過每座橋 一次，再回到起點?,結(jié)構(gòu)模型,碳60結(jié)構(gòu)模型,房屋結(jié)構(gòu)模型,模型與建模,模型是對現(xiàn)實世界的事物、現(xiàn)象、過程或系統(tǒng)的簡化描述，或其部分屬性的模仿。 建模是通過類比、抽象等手段對

2、所研究的系統(tǒng)建立起各種模型（物理模型、數(shù)學(xué)模型、結(jié)構(gòu)模型、仿真模型等）。,SCADE介紹,SCADE介紹,SCADE介紹,SCADE是英文 Safety-Critical Application Development Environment的縮寫,它是一個高 安全性的應(yīng)用開發(fā)環(huán)境。覆蓋了嵌入式開發(fā)的 整個流程，是一個以模型設(shè)計為中心的軟件開 發(fā)工具。,C語言,Turbo C VC,Eclipse Jbuild,JAVA語言,模型,SCADE Simulink,SCADE介紹,SCADE是一個以模型設(shè)計為中心的軟件開 發(fā)工具。,傳統(tǒng)軟件開發(fā)流程和SCADE軟件開發(fā)流程,文檔,模型,代碼,SCA

3、DE軟件開發(fā)流程,文檔,代碼,傳統(tǒng)軟件開發(fā)流程,傳統(tǒng)軟件開發(fā)流程,需求：求兩個整數(shù)的和。 設(shè)計：用C語言完成。,int Addition(int x,int y) int z=0; z=x+y; return z; ,開始,取數(shù)A、B,求和,代碼：,SCADE軟件開發(fā)流程,需求：求兩個整數(shù)的和。 設(shè)計：用SCADE模型完成。,X,Y,Z,模型：,代碼： SCADE根據(jù)模型自動生成。,+,手工編寫代碼與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集成功能,需求建模,圖形化模型搭建,靜態(tài)檢查,模擬仿真,形式驗證,覆蓋率分析,代碼自動生成,文檔生成,SCADE軟件特點,高安全性 縮短開發(fā)周期 自動生成高質(zhì)量產(chǎn)品級C/Ada代碼。 提供高效和可靠的仿真和測試手段。 ,SCADE軟件應(yīng)用領(lǐng)域,SCADE應(yīng)用領(lǐng)域,航空航天,核反應(yīng)堆,軌道交通,目錄,SCADE模型測試流程,SCADE模型測試的目的是為了發(fā)現(xiàn)盡可能多 的缺陷，提高軟件的質(zhì)量。 從三月份到現(xiàn)在，公

5、司做過三個SCADE 模型測試項目，也總結(jié)出了一套SCADE模型測 試流程，不斷完善，讓測試變得更規(guī)范，從而 最大程度保證測試的充分性。,SCADE模型測試流程,模型仿真,文檔模型審查,覆蓋率,第一步,第二步,第三步,SCADE模型測試示例,需求：輸入一個數(shù)，如果其大于50，輸出為真。如果 其小于0，則輸出為假。如果大于等于0，小于等于50， 保持上一次的輸出值。,設(shè)計：輸入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模型測試示例,模型：,文檔模型審查,文檔模型審查主要包含了需求分析，模型走查。 需求分析就是充分了解系統(tǒng)的各種需求，明確系統(tǒng)要做什么，達到什么樣的目的。然后在此基礎(chǔ)上分析需求的合理性。 模型走查主要檢查與文檔的一致性，以及是否實現(xiàn)對應(yīng)功能。,模型仿真,模型仿真可分成兩步： （1） 用例設(shè)計。,模型仿真,（2） 用例執(zhí)行。,覆蓋率分析,SCADE覆蓋率測試包括條件覆蓋和MC/DC。 條件覆蓋：將系統(tǒng)看成一個黑盒，只要系統(tǒng)的每 一個輸入至少變化一次，覆蓋率即可達到100% 。 MC/DC ：將系統(tǒng)看成一個黑盒，只要每一個輸 入決定了輸出值，覆蓋率即可達到