跳转到内容

軟體系統安全性

维基百科，自由的百科全书

軟體系統安全性（software system safety）也稱為軟體安全（Software safety），要確保用在生命攸關系統的軟體，不會讓系統產生危害。 許多不同領域的安全標準，會指導安全相關軟體如何開發和如何測試。大部分會依軟體應用的關鍵程度為軟體分級，並針對不同等級的軟體，說明在開發和驗證過程需要用的技術和量測方式：

詞語

[编辑]

系統安全是總體性的要求，目的是要將技術系統中的風險降到可接受的程度，以此實現安全性。根據功能安全標準IEC 61508[1]，安全是「不會有無法接受的風險或傷害」。軟體本身可以視為是單純的資訊，本身不會造成傷害，因此有時會將「軟體安全」一詞改為「軟體系統安全」（例如Joint Software Systems Safety Engineering Handbook[8]和MIL-STD-882E[9]就使用此一詞語）。後者強調軟體只會造成其技術系統的傷害（參考NASA Software Safety Guidebook,[10] chapter 2.1.2），而其傷害會對系統周圍有影響。

軟體安全的目的是確保軟體不會造成所在系統的危害，而且此事可以確認並且證明。這一般是用指定軟體的「安全等級」，並且選擇適當的開發程序以及證認程序來達到。

指定安全等級

[编辑]

創建安全相關軟體時的第一步是依照其安全關鍵程度來分類。不同安全標準有各自的分類：像是DO-178C（英语：DO-178C）的軟體等級A-E[4]、IEC 61508的SIL（安全完整性等級，Safety Integrity Level）1-4[1]、ISO 26262的ASIL（車用安全完整性等級、Automotive Safety Integrity Level）A-D[2]。 一般會在系統層級指定安全等級，也會評估軟體失效的最壞後果。例如，車用標準ISO 26262要求在整車等級進行危害分析與風險評估（Hazard Analysis and Risk Assessment，簡稱HARA），以此推導某一元件上軟體的ASIL。

流程遵守與保證

[编辑]

在考慮軟體的安全性時，需要依軟體的安全關鍵程度，使用充足的開發流程以及驗證流程，配合適當的方法或是技術。軟體安全標準可能會建議一些方法或是技術，甚至強制使用特定方法或技術，視安全等級而定。 大部份的標準都會建議生命週期模型（像是EN 50716[3]、IEC 61508的SIL 1-4[1]會要求V模型），並且說明在軟體開發的不同階段需要進行的活動。例如，IEC 61508要求軟體需要有充份的規格說明（可能用型式方法或是半型式方法）、軟體設計需是模組化且可測試的、需使用有充份功能的程式語言、需進行文件化的程式碼評審、需有多層級的測試，以達到充夠的測試覆蓋率。

對軟體開發流程和驗證流程的注重是源自於一個事實：軟體品質（和安全）會高度的受到軟體流程的影響，如IEC 25010所述的一樣[11]。IEC 25010提出流程會影響內在的軟體品質屬性（程式碼品質），因此也會影響外在軟體品質屬性（像是功能性和可靠度）。

以下是一些安全軟體的開發流程中會提到的活動和概念。

文件

[编辑]

在本質上，所有軟體安全標準都會要求針對開發流程和驗證流程全面且完整的文件。通常這些文件需經過第三方的評審和核可，是安全相關軟體核可的前提。文件包括許多的計劃文件、需求規格、軟體架構以及設計文件、不同抽象程度的測試案例、工具鑑定報告、評審證據、驗證和確認（verification and validation）結果等。在EN 50716的圖C.2[3]中列出在開發生命週期中需要創建的32份文件。

可追蹤性

[编辑]

需求可追蹤性（Requirements traceability）是建立不同種類的需求之間的關係，需求和設計、實現和測試文件之間關係的實務。依照EN 50716[3]，其目的是「確保所有需求都已妥善滿足，沒有引入任何無法追蹤的東西」。透過建立可追蹤性的文件，並且維護，就可能讓一個安全需求對應到系統設計（以驗證設計時已有充份的考量）、再對應到軟體程式碼（以驗證程式碼符合需求）、以及適當的測試案例以及測試實做（驗證安全需求已被充份的測試）。

軟體實現

[编辑]

