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