基于ARM的嵌入式安全關鍵軟件仿真測試平臺的研究.pdf

1、由于國家經(jīng)濟和大眾生活中大量引入了嵌入式計算機系統(tǒng)，其中的安全關鍵軟件是否可信賴已成為此類系統(tǒng)能否正常運轉(zhuǎn)的關鍵因素。 嵌入式安全關鍵軟件的測試和驗證是保證嵌入式安全關鍵軟件正確性和提高嵌入式安全關鍵軟件安全性的最基本和最重要的手段。本文在介紹了軟件測試和安全關鍵軟件測試的聯(lián)系和區(qū)別，并引申到嵌入式安全關鍵軟件測試后，著重分析和研究了故障注入技術和基于接口參數(shù)的測試方法在安全關鍵軟件測試中的應用和幾種常用的測試質(zhì)量度量方法。

2、 嵌入式安全關鍵軟件仿真測試平臺是一個基于ARM的計算機模擬測試系統(tǒng)，是進行嵌入式關鍵軟件系統(tǒng)測試的有力工具。通過分析嵌入式安全關鍵軟件仿真測試平臺的功能和體系結構，本文詳細描述了嵌入式系統(tǒng)模擬器的結構組成和實現(xiàn)方式，并深入討論了在測試過程中扮演重要角色的測試管理器的各個功能模塊和具體實現(xiàn)。 在嵌入式軟件仿真測試平臺的實現(xiàn)過程中，解決了多個關鍵技術問題，本文以此平臺為例子，深入闡述了包括程序插樁技術、自動測試技術和軟件故障注