1 嵌入式系統概述

嵌入式系統是以計算機技術為基礎，以應用為中心，并且軟硬件可裁剪，適用于應用系統對功能、可靠性、成本、體積、功耗有嚴格要求的專用計算機系統。

嵌入式軟件是基于嵌入式系統設計的軟件，是計算機軟件的一種，同樣由程序及文檔組成，可細分成系統軟件、支撐軟件、應用軟件三類。嵌入式軟件大量應用于家用、工業、商業、通訊和國防領域。我國目前在嵌入式應用軟件方面具有優勢。在嵌入式系統中，軟件的工作量約占全部工作量的80%，其中測試與驗證的工作量占軟件工作量的70%。

1.1 嵌入式軟件特點和測試難點

嵌入式系統開發有其自身的特點。通常，在嵌入式系統軟件中，底層驅動程序、操作系統和應用程序的界線是不清晰的，有時甚至混編在一起。這主要是因為嵌入式系統中軟件對硬件的依賴性造成的。由于嵌入式軟件對硬件的依賴性，軟件測試時必須最大限度地模擬被測軟件的實際運行環境，以保證測試的可靠性。底層程序和應用程序界限的不清晰增加了測試難度。測試時，只有在確認了嵌入式系統平臺及底層程序正確的情況下才能進行應用程序的測試，而且在系統測試時，對錯誤的檢測定位較為困難。軟件的專用性也是嵌入式軟件的一個重要特點。由于嵌入式軟件設計是以一定的目標硬件平臺為基礎、面向固定任務進行的，因此，一旦被加載到目標系統上，功能必須完全確定。這個特點決定了嵌入式應用軟件的繼承性較差，延長了系統的測試時間，增加了測試費用。嵌入式軟件的另外一個重要特點就是實時性，這是從軟件執行的角度考慮的，也就是說嵌入式軟件的執行要滿足一定的時間約束。嵌入式系統中，應用軟件自身算法的復雜度和操作系統任務調度，決定了系統資源的分配和消耗。因此，對系統實時性進行測試時，要借助一定的測試工具對應用程序算法復雜度和操作系統任務調度進行分析測試。

1.2 嵌入式軟件測試方法

軟件測試是軟件開發中的一個重要環節，嵌入式軟件也不例外。圖1給出了嵌入式軟件測試的一般流程。根據不同的指標，軟件測試方法［1］有不同的劃分方法。根據軟件開發過程中測試所處的不同階段可分為模塊測試、集成測試和系統測試；根據是否需要運行目標代碼分為動態測試和靜態測試；根據目標代碼的可見性可分為白盒測試（結構測試）和黑盒測試（功能測試）。在軟件測試中，每種測試方法都不是孤立的。為了最經濟、最有效地達到測試目的，各種測試方法往往互相嵌套。例如，在軟件的單元測試階段，可以用黑盒測試和白盒測試的方法分別進行動態測試。而在系統測試階段，只能使用黑盒測試方法進行測試。

為了更有效地進行嵌入式軟件的系統測試，提出了嵌入式軟件系統測試中具有交互式錯誤檢測定位功能的仿真系統架構設計方案。使用此仿真系統不僅可以按照第一類測試方法和第二類測試方法輔助進行系統測試，而且還可以利用仿真系統的交互式學習功能，不斷積累錯誤定位經驗，實現錯誤檢測定位，為測試人員和開發人員節省大量時間。這是其他測試方法所不具備的。

2 仿真系統結構設計

嵌入式軟件的硬件載體大部分為專用計算機設備，并且通常沒有外圍設備用于測試過程中的監測或觀察。而有些嵌入式軟件還會存在交互式操作。在被測軟件移植到目標機上的實際硬件環境以后，由于與嵌入式系統平臺和底層程序融為一體，對系統進行黑盒測試時，錯誤定位將變得非常困難。因此根據嵌入式軟件的特點，提出了一個具有交互式錯誤檢測定位功能的仿真系統結構模型。圖2為仿真系統分層結構圖。仿真系統在設計上采用分層結構、分層設計、分層實現的方式，每一層的內部實現對其他層透明。