安全標準中有些要求會直接影響軟體程式碼的實現，例如使用適當的程式語言、函式的大小和複雜度、使用特定的程式架構以及程式碼標準等。在IEC 61508的第三章包括了以下的要求和建議：

  • 使用強型態的程式語言。有些語言比較適合用在安全相關系統中。支援強型態的程式語言可以在編譯時就偵測到錯誤，而不是在運行時才發現。因此，不建議用組合語言，建議使用針對安全相關市場的高階語言（例如ADA）。
  • 使用定義了「安全」語言子集的程式碼標準，例如MISRA C。MISRA-C是C語言的程式碼標準，為了是要提昇程式碼品質和安全性，此標準會不允許一些易錯的程式寫法、一些與編譯器有關的特性（因此其行為是未定義的）。
  • 限制遞迴、指標和中斷的使用（這些容易出現錯誤）
  • 不允許「非結構化的流程控制」，也就是非結構化的跳躍指令，例如Goto指令。

測試覆蓋率

[编辑]

需要有適當的測試覆蓋率，若安全等級越高，就需要用越嚴謹的測試框架。以下是DO-178C針對不同軟體等級的需求[4]：

  • C級：指令覆蓋率。在測試時「每一個指令至少執行過一次」。
  • B級：分支覆蓋率。「程式的每一個進入點和結束點都至少執行一次，程式中判斷的所有可能結果都已進行過一次。」
  • A級：修改條件判斷覆蓋（MC/DC）：分支覆蓋的延伸，加上「判斷中所有的條件都會獨立影響判斷的結果。」

獨立性

[编辑]

軟體安全標準一般會需要在要求一定程度獨立性的情形下，進行特定流程活動，獨立性可能是不同的人、不同主管底下的員工、甚至是獨立組織。這避免利益衝突，也可以增加找到錯誤的可能性。 例如EN 50716[3]的圖2要求「實現者」、「測試者」（tester）和「驗證者」（verifier）需是不同的人，「確認者」（validator）需是其他主管底下的員工，而「評估者」就是另一個部門的人。 DO-178C[4]和DO-278A[5]有要求一些活動（例如測試覆蓋率的驗證、保證活動等）要由具有獨立性的人員進行，獨立性定義為「責任的分工，以確保可以達成客觀的評估。」

未解決的問題

[编辑]

相關條目

[编辑]

腳註

[编辑]

參考資料

[编辑]
  1. ^ 1.0 1.1 1.2 1.3 IEC. IEC 61508 - Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems. International Electrotechnical Commission. 2010. 
  2. ^ 2.0 2.1 ISO. ISO 26262 - Road vehicles — Functional safety. International Standardisation Organisation. 2018. 
  3. ^ 3.0 3.1 3.2 3.3 3.4 CENELEC. EN 50716 - Railway Applications - Requirements for software development. CENELEC. 2023. 
  4. ^ 4.0 4.1 4.2 4.3 RTCA. DO-178C - Software Considerations in Airborne Systems and Equipment Certification. RTCA (also published as ED-12C by European Organisation for Civil Aviation Equipment（英语：Eurocae）). 2012. 
  5. ^ 5.0 5.1 RTCA. DO-278A - Software Integrity Assurance Considerations for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems. RTCA (also published as ED-109A by Eurocae（英语：European Organisation for Civil Aviation Equipment）). 2011. 
  6. ^ IEC. Medical device software — Software life cycle processes. International Electrotechnical Commission. 2006. 
  7. ^ IEC. Nuclear power plants - Instrumentation and control systems important to safety - Software aspects for computer-based systems performing category A functions. International Electrotechnical Commission. 2006. 
  8. ^ US DoD. Joint Software Systems Safety Engineering Handbook. US Department of Defense. 2010. 
  9. ^ US DoD. MIL-STD-882E - System Safety. US Department of Defense. 2012. 
  10. ^ NASA. NASA Software Safety Guidebook. NASA. 2004. 
  11. ^ ISO. ISO 25010 - Systems and software engineering — Systems and software Quality Requirements and Evaluation (SQuaRE) — System and software quality models. International Standardisation Organisation. 2011. 

此條目使用美軍的Software handbook裡的公開領域文件。

检索自“https://zh.wikipedia.org/w/index.php?title=軟體系統安全性&oldid=89987666”