特型软件代码审查方法在军用嵌入式软件领域应用研究

发布时间：2017-08-23 15:29

  本文关键词：特型软件代码审查方法在军用嵌入式软件领域应用研究

  更多相关文章： 代码审查 军用嵌入式软件 特型软件代码审查方法

【摘要】：通过分析军用嵌入式软件测试代码审查的现状,针对目前军用嵌入式软件代码审查的不足,提出一种基于通用代码审查标准与应用领域的知识相结合的代码审查方法,该方法在军用嵌入式软件应用领域根据软件的需求、功能进行分类优化,订制个性代码审查标准。通过此方法能够高效地发现特定领域代码的缺陷问题,提升军用嵌入式软件代码审查的效率和质量。该方法的引入对军用嵌入式软件的代码审查水平的提高有一定的应用价值。
【作者单位】： 中国空空导弹研究院;
【关键词】： 代码审查 军用嵌入式软件 特型软件代码审查方法
【分类号】：TP311.53
【正文快照】： 引言军用嵌入式软件更新发展速度的加快,软件复杂程度的增加、规模的增大,软件的开发周期却越来越短,随着近代航空武器系统的不断发展,军用嵌入式软件在军用产品中得到广泛应用。软件质量的好坏直接影响着产品的价值,如何提高军用嵌入式软件的质量就显得极为重要。软件测试技

【相似文献】

中国期刊全文数据库 前10条

1 叶雨新;“嵌入式”与我们的机遇──发展嵌入式软件的几点思考[J];软件世界;2001年03期

2 李岩;嵌入式软件技术的现状与发展动向[J];辽宁高职学报;2002年03期

3 钟锡昌;嵌入式软件面临良好发展机遇[J];科技广场;2003年06期

4 苏珊 ,依然;好产品是卖出来的——“道系统”自主知识产权的嵌入式软件产品[J];电子设计应用;2003年Z1期

5 王继春;嵌入式软件及其应用领域与发展趋势[J];信息技术与信息化;2004年04期

6 方天选;浅谈嵌入式软件[J];山西电子技术;2004年05期

7 吴朝晖;;嵌入式软件发展的十个观点[J];计算机教育;2005年05期

8 彭敏;嵌入式软件:人才仍是关键[J];软件世界;2005年11期

9 吴朝晖;嵌入式软件发展趋势[J];电子产品世界;2005年03期

10 ;嵌入式软件,“嵌入”了什么?[J];软件世界;2006年10期

中国重要会议论文全文数据库 前10条

1 苏运霖;;智能嵌入式软件初探[A];第十届全国电工数学学术年会论文集[C];2005年

2 刘华;;通信设备嵌入式软件可靠性研究[A];第九届中国通信学会学术年会论文集[C];2012年

3 杨云松;孙旭光;梅文华;;嵌入式软件的加解密分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年

4 曹松;李慧军;惠平;;航天嵌入式软件的发展趋势[A];中国空间科学学会空间探测专业委员会第十六次学术会议论文集（下）[C];2003年

5 贡岩;黄琳;;指挥自动化系统嵌入式软件可靠性评估[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年

6 张志刚;;基于动态跟踪模式的军用嵌入式软件需求质量改进方法研究[A];质量——持续发展的源动力：中国质量学术与创新论坛论文集（下）[C];2010年

7 毕经存;;一种实用的嵌入式软件测试方法研究[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年

8 刘旭;谢家强;林岚;;建立嵌入式软件出口统计目录的探讨[A];国际服务贸易评论（总第7辑）[C];2013年

9 范东丽;孙长嵩;;嵌入式软件的测试策略初探[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（下）[C];2006年

10 江乾坤;王泽霞;;嵌入式软件产品销售收入核算方法研究[A];中国会计学会高等工科院校分会2006年学术年会暨第十三届年会论文集[C];2006年

中国重要报纸全文数据库 前10条

1 孙爱民;倪光南：嵌入式软件是迈向创造的契机[N];中国电子报;2004年

2 王绍斌;嵌入式软件是个大市场[N];中国电子报;2004年

3 周娴;大连嵌入式软件走向黄金期[N];中国电子报;2004年

4 记者 杨庆广;中国力量谋划嵌入式软件[N];中国电子报;2005年

5 黄志敏;以嵌入式软件技术带动软件产业大发展[N];大连日报;2005年

6 顾汶;嵌入式软件成热点 行业标准亟待出台[N];中国高新技术产业导报;2005年

7 张伟;嵌入式软件产业 热豆腐不能急吃[N];中国高新技术产业导报;2005年

8 顾卫民;嵌入式软件契机乍现 高新区一马当先嗑[N];中国高新技术产业导报;2005年

9 ;韩国嵌入式软件市场扫描[N];中国计算机报;2004年

10 霍峰 孟繁;高新区全力打造嵌入式软件产业[N];青岛日报;2005年

中国博士学位论文全文数据库 前7条

1 徐丙凤;构件化嵌入式软件安全性分析方法研究[D];南京航空航天大学;2014年

2 孙福振;基于模型检查的嵌入式软件构件化分析与验证[D];北京理工大学;2015年

3 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年

4 夏一行;面向数字化仪器设备的嵌入式软件应用框架研究[D];浙江大学;2007年

5 郭兵;嵌入式软件开放式集成开发平台体系结构研究[D];电子科技大学;2002年

6 祝义;嵌入式软件需求规约到软件体系结构模型的转换研究[D];南京航空航天大学;2011年

7 高志刚;基于模型的汽车电子软件综合方法研究[D];浙江大学;2008年

中国硕士学位论文全文数据库 前10条

1 郭旺;嵌入式软件覆盖测试通用技术研究[D];西南大学;2015年

2 朱晏庆;卫星控制系统嵌入式软件虚拟化测试平台技术研究[D];上海交通大学;2014年

3 朱柯润;基于ARM的船用雷达嵌入式软件可靠性研究[D];电子科技大学;2014年

4 林红;实时系统嵌入式软件可靠性分析与测试案例研究[D];电子科技大学;2014年

5 赵少杰;数字示波器接口扩展模块嵌入式软件的设计与实现[D];电子科技大学;2014年

6 郭春荣;嵌入式Linux软件构建工具的设计与实现[D];中国科学院大学(工程管理与信息技术学院);2015年

7 郝旭;面向C语言的嵌入式软件能耗估算方法的研究与设计[D];东北大学;2014年

8 赵繁华;基于可信的某嵌入式软件自动化测试平台的设计与实现[D];北京工业大学;2015年

9 肖前远;航空嵌入式软件全数字仿真测试技术研究[D];南京航空航天大学;2010年

10 姜兆义;星载嵌入式软件集成开发环境设计与关键技术研究[D];国防科学技术大学;2004年

，

本文编号：725822