地磅嵌入式軟件可信性的設計和驗證方法

目前，嵌入式系統已廣泛地應用于控制系統部件和智能儀表中，在控制系統部件對嵌入式系統依賴性增強的同時，對嵌入式軟件質量的要求也越來越高，尤其是可靠性的要求。為此，IEC61508 等功能安全標準通過嚴格規定軟件安全生命周期中各階段應采用的技術和措施，以期提高軟件的可靠性，保證軟件質量。本文給出一般性的地磅嵌入式軟件可信性的設計和驗證方法。

1.引言

微機和通信技術的發展使得越來越多制造業、流程工業過程采用 DCS、FCS 等數字化控制系統，傳統的模擬儀表也逐步為智能化的儀器儀表和執行機構所替代，從而極大地提高了工業過程的自動化水平。考慮到現今的數字化控制系統部件和智能儀表均采用嵌入式系統作為控制核心，其控制功能的可靠安全實現極大地依賴于嵌入式軟件的正確執行，而其中的嵌入式軟件部分的可靠性一般都是被忽略的。而國外儀表能達到較高的可靠性水平，一方面也是因為其考慮了軟件系統的可靠性，如 Ｒosemount 公司的 305IC 差壓變送器的硬件 SIL 等級達到 SIL3 級，軟件為 SILZ 級。因此，要想實現國內智能儀表的高可靠性，研究嵌入式軟件高可靠性的分析、設計和驗證方法和技術就顯得尤為重要。

2.嵌入式軟件可靠性特點

2．  1  實時性對嵌入式軟件可靠性的影響

實時軟件與其他軟件不同，它的正確性不僅由功能和行為決定，還依賴于其時間特性。如何對軟件的時間特性進行驗證成為嵌入式軟件可靠性的核心問題之一。對軟件的時間測試可分為兩種方法: 即靜態時間分析和動態實時檢測。

動態實時檢測就是通過執行程序來測試程序的時間特性。在線仿真器 ICE、指令仿真器和插樁工具是三種最常用的方法。

實時性使得嵌入式軟件的測試用例編寫更為困難測試用例不僅要測試軟件的功能和行為特性，還要測試其時間特性，因為同樣的輸入在不同時可能有不同的輸出，這給傳統的測試用例生成方法帶來了新問題。

2．  2 嵌入性對嵌入式軟件可靠性的影響

嵌入式軟件的開發環境和運行環境的不一致性同樣給嵌入式軟件可靠性的測試帶來了不少麻煩。

( 1) 測試工具運行在宿主機上，測試所需要的信息在目標機上產生，并通過一定的物理 / 邏輯連接傳輸到宿主機上，由測試工具接受。因此，嵌入式軟件測試的一個重要問題是建立宿主機與目標機之間的物理 / 邏輯連接，解決數據信息的傳輸問題。

( 2) 即使在宿主機環境下測試再充分，也不能說明在目標機環境下該軟件運行不出問題。因而，嵌入式軟件還面臨著目標環境的測試。這不僅增加了測試的代價，而且還帶來了嵌入式軟件測試策略問題，即哪些測試分配在宿主環境進行，哪些測試分配到目標環境下運行。

2．  3 反應性對嵌入式軟件可靠性的影響

反應性系統 ( Ｒeactive System) 在任何時刻都要對可能出現的時間作出適當反應。由于 “激勵 － 響應”在反應式系統中占主要地位，因此這類系統常常包含大量復雜的控制行為。

3.地磅嵌入式軟件可信性的驗證方法

3．  1  優化系統設計方案

嵌入式系統最大的特點是以控制為主，軟硬件結合較多，功能性操作較多，模塊互相調用較多，外部工作環境復雜容易受到干擾或干擾別的設備，且執行錯誤的后果不僅僅是數據錯誤而且有可能導致系統崩潰等不可估量的災難。所以在嵌入式軟件設計過程中需注意軟硬件接口之間的冗余和預防性設計。另外，在設計過程中，可采用看門狗電路、狀態保存等恢復技術; 軟件鎖設計、程序陷阱設計等抗干擾技術以及備份技術有效的進行系統容錯設計。

3．  2 嚴格的軟件測試

( 1) 黑盒測試方法

黑盒測試 ( Black 一 boxTesting) 是一種從軟件需求出發，根據軟件需求說明設計測試用例，并按照測試用例的各項要求運行被測程序的測試方法。它不考慮程序內部的實現過程，僅側重于程序的執行結果。它將被測程序看成是不可見的黑箱，因此，被稱為黑盒測試。

黑盒測試，也稱功能測試，其方法主要有輸入等價類劃分。邊界值分析、因果圖法、正交試驗方法和判定表驅動法等。

( 2) 白盒測試方法

白盒測試又稱為結構測試或基于程序的測試。這種測試方法是把測試對象看作打開的盒子，它允許測試人員根據程序內部的邏輯結構及相關信息，設計測試用例，對程序的邏輯路徑進行測試。它對軟件的結構性細節做出細致的檢查。根據測試的精確程度，即測試充分性，可將白盒測試分為入口覆蓋、語句覆蓋、判定覆蓋和修正條件 / 判定覆蓋等。

4.結束語

隨著嵌入式系統技術的不斷進步，在嵌入式系統中占重要地位的嵌入式軟件的質量保證問題也越來越引起人們的關注。軟件測試是軟件可靠性的保證，它在整個軟件開發過程中占據了將近一半的時間和資源。通過在測試過程中合理地引入軟件測試工具、選擇適當的測試用例，能夠縮短軟件開發的時間，提高測試質量，從而更快、更好地為用戶提供他們需要的軟件產品。