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

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

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

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

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

9 蔣，

本文編號：2703243