天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當前位置:主頁 > 科技論文 > 軟件論文 >

彈載軟件開發(fā)中的代碼自動生成與驗證技術研究

發(fā)布時間:2021-09-15 22:40
  近幾年來,導彈戰(zhàn)術的技術性能指標日益提高,對使用環(huán)境的要求也越來越嚴格,彈載軟件在具備了更好的實時性、可靠性和可重構能力之后將向著多功能、智能化的方向發(fā)展。在傳統(tǒng)的開發(fā)過程中,很多控制軟件都采用到了代碼自動生成技術,如果能夠將代碼自動生成技術同彈載軟件的開發(fā)結合起來,將會極大地提高彈載軟件的開發(fā)效率,為彈載軟件開發(fā)人員留出更多的時間去開展開發(fā)之外的工作,諸如軟件測試以及軟件系統(tǒng)框架的優(yōu)化。同時,在彈載軟件的開發(fā)中應用靜態(tài)代碼分析技術可以在不執(zhí)行代碼的情況下保證生成代碼的安全性、規(guī)范性、可靠性和可維護性,確保代碼可以正確編譯執(zhí)行。在以往的開發(fā)模式中,彈載軟件都會被逐個開發(fā),不僅費時,而且還極大地耗費了開發(fā)人員的精力。本課題考慮到彈載軟件開發(fā)平臺對于不同彈載軟件所具備的通用性,通過分析不同彈載軟件之間的相似性,擬開發(fā)一款結構化的彈載軟件開發(fā)及驗證平臺,該平臺為用戶提供可視化圖形界面以用于對接口設備、通信協(xié)議、流程、特殊流程和可重用算法構件進行配置,平臺基于預先定制好的代碼模板,根據(jù)用戶配置的一系列信息進行代碼的自動生成與優(yōu)化,從而得到可正確編譯執(zhí)行的軟件代碼,彈載軟件開發(fā)人員在自動生成代碼... 

【文章來源】:西安電子科技大學陜西省 211工程院校 教育部直屬院校

【文章頁數(shù)】:81 頁

【學位級別】:碩士

【部分圖文】:

彈載軟件開發(fā)中的代碼自動生成與驗證技術研究


平臺使用的MVC關系圖

用例圖,用例圖,系統(tǒng)總體


西安電子科技大學碩士學位論文表 3.1(續(xù)表)序號 功能需求分析10可存儲彈載軟件輸出數(shù)據(jù),使用如 Excel 文件或文本文件的格式進行輸出數(shù)據(jù)的存儲。11對生成的代碼提供規(guī)則檢查并提供靜態(tài)分析功能,并給出分析結果,在平臺中集成 QAC 靜態(tài)代碼測試工具,進行代碼的規(guī)則檢查并顯示測試結果。根據(jù)上述系統(tǒng)需求分析,結構化彈載軟件開發(fā)及驗證平臺的總體用例圖如圖 3.1所示。

用例圖,代碼生成,抽象層,活動圖


協(xié)議抽象層代碼生成活動圖

【參考文獻】:
期刊論文
[1]PHP開發(fā)中MVC模式的應用研究[J]. 楊婷婷.  淮南職業(yè)技術學院學報. 2018(06)
[2]基于模板的管理信息系統(tǒng)代碼自動生成[J]. 陳海郎.  價值工程. 2018(32)
[3]自動代碼生成技術的發(fā)展現(xiàn)狀與趨勢[J]. 王博,舒新峰,王小銀,陳銳.  西安郵電大學學報. 2018(03)
[4]軟件測試概述[J]. 趙偉.  計算機產(chǎn)品與流通. 2018(03)
[5]面向水利信息化項目的自動代碼生成器的設計與實現(xiàn)[J]. 徐朝輝,金斌斌,蔡華,王云龍.  電腦迷. 2017(12)
[6]靜態(tài)代碼缺陷定位技術研究[J]. 張亞楠,謝冬紅,邵學彬.  信息與電腦(理論版). 2017(23)
[7]基于項目開發(fā)的代碼生成工具設計[J]. 肖寒,鐘巍,王保健.  信息與電腦(理論版). 2017(19)
[8]基于管理信息系統(tǒng)的代碼自動生成技術分析[J]. 朱超.  微型電腦應用. 2017(02)
[9]基于代碼自動生成技術的變電站自動化系統(tǒng)軟件開發(fā)與實現(xiàn)[J]. 汪溢,余曉明,馬凱,張靜,單超.  電氣自動化. 2016(04)
[10]從模型到自動代碼生成的彈載飛行控制器設計[J]. 徐鐵軍,黃超凡,徐天蒙,王改堂,葉錦函.  彈箭與制導學報. 2015(06)

碩士論文
[1]基于靜態(tài)分析技術的PHP代碼自動化缺陷檢測工具的研究與設計[D]. 邱子謹.北京郵電大學 2018
[2]代碼靜態(tài)分析工具的能力評估與集成優(yōu)化技術研究[D]. 張麗.國防科學技術大學 2017
[3]一種C語言靜態(tài)代碼檢測工具的研究與實現(xiàn)[D]. 皮基慶.北京郵電大學 2015
[4]基于靜態(tài)分析的PHP代碼缺陷檢測[D]. 霍志鵬.北京郵電大學 2015
[5]自動化代碼靜態(tài)分析平臺的設計與實現(xiàn)[D]. 楊碩琳.西安電子科技大學 2014
[6]基于Cppcheck軟件缺陷模式的研究與定位[D]. 張仕金.重慶大學 2014
[7]基于模板的代碼自動生成系統(tǒng)的研究與實現(xiàn)[D]. 夏云龍.沈陽理工大學 2010
[8]彈載計算機測試系統(tǒng)通用軟件平臺設計[D]. 金玉紅.同濟大學 2007
[9]基于模板的自動代碼生成技術的研究[D]. 管太陽.電子科技大學 2007



本文編號:3396948

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/kejilunwen/ruanjiangongchenglunwen/3396948.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權申明:資料由用戶41248***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com