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

来源 :信息与电脑(理论版) | 被引量 : 0次 | 上传用户:bassdd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过分析军用嵌入式软件测试代码审查的现状,针对目前军用嵌入式软件代码审查的不足,提出一种基于通用代码审查标准与应用领域的知识相结合的代码审查方法,该方法在军用嵌入式软件应用领域根据软件的需求、功能进行分类优化,订制个性代码审查标准。通过此方法能够高效地发现特定领域代码的缺陷问题,提升军用嵌入式软件代码审查的效率和质量。该方法的引入对军用嵌入式软件的代码审查水平的提高有一定的应用价值。
其他文献
以多模态话语分析理论为依据,定性定量分析了一节商标翻译课各环节及PPT课件中的话语模态、听觉模态、视觉模态素材间的关系。伴语言模态在问候、导入等环节与话语主模态间为
近期,由于接连出现环保问题,在中央政府下令根治电池行业存在的重金属污染问题后,浙江、广东、福建、河南和四川等省份的大部分电池厂已被关闭。
2013年3月16日,东莞市乐科电子有限公司(下称乐科)在公司总部举行主题为“独特设计创民族品牌”的“乐科模块化UPSEPS科技成果新闻发布会”,百余躬电源行业客户、渠道商以及媒体
镍是重要的战略资源。随着国内镍消费需求的不断增长,从国外进口镍矿生产镍初级产品越来越具有吸引力。分析镍矿资源和市场需求及供应状况,讨论利用海外镍矿的可行性、必要性
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
<正> 氨基漆是一种高档的轿车及机械用漆,它具有良好的光泽及物理化学性能,在使用的过程中漆膜颜色不再变深。这些优点是涂料中所用的成膜树脂所不具备的。但是该漆必须经过1
近日,科士达RP系列高端模块化UPS、配套防漏液安全专利铅酸蓄电池及PDU产品成功进驻成都市中级人民法院中心机房,将为机房核心负载提供高可靠、高扩展性绿色节能电源保护方案。
2009-2010年全球传感器技术发展凸显出MEMS技术广泛应用及纳米传感器市场前景广阔两个基本特点。在过去的一年中,全球各类传感器在光传感器、温度传感器、半导体传感器和光纤
APC在UPS市场给人的印象一直是“质高价也不低”。但最近,APC-举将Smart—UPS功率范围从。700VA到10kVA的产品价格全面下调,覆盖Smart—UPS塔式、机架式、RT(塔式机架式可转换)
近日,在我国多省市发布的“2011年政府工作报告”中可以看到,物联网、三网融合、云计算等新兴产业均被重点提及,物联网等新兴产业在政府未来发展工作中已占据明显地位。各省市政