這里選用MicroC/OS-II嵌入式操作系統和Infineon C167微控制器，進行操作系統魯棒性的探究。首先須要我們建立軟件故障注冊機制（software fault injection），這樣我們才干產生測試用例。我們不去改動和了解MicroC/OS-II的源代碼，採用黑盒方法，但為了進行故障和非法值注入，我們須要在OS和Application之間建立一個Meta-Kernel層，通過這個層，能夠對系統調用參數進行故障和非法值注入，從而實現測試用例的產生和輸入。

那么怎樣破壞系統調用參數呢？通過bit翻轉和替換無效值進行fault injection。以下是測試結果分類：

Events after injection

|

|——OS Error

|——Infineon C167 Error

|——Application Error

|——Nothing happened

|——system hang

|_

可見黑盒不僅用于應用軟件的測試，也在操作系統魯棒性研究中起到重要作用，不同的是，在軟件測試中我們更關注在不同測試用例下是否會出錯，而在魯棒性研究中我們是要發現都會產生哪些錯誤。

注：翻譯來源COMPSAC’04論文

Pardo, J., Campelo, J.C, Serrano, J.J. ,?Robustness study of an embedded operating system for industrial?applications

總結

以上是生活随笔為你收集整理的黑盒之嵌入式操作系统鲁棒性研究的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。