百餘年來，工業技術的發展經歷了蒸汽機時代、電氣化時代和資訊化時代，並且即將邁入工業4.0利用資訊化技術促進產業變革的智慧化時代。電腦軟體、網路、積體電路、大資料、人工智慧和數位化等技術將勢不可擋地遍佈應用到所有工業領域，包括石油、化工、電力、環境、安防和物聯網等典型行業。而嵌入式軟體在其中扮演了至關重要的作用，決定著控制系統的控制策略、業務邏輯、可靠性和安全性等方方面面。
早在2000年5月，國際電子電機委員會正式發佈了IEC 61508標準，名為《電氣/電子/可程式設計電子安全系統的功能安全》，該標準分七部分，標準規定隨機失效的後果必須定量評估，使用隨機存取測量系統 (RAMS)方法計算有效性。基於IEC 61508標準，其它相關行業進一步衍生出符合特定領域業務需要的標準，如汽車電子行業的ISO 26262, 軌道交通的EN 50128, 核工業的IEC 60880等。IEC 61508的核心概念是安全的完整性等級(Safety Integrity Level, 簡稱‘SIL’)，包括從SIL1到SIL4的4個安全完整性等級。IEC 61508的第3部分，專門針對控制系統的軟體部分的安全性、可靠性和研發流程做了詳細的規範，以保證安全相關軟體符合整體系統的安全完整性等級要求。
對於這些領域的產品研發團隊來說，如何基於IEC 61508標準滿足功能安全的要求，如何保證產品的安全性將是不容忽視的最重要的問題之一。
需求和挑戰
-
IEC 61508標準對軟體發展過程和測試有何具體要求？
-
效率、品質和合規如何平衡？
-
程式碼靜態測試和單元測試效率太低
-
黑盒測試、灰盒測試和白盒測試哪些環節可以實現自動化？
-
嵌入式軟體和上位機軟體測試要求和方法上有何關鍵區別？
-
有哪些自動化的工具可以提高軟體設計和測試效率？
-
IEC 61508 SIL認證對輔助的自動化開發和測試工具有何要求？
解决方案
-
程式碼靜態分析，使用權威的靜態分析工具Helix QAC滿足MISRA, AutoSAR等常用編碼規範，完美符合IEC 61508對程式碼靜態分析的標準
-
單元測試和集成測試，利用VectorCAST對軟體單元模組的可靠性和正確性進行驗證,迅速滿足IEC 61508對單元測試的要求
-
黑盒測試，由“VT System + vTESTstudio + CANoe”集成的Vector HiL系統測試平臺提供針對高可靠性嵌入式系統的實物硬體模擬和系統測試解決方案
-
灰盒測試，DT10支援嵌入式系統跟蹤執行、複雜缺陷回溯和性能測試等
-
貫穿軟體全生命週期（SDLC）的測試覆蓋率分析，滿足IEC 61508各個等級的認證審計需要
-
使用Visure Requirements進行需求管理並實現滿足IEC 61508要求的覆蓋軟體生命週期的可溯性
-
所提供的常用工具經過協力廠商權威機構符合IEC 61508標準的認證和鑒定
-
軟體測試外包服務
特別值得關注
-
程式碼靜態分析
-
單元測試
-
性能測試
-
系統測試
-
可追溯性
-
程式碼靜態分析 IEC 61508要求軟體的開發過程需要有統一的編碼規範。使用Helix QAC程式碼靜態分析工具可以自動地、權威地對程式碼的合規性進行分析，為用戶快速、準確地查找違規程式碼、隱藏程式碼缺陷，結構不合理的程式碼，在編碼之初即可對常見的程式碼錯誤進行修復。Helix QAC支援MISRAC/C++, AutoSAR C++14, CERT C/C++, CWE C/C++, HiCPP, JSF等常用標準編碼規範結合，支援30多種主流的開發編譯環境。Helix QAC工具經過協力廠商機構認證，使用Helix QAC程式碼靜態分析工具，使用者可以快速滿足IEC 61508對程式碼靜態分析的要求。
-
單元測試
IEC 61508要求對底層的設計需求進行測試，這通常是通過單元測試來完成。對單個函數或多個函數組成的模組的可靠性和正確性的驗證，都可以歸結為單元測試的範疇。對比於軟體的系統級測試，單元測試更為繁瑣，耗時耗力，而對於有IEC 61508合規性要求的嵌入式軟體，由於測試驅動，執行環境和覆蓋率統計等多方面的難點，單元測試則尤其困難，幾乎不可能人工來完成。VectorCAST嵌入式軟體動態測試工具針對IEC 61508提供了專門的自動化解決方案，利用自動化創建的測試環境、測試用例自動生成、測試用例圖形化設計平臺、靈活的管理機制、全面的覆蓋率統計功能及對40多種常用開發環境的良好支援，可以有效提高單元測試70-80%的效率。VectorCAST也通過了國際權威機構的認證，完全符合基於IEC 61508的SIL認證的要求。
-
性能測試
利用DT10動態測試和跟蹤調試工具，可以長時間跟蹤軟體的執行過程，即時對軟體執行中的各個函數、模組、任務、代碼塊和CPU負載等不同維度的執行性能進行度量和瓶頸分析。對比于傳統的利用示波器進行性能測試，DT10所提供的性能測試方案效率更高，更容易將性能異常點定位到源碼中的問題根源。
-
系統測試
由“VT System + vTESTstudio + CANoe”組建的Vector HiL嵌入式系統網路實物模擬和系統測試平臺，可以為工業控制和通用嵌入式系統提供包含測試設計、測試執行、網路分析，以及I/O介面、激勵硬體板卡等一體化的實物模擬和測試解決方案，協助使用者加速測試環境的搭建、測試自動化、自動回歸測試，顯著提高測試效率，降低人工成本。Vector HiL系統測試平臺，可以和VectorCAST的結構覆蓋統計功能、Visure需求管理平臺集成，形成一站式的測試和報告解決方案。
-
可追溯性
使用Visure Requirements需求管理系統，管理從上層產品設計，到概要設計到下層詳細設計的各個層級的設計過程，並與常用的開發測試類系統集成，滿足IEC 61508標準對軟體需求可追溯性的要求，更確切地說是，實現研發過程各個環節之間的雙向可追溯性，包括：
• 軟體的系統需求和概要設計之間
• 概要設計和詳細設計之間
• 軟體需求和測試用例之間
• 測試用例和缺陷之間
最終形成需求可追溯矩陣（Requirements Traceability Matrix，簡稱RTM）。IEC 61508准對可追溯性的要求的最直接的目的就在於研發流程各個環節的資訊一致性和準確、高效的變更影響分析，保證最終交付成果不會偏離預計的目標。
相關產品
-
VectorCAST
領先的C/C++/Ada軟體動態測試和測試完整性驗證工具，覆蓋軟體的單元測試、集成測試、系統測試、回歸測試和覆蓋率分析等主要測試環節。在自動化生成測試用例、高效的圖形化測試平臺和嵌入式測試方面具有顯著優勢。
查看更多
-
Helix QAC
權威的嵌入式軟體C/C++程式碼合規性靜態分析工具，全面支援編碼規則檢查、資料流程分析和程式碼度量等豐富的功能，內建MISRAC/C++, AutoSAR C++14, CERT C/C++, CWE C/C++, HiCPP, JSF等常用編碼規則集。
查看更多
-
DT10
新一代的軟體灰盒測試和系統動態跟蹤調試工具，利用領先的自動化程式碼插裝技術，支援對軟體的長時間運行監控、複雜bug回溯定位、性能測試、軟硬體同步檢測和覆蓋率分析等，尤其適用于高可靠性要求的嵌入式軟體。
查看更多
-
Visure Requirements
一站式的完整需求管理平臺，用於軟硬體產品的研發需求管理，建立貫穿應用全生命週期的可追溯性，覆蓋需求的定義、導入、編輯、變更和維護等各個環節。內建“開箱即用”資料模型，快速滿足常見的高可靠性研發標準。
查看更多
-
VT System
模組化的系統網路實物模擬和測試台架，集成I/O、激勵、電源等硬體板卡與vTESTstudio和CANoe軟體形成集測試設計，網路分析和模擬等一體的系統測試平臺。廣泛支援CAN,乙太網、航空和工業匯流排等協定。
查看更多
RELATED RESOURCES
