IEMEK Journal of Embedded Systems and Applications (대한임베디드공학회논문지)

Institute of Embedded Engineering of Korea (대한임베디드공학회)
권호 표지
DOI QR코드

DOI QR Code

A Testing Technique based on Virtual Prototype for Embedded Software

가상 프로토타입 기반 임베디드 소프트웨어의 테스트 기법

  • Received : 2014.11.05
  • Accepted : 2014.11.26
  • Published : 2014.12.31
Download PDF
⟨ Previous Next ⟩

Abstract

Recently, software reliability and safety issues are seriously considered since failures of embedded systems may cause the damages of human lifes. For verifying and testing embedded software, execution environment including sensors and actuators should be prepared in the actual plants or virtual forms on PC. In this paper, we provide the virtual prototype based code simulation techniques and testing framework on PC. Virtual prototypes are generated by combining the Adobe's Flash SWF images corresponding to the state machine of HW or environment components. Code simulation on PC is possible by replacing the device drivers into virtual drivers which connect to virtual prototypes. Also, testing is performed by controlling the states of virtual prototype and simulators. By using these tools, embedded software can be executed in the earlier development phase and the efficiency and SW quality can be enhanced.

Keywords

References

  1. N. Ayewah, D. Hovemeyer, J.D. Morgenthaler, J. Penix, W. Pugh, "Using Static Analysis to Find Bugs," IEEE Software, Vol. 25, No. 5, pp. 22-29, 2008.
  2. W. Schilling, M. Alam, "A methodology for quantitative evaluation of software reliability using static analysis," Proceedings of Annual Reliability and Maintainability Symposium, pp. 399-404, 2008.
  3. T. Reinbacher, J. Brauer, M. Horauer, B. Schlich, "Refining assembly code static analysis for the Intel MCS-51 microcontroller," Proceedings of IEEE International Symposium on Industrial Embedded System, pp. 161-170, 2009.
  4. D. Melski, T. Teitelbaum, T. Reps, "Static Analysis of Software Executables," Proceedings of Conference For Homeland on Cybersecurity Applications & Technology, pp. 97-102, 2009.
  5. Y. Yin, B. Liu, "A Method of Test Case Automatic Generation for Embedded Software," Proceedings of International Conference on Information Engineering and Computer Science, pp. 1-5, 2009.
  6. H. Gross, P.M. Kruse, J. Wegener, T. Vos, "Evolutionary White-Box Software Test with the EvoTest Framework: A Progress Report," Proceedings of International Conference on Verification and Validation Workshops, pp. 111-120, 2009.
  7. T. Kanstren, "A Study on Design for Testability in Component-Based Embedded Software," Proceedings of International Conference on Software Engineering Research, Management and Applications, pp. 31-38, 2008.
  8. H. Qian, C. Zheng, "A Embedded Software Testing Process Model," Proceedings of International Conference on Computational Intelligence and Software Engineering, pp. 1-5, 2009.
  9. X. He, "Embedded systems based modular test automation," Proceedings of International Colloquium on Computing, Communication, Control and Management, pp. 83-86, 2009.
  10. T. Reinbacher, M. Kramer, M. Horauer, B. Schlich, "Motivating Model Checking of Embedded Systems Software," Proceedings of IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pp. 546-551, 2008.
  11. Z. Gu, K.G. Shin, "Model-checking of component-based event-driven real-time embedded software," Proceedings of IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 410-417, 2005.
  12. Android, "Managing Virtual Devices," http://developer.android.com/tools/devices/index.html
  13. Vector, "ECU Developement & Test - Vector," http://vector.com/vi_canoe_en.html
  14. MindStorms NXT, Lego MindStorms NXT robotics kit, http://www.nxtprograms.com/
  15. S.Y. Jang, J. Kim, W.J. Lee, "Development of SWF Based Virtual Prototyping Framework for Simulating Ubiquitous Systems," Lecture Notes in Electrical Engineering, Vol. 280, 2014.
  16. P. Hintjens, ZeroMQ: Messaging for Many Applications, O'Reilly, 2013