弹载软件开发中的代码自动生成与验证技术研究

发布时间：2021-09-15 22:40

　　近几年来,导弹战术的技术性能指标日益提高,对使用环境的要求也越来越严格,弹载软件在具备了更好的实时性、可靠性和可重构能力之后将向着多功能、智能化的方向发展。在传统的开发过程中,很多控制软件都采用到了代码自动生成技术,如果能够将代码自动生成技术同弹载软件的开发结合起来,将会极大地提高弹载软件的开发效率,为弹载软件开发人员留出更多的时间去开展开发之外的工作,诸如软件测试以及软件系统框架的优化。同时,在弹载软件的开发中应用静态代码分析技术可以在不执行代码的情况下保证生成代码的安全性、规范性、可靠性和可维护性,确保代码可以正确编译执行。在以往的开发模式中,弹载软件都会被逐个开发,不仅费时,而且还极大地耗费了开发人员的精力。本课题考虑到弹载软件开发平台对于不同弹载软件所具备的通用性,通过分析不同弹载软件之间的相似性,拟开发一款结构化的弹载软件开发及验证平台,该平台为用户提供可视化图形界面以用于对接口设备、通信协议、流程、特殊流程和可重用算法构件进行配置,平台基于预先定制好的代码模板,根据用户配置的一系列信息进行代码的自动生成与优化,从而得到可正确编译执行的软件代码,弹载软件开发人员在自动生成代码... 

【文章来源】：西安电子科技大学陕西省 211工程院校 教育部直属院校

【文章页数】：81 页

【学位级别】：硕士

【部分图文】：

平台使用的MVC关系图

西安电子科技大学硕士学位论文表 3.1（续表）序号 功能需求分析10可存储弹载软件输出数据，使用如 Excel 文件或文本文件的格式进行输出数据的存储。11对生成的代码提供规则检查并提供静态分析功能，并给出分析结果，在平台中集成 QAC 静态代码测试工具，进行代码的规则检查并显示测试结果。根据上述系统需求分析，结构化弹载软件开发及验证平台的总体用例图如图 3.1所示。

协议抽象层代码生成活动图

【参考文献】：
期刊论文
[1]PHP开发中MVC模式的应用研究[J]. 杨婷婷.  淮南职业技术学院学报. 2018(06)
[2]基于模板的管理信息系统代码自动生成[J]. 陈海郎.  价值工程. 2018(32)
[3]自动代码生成技术的发展现状与趋势[J]. 王博,舒新峰,王小银,陈锐.  西安邮电大学学报. 2018(03)
[4]软件测试概述[J]. 赵伟.  计算机产品与流通. 2018(03)
[5]面向水利信息化项目的自动代码生成器的设计与实现[J]. 徐朝辉,金斌斌,蔡华,王云龙.  电脑迷. 2017(12)
[6]静态代码缺陷定位技术研究[J]. 张亚楠,谢冬红,邵学彬.  信息与电脑(理论版). 2017(23)
[7]基于项目开发的代码生成工具设计[J]. 肖寒,钟巍,王保健.  信息与电脑(理论版). 2017(19)
[8]基于管理信息系统的代码自动生成技术分析[J]. 朱超.  微型电脑应用. 2017(02)
[9]基于代码自动生成技术的变电站自动化系统软件开发与实现[J]. 汪溢,余晓明,马凯,张静,单超.  电气自动化. 2016(04)
[10]从模型到自动代码生成的弹载飞行控制器设计[J]. 徐铁军,黄超凡,徐天蒙,王改堂,叶锦函.  弹箭与制导学报. 2015(06)

硕士论文
[1]基于静态分析技术的PHP代码自动化缺陷检测工具的研究与设计[D]. 邱子谨.北京邮电大学 2018
[2]代码静态分析工具的能力评估与集成优化技术研究[D]. 张丽.国防科学技术大学 2017
[3]一种C语言静态代码检测工具的研究与实现[D]. 皮基庆.北京邮电大学 2015
[4]基于静态分析的PHP代码缺陷检测[D]. 霍志鹏.北京邮电大学 2015
[5]自动化代码静态分析平台的设计与实现[D]. 杨硕琳.西安电子科技大学 2014
[6]基于Cppcheck软件缺陷模式的研究与定位[D]. 张仕金.重庆大学 2014
[7]基于模板的代码自动生成系统的研究与实现[D]. 夏云龙.沈阳理工大学 2010
[8]弹载计算机测试系统通用软件平台设计[D]. 金玉红.同济大学 2007
[9]基于模板的自动代码生成技术的研究[D]. 管太阳.电子科技大学 2007



本文编号：3396948