【摘要】：隨著現(xiàn)代航天航空技術(shù)的飛速發(fā)展,計算機(jī)軟件在航天航空系統(tǒng)中的重要性日益增加。航天型號軟件基本都是嵌入式軟件,航天嵌入式軟件的規(guī)模、復(fù)雜度及其在整個航天系統(tǒng)中的功能比重急劇上升,軟件的可靠性與安全性問題日益突出。本文重點研究基于模板引擎和模型驅(qū)動的代碼自動生成技術(shù)和基于微內(nèi)核和插件的代碼檢測技術(shù),設(shè)計并實現(xiàn)C語言安全代碼自動生成系統(tǒng)以及代碼檢測系統(tǒng),實現(xiàn)從Intergration模型到C語言安全代碼框架的自動生成以及對手動添加代碼的安全檢測,以滿足生成代碼的安全需求,并通過選取星務(wù)管理軟件關(guān)鍵任務(wù)的實例對安全代碼生成工具進(jìn)行了驗證,為航天嵌入式應(yīng)用系統(tǒng)安全與可靠性的提高奠定技術(shù)基礎(chǔ)。本文所做工作如下:1.針對航天軟件安全代碼需求,采用基于模板引擎和模型驅(qū)動的代碼自動生成技術(shù),實現(xiàn)了代碼自動生成系統(tǒng),提供了Intergration模型向軟件代碼的轉(zhuǎn)換功能,軟件代碼具體包括符合C語言安全子集的框架代碼和建模手動添加的組件代碼。2.針對航天軟件安全代碼需求,采用微內(nèi)核和插件的代碼檢測技術(shù),實現(xiàn)了C語言安全子集代碼檢測系統(tǒng),提供對建模手動添加代碼以及現(xiàn)有航天軟件代碼的C語言安全子集檢測功能。3.選取星務(wù)管理軟件關(guān)鍵模塊,對其進(jìn)行Intergration建模以及代碼自動生成,驗證了代碼自動生成系統(tǒng)的代碼生成功能;編寫大量違反C語言安全子集的代碼示例,對其進(jìn)行代碼檢測,驗證代碼檢測工具的代碼檢測功能。
【圖文】：

用來表示各模型的選擇連接關(guān)系，典型的選擇機(jī)制如圖3-8 所示：圖 3-8 選擇機(jī)制其對應(yīng)的 C 代碼模板是：if(contidion) {// code for LlobalComponent_0…}else {

用來表示各模型的循環(huán)連接關(guān)系，典型的回調(diào)機(jī)制如圖3-9 所示：圖 3-9 回調(diào)機(jī)制圖對應(yīng)的 C 代碼模板為：While(condition) {// code for GlobalCompoment_3…// code for GlobalCompoment_4…}// code for LocalCompoment_3…c）模塊層模塊層支持并發(fā)的建模，并發(fā)建模的元素包括：定時器、任務(wù)等。其中定時器提供了定時啟動任務(wù)的功能，它映射為一個 TimerName.c 文件，具體函數(shù)功能為定時執(zhí)行任務(wù)，將其周期和觸發(fā)函數(shù)作為參數(shù)。整個模塊層對應(yīng)一個包，包里面每個任務(wù)對應(yīng)一個函數(shù)文件，整個模塊對應(yīng)一個頭文件，負(fù)責(zé)模塊層任務(wù)的函數(shù)聲明和變量聲明。d）系統(tǒng)層系統(tǒng)層負(fù)責(zé)生成對應(yīng)的文件夾結(jié)構(gòu)，系統(tǒng)層中每個模塊對應(yīng)一個文件夾。3.3.2.3 模板引擎模板引擎負(fù)責(zé)讀取模板數(shù)據(jù)模型中的信息，通過具體生成邏輯將模型映射中的模板的動態(tài)信息替換成具體代碼[32]�？紤]到層次化的建模環(huán)境，模板引擎是基于局部轉(zhuǎn)換再組裝
【學(xué)位授予單位】：浙江工業(yè)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2018
【分類號】：V446;TP311.5

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 徐朝輝;金斌斌;蔡華;王云龍;;面向水利信息化項目的自動代碼生成器的設(shè)計與實現(xiàn)[J];電腦迷;2017年12期

2 蔡慶中,陳涵生;代碼生成器自動生成系統(tǒng)CGSS的分析與探討[J];計算機(jī)工程;1988年06期

3 張仕仁;基于可重用代碼生成器設(shè)計與實現(xiàn)[J];山西大學(xué)學(xué)報(自然科學(xué)版);1993年03期

4 朱青亮;;軟景代碼生成器[J];軟件導(dǎo)刊;2003年03期

5 唐磊;;代碼生成技術(shù)在軟件開發(fā)中的應(yīng)用[J];電子世界;2016年15期

6 陳滿;任鶴飛;;利用NVelocity開發(fā)實體代碼生成器[J];電腦編程技巧與維護(hù);2014年09期

7 程鵬;李周芳;;Web Services代碼生成器的研究與設(shè)計[J];自動化技術(shù)與應(yīng)用;2006年12期

8 鄭軼民;MOJO!(JavaMaker)──視覺化的Java源代碼生成器[J];電腦技術(shù);1997年02期

9 蔣，

本文編號：2703243