航天器C语言软件常见编程错误分析及检测方法研究

来源 :空间控制技术与应用 | 被引量 : 0次 | 上传用户：lszll2008

【摘要】

：

基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出

【作者】

：

侯成杰

【机构】

：

北京控制工程研究所

【出处】

：

空间控制技术与应用

【发表日期】

：

2013年6期

【关键词】

：

航天器软件 C语言编程错误软件安全漏洞代码分析 spacecraft software C language programming error safe

【基金项目】

：

国家自然科学基金资助项目（F020208）.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.

其他文献

砾石层覆盖区煤田高精度三维地震勘探技术在张家口蔚县单侯井田的应用

以张家口蔚县单侯井田三维地震勘探为例,在松散厚砾石层覆盖区使用可控震源组合激发进行三维地震勘探,获得了较高质量的原始资料。地震资料经精细处理及三维多属性地质解释,

期刊

砾石层覆盖区三维地震可控震源gravel layer covering area 3D seismic vibroseis

碰撞下的火花——从猜想到证明

在数学问题的解决过程中，猜想很重要，它是形成解决思路的必由之路．而猜想之后需要我们细心求证，逐步完善，思维的碰撞会发挥其巨大威力．

期刊

猜想碰撞证明火花数学问题细心

环境友好型内墙涂料的研究

分析了内墙涂料中挥发性有机化合物(VOC)、游离甲醛、重金属等可能来源,提出解决方案,制备出低VOC、无重金属及游离甲醛环境友好型内墙涂料,本项目的研究对内墙涂料的发展有

期刊

VOC涂料聚合物甲醛重金属

企业税收负担的国际趋同研究

企业税收负担的地域差异问题一直备受关注。通过欧式距离和切比雪夫距离构建企业税收负担的国际趋同度模型,选取企业利润税收负担率和企业筹纳税所需时间两个指标,基于172个

期刊

企业税收负担国际税收竞争趋同度

“盛世”背后的意识形态局部认同危机——以《叫魂》为参照

意识形态局部认同危机是指人们对政治社会的主流价值观持一定程度的怀疑态度。《叫魂》勾勒了一幅因底层民间社会的“叫魂”事件而引起的自上而下的“全社会恐慌”。这种恐慌

期刊

局部认同危机恐慌意识形态

航天器C语言软件常见编程错误分析及检测方法研究

其他学术论文