空间控制技术与应用
空間控製技術與應用
공간공제기술여응용
AEROSPACE CONTROL AND APPLICATION
2013年
6期
53-57
,共5页
航天器软件%C语言%编程错误%软件安全漏洞%代码分析
航天器軟件%C語言%編程錯誤%軟件安全漏洞%代碼分析
항천기연건%C어언%편정착오%연건안전루동%대마분석
基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.
基于軟件第三方評測髮現的問題,梳理併詳細分析瞭在航天器C語言軟件中6種常見編程錯誤.針對其中的軟件安全漏洞提齣瞭使用代碼分析技術的檢測方法,針對編程語言使用錯誤提齣瞭通過製定編程規則併使用代碼分析方法進行檢測的解決方法.採用上述方法可以有效檢測齣上述6種常見編程錯誤,併可以用于檢測軟件的其他嚴重錯誤.
기우연건제삼방평측발현적문제,소리병상세분석료재항천기C어언연건중6충상견편정착오.침대기중적연건안전루동제출료사용대마분석기술적검측방법,침대편정어언사용착오제출료통과제정편정규칙병사용대마분석방법진행검측적해결방법.채용상술방법가이유효검측출상술6충상견편정착오,병가이용우검측연건적기타엄중착오.