SCADE模型測(cè)試介紹.ppt

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