嵌入式汇编程序静态分析研究  

Static Analysis for Embedded Assembly Program

作　　者：史翠红[1] 

机构地区：[1]北京空间机电研究所,北京100076

出　　处：《航天返回与遥感》2008年第1期59-62,共4页Spacecraft Recovery & Remote Sensing

摘　　要：在航天领域,嵌入式应用软件必须具备高可靠性,而测试是保证软件质量的重要手段,静态分析技术是一种重要的测试技术。文章介绍了静态分析技术的相关概念,实现工具的发展和现状,指出了出嵌入式汇编语言静态分析工具的研究重点和方向,为更深入地研究和使用这些工具提供了参考。In spaceflight, embedded software reliability had been getting enough attentions, Static analysis was one of the testing and evaluating technologies, which leaded to the high software quality and reliability. In this paper, static analysis technology was described and its tools were introduced. Before a solution was presented as a demonstration, researching focuses and directions in this field were pointed out.

关 键 词：静态分析 嵌入式汇编程序 软件测试 航天工程 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] TP313[自动化与计算机技术—计算机科学与技术]