| 嵌入式汇编程序静态分析研究 |
| |
| 引用本文： | 史翠红.嵌入式汇编程序静态分析研究[J].航天返回与遥感,2008,29(1):59-62. |
| |
| 作者姓名： | 史翠红 |
| |
| 作者单位： | 北京空间机电研究所,北京,100076 |
| |
| 摘 要： | 在航天领域,嵌入式应用软件必须具备高可靠性,而测试是保证软件质量的重要手段,静态分析技术是一种重要的测试技术.文章介绍了静态分析技术的相关概念,实现工具的发展和现状,指出了出嵌入式汇编语言静态分析工具的研究重点和方向,为更深入地研究和使用这些工具提供了参考.
|
| 关 键 词： | 静态分析 嵌入式汇编程序 软件测试 航天工程 |
| 修稿时间： | 2008年1月8日 |
Static Analysis for Embedded Assembly Program |
| |
| Shi Cuihong.Static Analysis for Embedded Assembly Program[J].Spacecraft Recovery & Remote Sensing,2008,29(1):59-62. |
| |
| Authors: | Shi Cuihong |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
