摘要
针对嵌入式系统软件的特点,就嵌入式软件静态测试需要解决的关键技术问题进行研究。提出嵌入式软件的代码整理、静态分析和代码bug检测的实现方法,并在基于ARM的嵌入式软件宿主环境测试平台ARM-TestV1.0上测试实现。测试结果表明,所提出的嵌入式软件静态测试方法行之有效。
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.
出处
《西安邮电学院学报》
2011年第2期38-41,共4页
Journal of Xi'an Institute of Posts and Telecommunications
基金
陕西省自然科学基础研究计划资助项目(SJ08-ZT14)
西安市科技计划资助项目(CXY08017(1))