仿真系統由硬件驅動、交互操作模塊、驅動模塊、樁模塊、分析模塊和人機界面六個部分組成。下面分別介紹各個模塊的功能。

（1）硬件驅動部分負責驅動硬件，向上一層提供底層硬件的操作接口。仿真系統通過硬件驅動為嵌入式軟件提供相應的通信接口，用于嵌入式軟件和仿真系統之間的數據交換。通信接口根據具體嵌入式軟件的接口設計實現，一般為各種通訊協議。各通訊協議模塊之間松散耦合，且具備可擴展性，保證硬件接口的改變不會影響上層的功能實現。

（2）交互操作模塊負責與嵌入式軟件的交互操作。此部分可裁剪，主要根據嵌入式軟件是否需要交互操作而定。其主要功能需要根據特定的軟件設計實現。

（3）驅動模塊負責封裝與仿真系統測試數據有關的處理邏輯，向人機界面提供獨立于體系結構的操作接口。系統測試階段除了正常的功能和性能測試，更應該進行意外測試和破壞性測試，即測試系統正常執行情況下不該發生的激發活動和人為的破壞性測試，進一步驗證系統性能。而驅動模塊則將測試用例中各種測試數據傳輸給被測嵌入式軟件。

（4）樁模塊為嵌入式軟件提供各種必要的輸入數據。嵌入式軟件的正常運行需要必要的外界輸入數據，以完成系統的正常運行和交互。無論這些輸入數據通過什么方式提供，樁模塊都應該為嵌入式軟件模擬各種輸入數據。對于系統測試來說，輸入數據也應該包括正常數據和非法數據兩種。

（5）分析模塊包括測試結果、預期結果和故障模型三部分。測試結果為執行測試用例以后被測軟件執行的結果；預期結果為測試開始之前，測試人員針對不同測試用例輸入的預期結果；故障模型中包括對各種故障的定位。故障模型在一個測試結束后，積累的錯誤定位模型可以通過外部接口導出，既可以用作其他測試系統的故障模型，也可以導出Word或Excel文件，用于開發人員進行分析總結。

分析模塊在得到測試結果以后，首先與預期結果比較。如果相同，則測試通過；否則在故障模型中搜索相應的故障，并定位故障。如果故障模型中沒有相應的錯誤定位，分析模塊直接將未通過測試的測試結果和測試用例反饋給測試人員，由測試人員進行定位。當錯誤定位以后，測試人員根據測試實例修改故障模型，增加錯誤判斷事件。通過不斷循環，故障模型部分的各種故障定位逐漸增加，仿真系統在不斷學習過程中實現錯誤定位。

（6）人機界面用于各種數據、結果的輸入和顯示，以及交互操作的人工輸入界面。

3 鐵路微機聯鎖系統測試

被測鐵路微機聯鎖2乘2取2系統運行在CPU（486DX）上，屬于典型的嵌入式軟件。邏輯圖如圖3所示。

被測嵌入式軟件運行在圖3中A系和B系的CPU中，通過以太網接收人工下達的聯鎖命令，經過處理后通過DP協議網絡傳輸給輸出模塊，控制現場設備。A、B系中只能以一個系為主系，主從系的切換可以通過手動切換實現，也可以自動切換。

3.1 測試實施

測試實施之前，首先編制測試用例，并針對每個測試用例給出預期結果和可能產生的錯誤以及相應錯誤的故障定位。把這些數據輸入仿真系統的分析模型中，為即將進行的測試工作做準備。

在測試實施過程中，首先利用此仿真系統按照第一類測試方法進行測試，驗證鐵路聯鎖2乘2取2系統被測軟件是‘工作的’，也就是軟件的功能是按照預先的設計執行的。然后按照第二類測試方法進行測試，驗證軟件是不工作的。

使用仿真系統設計并實施了很多在實際軟硬件環境中不可能實現的測試用例。舉例說明如下：

