Embedded Software Simulation Testing Virtual Machine: Design and Application

Embedded software testing is a hot topic in software testing field. It is a challenge to enhance the generalization, portability, and maintainability of embedded software testing environment (ESTE). In this paper, by applying virtual machine technology into embedded software simulation testing, a custom-build embedded software simulation testing virtual machine (ESSTVM) which is composed of data type, memory management, task management, communication, testing instruction set and testing files is presented firstly. And then, ESSTVM was applied in design of avionics software testing environment (ASTE). Based on the description of architecture of ASTE, the design and implementation of the testing development system and testing execution system are put forward. Practical application of ASTE in engineering shows that the method can improve the generalization, portability, and maintainability of ESSTE effectively. Next research steps are put forward to improve the real-time capacity and efficiency of testing execution system and extend it to be distributed.

[1]  Raymond A. Paul,et al.  Adaptive scenario-based object-oriented test frameworks for testing embedded systems , 2002, Proceedings 26th Annual International Computer Software and Applications.

[2]  Kenneth B. Kent,et al.  An Embedded Java Virtual Machine Using Network-on-Chip Design , 2006, Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06).

[3]  Xia Rui.  Study on a Parallel Test System Based on Multi-Core , 2008 .

[4]  Bo Jiang,et al.  MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices , 2007, AST.

[5]  Shingo Takada,et al.  Regression test selection based on intermediate code for virtual machines , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

[6]  Li Qin,et al.  Research and Design on Hypervisor Based Virtual Computing Environment , 2007 .

[7]  Paul Ammann,et al.  Abstracting formal specifications to generate software tests via model checking , 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

[8]  M. Levesque,et al.  Test Execution Control Tool: automating testing in spacecraft integration and test environments , 2000, 2000 IEEE Aerospace Conference. Proceedings (Cat. No.00TH8484).

[9]  Bill Blunden.  Virtual Machine Design and Implementation in C/C++ with Cdrom , 2002 .

[10]  Kenneth B. Kent,et al.  Rapid prototyping of a co-designed Java virtual machine , 2004, Proceedings. 15th IEEE International Workshop on Rapid System Prototyping, 2004..

[11]  Young-Min Lee,et al.  Real-time Java virtual machine for information appliances , 2000, IEEE Trans. Consumer Electron..