| 嵌入式软件静态测试技术研究 |
| |
| 引用本文： | 张晓晖,王忠民,王文浪.嵌入式软件静态测试技术研究[J].西安邮电学院学报,2011,16(2):38-41. |
| |
| 作者姓名： | 张晓晖 王忠民 王文浪 |
| |
| 作者单位： | 西安邮电学院,计算机学院,陕西,西安,710121 |
| |
| 基金项目： | 陕西省自然科学基础研究计划资助项目，西安市科技计划资助项目(CXY08017 |
| |
| 摘 要： | 针对嵌入式系统软件的特点,就嵌入式软件静态测试需要解决的关键技术问题进行研究。提出嵌入式软件的代码整理、静态分析和代码bug检测的实现方法,并在基于ARM的嵌入式软件宿主环境测试平台ARM-TestV1.0上测试实现。测试结果表明,所提出的嵌入式软件静态测试方法行之有效。
|
| 关 键 词： | 嵌入式软件 宿主环境 静态测试 bug检测 |
On the static testing technology of embedded software |
| |
| ZHANG Xiao-hui,WANG Zhong-min,WANG Wen-lang.On the static testing technology of embedded software[J].Journal of Xi'an Institute of Posts and Telecommunications,2011,16(2):38-41. |
| |
| Authors: | ZHANG Xiao-hui WANG Zhong-min WANG Wen-lang |
| |
| Affiliation: | ZHANG Xiao-hui,WANG Zhong-min,WANG Wen-lang(School of Computer and Science Technology,Xian University of Posts and Telecommunications,Xi'an 710121,China) |
| |
| Abstract: | Considering characteristics of embedded system software,the key technology that faces the static test of embedded software is studied.The implementation methods of code settling,static analysis,and bug detecting are put forward.An experimental test of these methods on ARM-Test V1.0,which is a test platform with embedded software host environment and is based on ARM(Advanced RISC Machines),is administered and the results show that these methods work well. |
| |
| Keywords: | embedded software host environment static test bug detection |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
