期刊文献+

基于全数字仿真的嵌入式软件测试技术 被引量:2

Embedded software testing technology based on all-digital simulation
原文传递
导出
摘要 为了对实时嵌入式软件进行更好的测试,提出了一种基于全数字仿真的整体仿真技术.该项技术解决了现有软件测试环境中的两大功能性问题:通过将仿真时钟作为基准时间解决了断点影响实时信号处理的问题;通过提出的"动态桩"方法解决了单元测试时缺乏必要支持函数的问题.利用无损压缩原理对整个仿真测试平台进行优化,改变了仿真平台的低效问题,使这一技术走向实用化.整体仿真技术支持从单元测试到集成测试的整个软件测试过程,增强了在单元测试期间发现异常实时信号处理等方面软件问题的能力,显著提升集成测试的效率,并且实现了测试脚本的复用.该平台已经在某型号系列飞控软件的测试中得到应用. For the test of real-time embedded system, the integrated all-digital simulation technology was proposed, which can resolve two functional problems in current software testing environment: ①Taking the simulation clock as the time reference, the synchronization due to setting break points was resolved; ② the "dynamic stub" approach was designed to drive the unit-testing for the embedded program that may not be complete, i.e. lack of supporting functions, like library. Furthermore, by significantly reducing judgments in each clock cycle using the lossless compression, the efficiency problem of the simulation platform was re- solved, which promotes the practicability of this technology. The integrated simulation technology supports the whole test process from unit test to the integrated test, which strengthens ability of finding software bugs in re-al-time signal exception processing, improves the efficiency of system-level software testing, and achieves the reuse of test scripts. The platform has been applied to the testing of flight control software.
作者 刘辉 金茂忠
出处 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2014年第3期394-400,共7页 Journal of Beijing University of Aeronautics and Astronautics
关键词 软件测试 嵌入式软件 仿真器 software testing embedded software simulators
  • 相关文献

参考文献11

  • 1Madni A M,Jackson S. Towards a conceptual framework for re- silience engineering[ J]. Systems Journal,2009,3 (2) :181 - 191.
  • 2DO-178B Software considerations in airborne systems and equip- ment certification [ S ].
  • 3Yue J,Harman M. An analysis and survey of the development of mutation testing [ J ]. IEEE Transactions on Software Engineer- ing, 2011,37 ( 5 ) : 649 - 678.
  • 4Becket M,Kuznik C, Joy M M, et al. Binary mutation testing through dynamic translation [ C ]//Robert Swarz. Proceedings of the International Canference on Dependable Systems and Net- works (DSN). Washington DC : IEEE Computer Society, 2012 1 -12.
  • 5Chiang M C ,Yeh T C ,Tseng G F. A QEMU and system C-based cycle-accurate ISS for performance estimation on SoC develop- ment[ J]. IEEE Transactions on Computer-aided Design of Inte- grated Circuits and Systems,2011,30 ( 4 ) : 593 - 606.
  • 6Vermeulen B. Functional debug techniques for embedded systems [ J ]. IEEE Design Test of Computers ,2008,25 ( 3 ) :208 - 215.
  • 7Jonathan B R. How debuggers work : algorithms, data structures, and architecture[ M ]. New York:John Wiley & Sons Inc, 1996.
  • 8Eilam E. Reversing: secrets of reverse engineering [ M ]. New York :John Wiley & Sons Inc,2005.
  • 9Mackinnon T, Freeman S, Craig P. Endo-testing: unit testing with mock objects[ M]//Succi G, Marchesi M. Extreme Pro- gramming Examined. Boston, MA: Addison-Wesley Longman Publishing Co,2001:287 - 301.
  • 10Ebert C, Jones C. Embedded software : facts, figures, and future [ J ]. Computer,2009,42 (4) :42 - 52.

同被引文献15

引证文献2

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部