基于ARM的嵌入式安全關(guān)鍵軟件仿真測(cè)試平臺(tái)的研究.pdf

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

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