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

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

1.引言

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

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

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

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

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

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

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

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

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

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

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

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

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

3．  1  優(yōu)化系統(tǒng)設計方案

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

3．  2 嚴格的軟件測試

( 1) 黑盒測試方法

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

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

( 2) 白盒測試方法

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

4.結(jié)束語

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