Embedded software testing technology based on all-digital simulation
-
摘要: 为了对实时嵌入式软件进行更好的测试，提出了一种基于全数字仿真的整体仿真技术.该项技术解决了现有软件测试环境中的两大功能性问题：通过将仿真时钟作为基准时间解决了断点影响实时信号处理的问题；通过提出的“动态桩”方法解决了单元测试时缺乏必要支持函数的问题.利用无损压缩原理对整个仿真测试平台进行优化，改变了仿真平台的低效问题，使这一技术走向实用化.整体仿真技术支持从单元测试到集成测试的整个软件测试过程，增强了在单元测试期间发现异常实时信号处理等方面软件问题的能力，显著提升集成测试的效率，并且实现了测试脚本的复用.该平台已经在某型号系列飞控软件的测试中得到应用.Abstract: 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 resolved, 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 real-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.
-
Key words:
- software testing /
- embedded software /
- simulators
-
[1] Madni A M,Jackson S.Towards a conceptual framework for resilience engineering[J].Systems Journal,2009,3(2):181-191 [2] DO-178B Software considerations in airborne systems and equipment certification[S] [3] Yue J,Harman M.An analysis and survey of the development of mutation testing[J].IEEE Transactions on Software Engineering,2011,37(5):649-678 [4] Becker 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 Networks (DSN).Washington DC:IEEE Computer Society,2012: 1-12 [5] Chiang M C,Yeh T C,Tseng G F.A QEMU and system C-based cycle-accurate ISS for performance estimation on SoC development[J].IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems,2011,30(4):593-606 [6] Vermeulen B.Functional debug techniques for embedded systems[J].IEEE Design Test of Computers,2008,25(3):208-215 [7] Jonathan B R.How debuggers work:algorithms,data structures,and architecture[M].New York:John Wiley & Sons Inc,1996 [8] Eilam E.Reversing:secrets of reverse engineering[M].New York:John Wiley & Sons Inc,2005 [9] Mackinnon T,Freeman S,Craig P.Endo-testing: unit testing with mock objects[M]//Succi G,Marchesi M.Extreme Programming Examined.Boston,MA:Addison-Wesley Longman Publishing Co,2001:287-301 [10] Ebert C,Jones C.Embedded software:facts,figures,and future[J].Computer,2009,42(4):42-52 [11] Gschwind M,Kemal E,Erik A,et al.Binary translation and architecture convergence issues for IBM system/390[C]//John Reynders.Proceedings of the 14th International Conference on Supercomputing.Santa Fe:ACM,2000:336-347 -
点击查看大图
计量
- 文章访问数: 1058
- HTML全文浏览量: 72
- PDF下载量: 599
- 被引次数: 0
下载:
