原創(chuàng)|使用教程|編輯:龔雪|2015-12-18 13:21:34.000|閱讀 543 次
概述:關(guān)于Parasoft C / C ++test的嵌入式單元測試實踐,本文主要介紹了單元測試的安全標準。
# 界面/圖表報表/文檔/IDE等千款熱門軟控件火熱銷售中 >>
相關(guān)鏈接:
根據(jù)IEC-61508-3定義的單元測試完整性水平在下表中進行了總結(jié),如下:
表中引用的技術(shù)/測量描述由IEC-61508-3標準定義。例如:(表A.3:1)參照IEC-61508-3,表A.3,技術(shù)1。
C++test功能 | SIL | |||
A | B | C | D | |
單元測試模塊 - 通用 | ||||
單元測試執(zhí)行(表A.5:4,表A.7:3) | HR | HR | HR | HR |
自動生成單元測試模塊 | ||||
自動生成單元測試采用邊界值(表B.2:1,表B.3:3) | R | HR | HR | HR |
準備輸入?yún)?shù)的值組,所使用的工廠函數(shù)(表B.2:5) | R | R | R | HR |
采用的隨機輸入組合(表A.5:1) | R | R | HR | |
測試管理模塊 | ||||
使用用戶定義的測試案例測試 | HR | HR | HR | HR |
使用數(shù)據(jù)源,以有效地提供多種輸入 | HR | HR | HR | HR |
使用測試用例管理器來管理測試用例和審查測試用例狀態(tài)(表A.5:2) | R | HR | HR | HR |
C++test功能 | SIL | |||
A | B | C | D | |
功能存根 | ||||
利用存根來控制執(zhí)行測試的流程,以滿足給定的條件 (表A.5:4) | HR | HR | HR | HR |
使用功能存根來代替自動單元測試執(zhí)行用戶界面(表A.5:6) | R | R | HR | HR |
使用存根提供故障條件測試(表B.2:2) | R | R | R | R |
覆蓋模塊 | ||||
針對結(jié)構(gòu)測試,分析語句,分支和MC/ DC代碼覆蓋率(表B.2:6) | R | R | HR | HR |
值得一提的是,IEC-61508在第二版中的改進很大。例如,在第一版本表B.2,技術(shù)6的引用的是一般的基礎(chǔ)測試結(jié)構(gòu)。在第二版中,表B.2有新增了(7A到7D)特定結(jié)構(gòu)的測試覆蓋類型并要求100%的覆蓋率,這取決于SIL數(shù)目。
IEC-61508不是唯一于功能安全相關(guān)的標準。有一些衍生自IEC-61508標準,用來解決特點行業(yè)的細節(jié),而另一些是獨立于它的。有一些更為嚴格(例如,與機載系統(tǒng)相關(guān)),而另一些則較為寬松。但是基本概念是相似的,所以單元測試已經(jīng)被證明是必不可少的。下面我們簡短的講一下其他的相關(guān)標準,具體詳情請自行參閱相關(guān)文件或咨詢專家。
ISO/DIS-26262
符合IEC-61508標準,適用于道路車輛的電子/電氣系統(tǒng)的標準。
ASIL(汽車安全完整性等級)
這是由ISO/ DIS-26262定義的標準,等價于SIL。它規(guī)定了必要的安全措施,以避免意外的風(fēng)險殘余。用D 代表最嚴格的級別,A代表最寬松的級別。
DO-178B/C
飛機和發(fā)動機上使用的機載系統(tǒng)和設(shè)備軟件標準。
IEC-60880-2
符合IEC-61508標準,適用于核電廠安全系統(tǒng)的標準。
EN-5012X/EN-50128/EN-50129
符合IEC-61508標準,適用于軌道交通。
誠然,單元測試是需要投入成本的,但它是必不可少的。對于嵌入式單元測試來說,增加了更多的困難,這可以使用本文中所討論的方式來解決。
單元測試會為您帶來很多益處,如幫助您創(chuàng)建更好的代碼,建立回歸測試套件,實現(xiàn)所需的安全完整性等級,或獲取DO-178B認證。
購買最新正版授權(quán)Parasoft贈送Macbook!""
慧都年終盛典火爆開啟,一年僅一次的最強促銷,破冰鉅惠不容錯過(12.01~12.31)?。?/strong>優(yōu)惠詳情點擊查看>>
本站文章除注明轉(zhuǎn)載外,均為本站原創(chuàng)或翻譯。歡迎任何形式的轉(zhuǎn)載,但請務(wù)必注明出處、不得修改原文相關(guān)鏈接,如果存在內(nèi)容上的異議請郵件反饋至chenjj@fc6vip.cn