SCADE模型測試介紹.ppt

SCADE模型測試介紹 姓名 于小強(qiáng) 目錄 目錄 SCADE簡要介紹 模型與建模 模型分類 模型 物理模型 數(shù)學(xué)模型 結(jié)構(gòu)模型 仿真模型 模型是對(duì)現(xiàn)實(shí)世界中的事物 現(xiàn)象 過程或系統(tǒng)的簡化描述 或其部分屬性的模仿 按照模型的表現(xiàn)形式劃分 物理模型 殲十模型 殲十模型 殲十戰(zhàn)機(jī) 數(shù)學(xué)模型 在哥尼斯堡的一個(gè)公園里 有七座橋?qū)⑵绽赘駹柡又袃蓚€(gè)島及島與河岸連接起來 問是否可能從這四塊陸地中任一塊出發(fā) 恰好通過每座橋一次 再回到起點(diǎn) 結(jié)構(gòu)模型 碳60結(jié)構(gòu)模型 房屋結(jié)構(gòu)模型 模型與建模 模型是對(duì)現(xiàn)實(shí)世界的事物 現(xiàn)象 過程或系統(tǒng)的簡化描述 或其部分屬性的模仿 建模是通過類比 抽象等手段對(duì)所研究的系統(tǒng)建立起各種模型 物理模型 數(shù)學(xué)模型 結(jié)構(gòu)模型 仿真模型等 SCADE介紹 SCADE介紹 SCADE介紹 SCADE是英文Safety CriticalApplicationDevelopmentEnvironment的縮寫 它是一個(gè)高安全性的應(yīng)用開發(fā)環(huán)境 覆蓋了嵌入式開發(fā)的整個(gè)流程 是一個(gè)以模型設(shè)計(jì)為中心的軟件開發(fā)工具 C語言 TurboCVC EclipseJbuild JAVA語言 模型 SCADESimulink SCADE介紹 SCADE是一個(gè)以模型設(shè)計(jì)為中心的軟件開發(fā)工具 傳統(tǒng)軟件開發(fā)流程和SCADE軟件開發(fā)流程 文檔 模型 代碼 SCADE軟件開發(fā)流程 文檔 代碼 傳統(tǒng)軟件開發(fā)流程 傳統(tǒng)軟件開發(fā)流程 需求 求兩個(gè)整數(shù)的和 設(shè)計(jì) 用C語言完成 intAddition intx inty intz 0 z x y returnz 開始 取數(shù)A B 求和 代碼 SCADE軟件開發(fā)流程 需求 求兩個(gè)整數(shù)的和 設(shè)計(jì) 用SCADE模型完成 X Y Z 模型 代碼 SCADE根據(jù)模型自動(dòng)生成 手工編寫代碼與SCADE模型生成代碼對(duì)比 intAddition intx inty intz 0 z x y returnz typedefstruct intX intY IN typedefstruct intZ OUT voidOperator1 IN inC out outC outC Z inC X inC Y SCADE集成功能 需求建模 圖形化模型搭建 靜態(tài)檢查 模擬仿真 形式驗(yàn)證 覆蓋率分析 代碼自動(dòng)生成 文檔生成 SCADE軟件特點(diǎn) 高安全性縮短開發(fā)周期自動(dòng)生成高質(zhì)量產(chǎn)品級(jí)C Ada代碼 提供高效和可靠的仿真和測試手段 SCADE軟件應(yīng)用領(lǐng)域 SCADE應(yīng)用領(lǐng)域 航空航天 核反應(yīng)堆 軌道交通 目錄 SCADE模型測試流程 SCADE模型測試的目的是為了發(fā)現(xiàn)盡可能多的缺陷 提高軟件的質(zhì)量 從三月份到現(xiàn)在 公司做過三個(gè)SCADE模型測試項(xiàng)目 也總結(jié)出了一套SCADE模型測試流程 不斷完善 讓測試變得更規(guī)范 從而最大程度保證測試的充分性 SCADE模型測試流程 模型仿真 文檔模型審查 覆蓋率 第一步 第二步 第三步 SCADE模型測試示例 需求 輸入一個(gè)數(shù) 如果其大于50 輸出為真 如果其小于0 則輸出為假 如果大于等于0 小于等于50 保持上一次的輸出值 設(shè)計(jì) 輸入X 輸出Z 1 當(dāng)X 50 Z true 2 當(dāng)X 0 Z false 3 當(dāng)X大于等于0且小于等于50 Z保持上一次的值 0 50 Z true Z Last Z Z false X SCADE模型測試示例 模型 文檔模型審查 文檔模型審查主要包含了需求分析 模型走查 需求分析就是充分了解系統(tǒng)的各種需求 明確系統(tǒng)要做什么 達(dá)到什么樣的目的 然后在此基礎(chǔ)上分析需求的合理性 模型走查主要檢查與文檔的一致性 以及是否實(shí)現(xiàn)對(duì)應(yīng)功能 模型仿真 模型仿真可分成兩步 1 用例設(shè)計(jì) 模型仿真 2 用例執(zhí)行 覆蓋率分析 SCADE覆蓋率測試包括條件覆蓋和MC DC 條件覆蓋 將系統(tǒng)看成一個(gè)黑盒 只要系統(tǒng)的每一個(gè)輸入至少變化一次 覆蓋率即可達(dá)到100 MC DC 將系統(tǒng)看成一個(gè)黑盒 只要每一個(gè)輸入決定了輸出值 覆蓋率即可