（1）非法數據的輸入。正常運行的系統，操作人員不可能發送錯誤的聯鎖命令給被測軟件，輸入模塊也不可能產生測試需要的各種非法輸入數據。使用仿真系統的驅動模塊和樁模塊，可以很輕松地發送任何組合形式的非法數據，以測試鐵路聯鎖2乘2取2系統被測軟件的安全性。結合分析模塊的使用，具體實施過程為：

通過人機界面輸入超長非法測試數據6，244，244，80，0，17，1，0，80，0，255，255，255，0，1，0，0，0，0，0，0，0，0，0，0，0，0，0，0，0，0給被測軟件，預期結果為無測試結果數據返回，即嵌入式軟件將非法數據過濾掉，不進行任何操作。仿真系統通過人機界面提示測試通過，實際情況也確實是微機聯鎖系統未進行任何操作，便將超長的非法數據過濾了。通過人機界面輸入固定碼的非法測試數據170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，170，預期結果為無測試數據返回，即嵌入式軟件將非法數據過濾，不進行任何操作。仿真系統通過人機界面提示測試通過，而實際情況是微機聯鎖單元出現了死機現象。針對這種情況，修改預期結果內容為“無測試數據返回且與被測應用軟件正常通訊”，而在故障模型中增加了“與被測應用軟件無任何通訊”項，以修正仿真系統的錯誤定位為微機聯鎖單元死機。同理也要修改前面超長非法測試數據的預期結果和故障模型的內容。如此反復，仿真系統的分析模型也在不斷完善中。

（2）通信容量測試。鐵路聯鎖2乘2取2系統被測軟件中的基本功能包括系統通信最大I/O模塊總數為100。在正常測試過程中，一般無法為測試搭建如此大規模的硬件測試環境，即使可以搭建，也會因為性價比較低而不實施此項測試。使用仿真系統，可以通過樁模塊和驅動模塊輕松實現100個I/O模塊的通信量，同時可以省去購置I/O硬件模塊的費用。

（3）鐵路聯鎖系統軟件需要滿足IEC61508標準［4］中SIL4的要求。通過仿真軟件驅動模塊重復發送聯鎖命令，可以很容易地測試鐵路聯鎖2乘2取2系統中的軟件是否滿足SIL4的要求，而這些測試如果單純用人工輸入進行測試是不可能實現的。交互操作模塊則可以在測試過程中完成軟件與人必需的交互操作功能。

被測軟件第一次測試結束后，開發人員根據仿真系統的錯誤定位集中修改軟件中的BUG，然后提交進行第一次回歸測試。經過在第一次測試中人機交互的不斷完善，仿真系統的分析模型趨于成熟，在回歸測試過程中能很快定位錯誤，為測試及開發人員節省了大量時間，縮短了軟件開發周期。

3.2 測試結果

通過使用仿真系統對鐵路聯鎖2乘2取2系統被測軟件實施測試，共發現涉及軟件故障安全原則的致命問題和嚴重問題10個，涉及軟件漏洞安全的致命問題和嚴重問題5個，涉及功能未實現的致命問題和嚴重問題6個，涉及可靠性的致命問題1個，一般和提示問題30個。

針對嵌入式軟件的特點提出的具備交互式錯誤檢測定位功能的仿真系統架構模型，實現了在系統測試過程中檢測定位軟件錯誤，解決了嵌入式軟件系統測試過程中，由于被測程序與嵌入式系統平臺和底層程序融合在一起，錯誤不容易定位的問題。通過在鐵路微機聯鎖測系統試項目中的應用，發現了很多關鍵性問題，并且為測試人員和開發人員節省了大量時間，加快了測試進度，在回歸測試階段表現尤為明顯。事實表明，此仿真系統架構模型不僅可以應用于嵌入式軟件的系統測試，也可以應用于非嵌入式軟件的黑盒測試。在以后的研究中，將應用人工智能學科的學習理論，實現仿真系統分析模塊的自動學習功能，以實現在測試過程中自動定位軟件錯誤，而無需人工干預。