首页 | 官方网站   微博 | 高级检索  
     

宿主环境下嵌入式软件白盒测试方法
引用本文:范琳,王忠民.宿主环境下嵌入式软件白盒测试方法[J].西安邮电学院学报,2014(5):106-111.
作者姓名:范琳  王忠民
作者单位:西安邮电大学计算机学院,陕西西安710121
基金项目:国家自然科学基金资助项目(61373116); 西安邮电大学青年基金资助项目(103-0458)
摘    要:针对嵌入式系统软硬件开发不同步的问题,提出一种宿主环境下嵌入式软件白盒测试方法。采用基于顺序块的插桩方法来实现语句覆盖测试,采用基于逻辑树的插桩方法来实现分支覆盖测试,在被测程序运行过程中由嵌入式模拟器实时发送桩信息到分析器,由分析器计算得到语句与分支覆盖率。实验表明,该方法能实时获取嵌入式软件测试过程中的语句和分支覆盖率,测试效果良好。

关 键 词:嵌入式模拟器  顺序块  逻辑树  插桩  白盒测试

Research on host-based white-box testing of embedded software
FAN Lin,WANG Zhongmin.Research on host-based white-box testing of embedded software[J].Journal of Xi'an Institute of Posts and Telecommunications,2014(5):106-111.
Authors:FAN Lin  WANG Zhongmin
Affiliation:(School of Computer Science and Technology, Xi'an University of Posts and Telecommunications, Xi'an 710121, China)
Abstract:An embedded software testing method based on hosting platform is proposed for in-depth study of white-box testing of embedded software technology.An instrumentation method based on sequence block is brought forward to do statement coverage testing,which can effective-ly reduce the number of stubs and thus reduce the impact of the testing process.An instrumenta-tion method based on Logic tree is proposed to do branch coverage test.After instrumentation, the program is run on ARMulator.Stub information is analysed by the stub receiver in real time to get the statement and branch coverage.An embedded software testing platform is developed for the ARM-Test.The experiemtns show that ARM-Test can get real-time statement and branch coverage,and do effective white-box testing.
Keywords:embedded system simulator  sequence block  logic tree  instrumentation  white-box testing
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号