基于屬性的微內(nèi)核系統(tǒng)調(diào)用CPN建模和測試.pdf

1、操作系統(tǒng)是應(yīng)用系統(tǒng)正確、安全運行的基礎(chǔ)軟件。微內(nèi)核操作系統(tǒng)可提高系統(tǒng)的可擴展性，增強系統(tǒng)的可靠性和安全性，有很好的應(yīng)用前景。系統(tǒng)調(diào)用是操作系統(tǒng)提供給用戶的唯一接口，用戶可以通過系統(tǒng)調(diào)用進行相應(yīng)的功能操作，但同時也可以通過系統(tǒng)調(diào)用的漏洞進行破壞。所以，對操作系統(tǒng)中各個系統(tǒng)調(diào)用的測試可減少系統(tǒng)調(diào)用中存在的安全隱患，加強操作系統(tǒng)的安全。
　　 本文以微內(nèi)核操作系統(tǒng)Minix3為例，對微內(nèi)核的系統(tǒng)調(diào)用進行了基于屬性的建模和測試，主要研究

2、工作包括以下幾個方面：
　　 首先，我們深入閱讀了Minix3操作系統(tǒng)源碼，對其實現(xiàn)的功能進行了深入的分析，了解了微內(nèi)核操作系統(tǒng)體系結(jié)構(gòu)的特點，并比較了微內(nèi)核系統(tǒng)調(diào)用與宏內(nèi)核系統(tǒng)調(diào)用不同的地方。
　　 其次，對微內(nèi)核系統(tǒng)調(diào)用進行了測試。在源代碼的基礎(chǔ)上，提取系統(tǒng)調(diào)用的屬性，以屬性為粒度進行CPN建模，執(zhí)行系統(tǒng)調(diào)用測試，并給出了實驗結(jié)果。
　　 最后，由于操作系統(tǒng)的安全性是通過一系列的系統(tǒng)調(diào)用體現(xiàn)的，其中與安全訪問