西安邮电学院学报
西安郵電學院學報
서안유전학원학보
JOURNAL OF XI’AN INSTITUTE OF POSTS AND TELECOMMUNICATIONS
2011年
2期
38-41
,共4页
嵌入式软件%宿主环境%静态测试%bug检测
嵌入式軟件%宿主環境%靜態測試%bug檢測
감입식연건%숙주배경%정태측시%bug검측
针对嵌入式系统软件的特点,就嵌入式软件静态测试需要解决的关键技术问题进行研究.提出嵌入式软件的代码整理、静态分析和代码bug检测的实现方法,并在基于ARN的嵌入式软件宿主环境测试平台ARM-Test V1.0上测试实现.测试结果表明,所提出的嵌入式软件静态测试方法行之有效.
針對嵌入式繫統軟件的特點,就嵌入式軟件靜態測試需要解決的關鍵技術問題進行研究.提齣嵌入式軟件的代碼整理、靜態分析和代碼bug檢測的實現方法,併在基于ARN的嵌入式軟件宿主環境測試平檯ARM-Test V1.0上測試實現.測試結果錶明,所提齣的嵌入式軟件靜態測試方法行之有效.
침대감입식계통연건적특점,취감입식연건정태측시수요해결적관건기술문제진행연구.제출감입식연건적대마정리、정태분석화대마bug검측적실현방법,병재기우ARN적감입식연건숙주배경측시평태ARM-Test V1.0상측시실현.측시결과표명,소제출적감입식연건정태측시방법행지유효.