KIPS Transactions on Software and Data Engineering (정보처리학회논문지:소프트웨어 및 데이터공학)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Architecture for Simulink/Stateflow Model Based Test Case Generation Considering Feedback

피드백을 고려한 테스트 케이스 생성 시스템 구조

  • Received : 2016.10.21
  • Accepted : 2017.01.02
  • Published : 2017.07.31
Download PDF
⟨ Previous Next ⟩

Abstract

This paper proposes the architecture of test case generator that can generate test cases, considering feedback signals from subsystems controlled by an embedded system. In general, a closed system decides the next test input to its subsystem under its control referencing feedback signals from its subsystem. In such systems, it is hard to use the typical test cases generated without referencing feedback. The architecture proposed in this paper re-produces test cases in real time using feedback signals. The architecture is implemented and its effectiveness is verified through experimenting a demo system.

본 논문은 임베디드 시스템이 제어하는 서브시스템의 실시간 피드백을 반영하여 테스트 케이스를 생성할 수 있는 테스트 생성기 구조를 제안한다. 일반적으로 폐쇄형 임베디드 시스템은 자신이 제어하는 서브시스템의 피드백을 참조하여 서브시스템의 다음 상태를 제어하는 값을 결정한다. 그와 같은 시스템에서는, 피드백을 고려하지 않는 전통적인 테스트 케이스는 사용하기 어렵다. 본 논문에서 제안하는 테스트 케이스 생성기 구조는 서브시스템의 피드백을 이용하여 다음에 사용할 테스트 케이스를 실시간 재구성한다. 제안하는 구조를 구현하고 데모 시스템을 이용하여 유용성을 검증한다.

Keywords

References

  1. Seungbae Sim and Cheonsoo Yoo, "Software Process Improvement for Defense System Safety," Korean Institute of Information Scientists And Engineers, Conference Procedding, pp.94-96, 2015.12.
  2. Wikipedia [Internet], http://en.wikipedia.org/wiki/Ariane_5_Flight_501.
  3. Wikipedia [Internet], https://en.wikipedia.org/wiki/Sudden_unintended_acceleration.
  4. Glenford J Myers, Corey Sandler and Tom Badgett, "The Art of Software Testing," Wiley 3 edition, pp.49-84, 2012.
  5. Glenford J Myers, Corey Sandler, and Tom Badgett, "The Art of Software Testing," Wiley 3 edition, pp.42-49, 2012.
  6. Janusz Rajski and Jerzy Tyszer, "Arithmetic Built-In Self-Test for Embedded Systems," Prentice Hall, 1997.
  7. M. Schlager, W. Elmenreich, and I. Wenzel, "Interface design forhardware-in-the-loop simulation," in Proc. IEEE International Symposium on Industrial Informatics (ISIE 2006), Vol.2, pp.1554-1559, Montreal, Canada, July, 2006.
  8. Yervant Zorian, "Built-In-Self-Test," Microelectronic Engineering, Elsevier Publishers, BV., Amsterdam, NL, Vol. 49, No.1-2, pp.135-138, Nov., 1999, XP004182057, ISSN: 0167-9317. https://doi.org/10.1016/S0167-9317(99)00434-7
  9. Paul Baker, Zhen Ru Dai, Jens Grabowski, Oystein Haugen, Ina Schieferdecker, and Clay Williams, "Model-Driven Testing Using the UML Testing Profile," Springer, pp.7-8, 2008.
  10. So-Young Jeong, "Test Case Generation Technique Based on State Transition Model for Embedded System," Journal of Korean Institute of Information Technology, Vol.9, No.4, pp.11-21, 2011.
  11. J. R. Noseworthy, "The Test and Training Enabling Architecture (TENA) Supporting the Decentralized Development of Distributed Applications and LVC Simulations," In 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, pp.259-268, October, 2008.
  12. Maneesh Varshney, Kent Pickett, and Rajive Bagrodia, "A Live-Virtual-Constructive(LVC) Framework for Cyber Operations Test, Evaluation and Training," Military Communications Conference, pp.1387-1392, 2011.
  13. Sung-Chan Song, Young-Jin Na, and Tae-Hwan Yoon, "The Development of HILS and Test Equipment for Millimeter-Wave (Ka-Band) Seeker's Test and Evaluation," The Journal of Korean Institute of Electromagnetic Engineering and Science, Vol.23, No.1, pp.47-55, 2012. https://doi.org/10.5515/KJKIEES.2012.23.1.047
  14. Soo-Jin Lee, "Development of a Hardware-in-the-loop Simulator for ABS ECU Using xPC Target and Virtual Reality Toolbox of MATLAB," The Korean Society of Automotive Engineers, Vol.3, pp.1493-1498, 2002.
  15. Yang Inseok, "Test Execution Machine Development Research to Perform a test of multiple," The Institute of Electronics and Information Engineers, Vol.37, No.1, pp. 1732-1734, 2014.
  16. Kyoung Jin Kim, "Reconfigurable test execution machine for embedded system," KIPS Tr. Software and Data Eng., Vol. 3, No.7, pp.243-254, 2014. https://doi.org/10.3745/KTSDE.2014.3.7.243
  17. Paik Jun Hyun, "Test Executor and Testing Platform performance improvement suggestions using the UDP," The Institute of Communication Sciences, pp.1532-1533, 2015.
  18. A. P. Mathur, "Foundations of Software Testing," Pearson Education, 2008.
  19. National Instrument, RTOS [Internet], http://www.whitepaper/3938/ko/.
  20. MATLAB, Simulink Stateflow [Internet], http://www.mathworks.com/products/stateflow, 1994-2016, The Mathworks Inc.
  21. National Instruments, TDMS [Internet], http://www.ni.com/white-paper/3727/ko/.
  22. Corina S. Pasareanu, Johann Schumann, Peter Mehlitz, Mike Lowry, Gabor Karsai, Harmon Nine, and Sandeep Neema, "Model Based Analysis and Test Generation for Flight Software," Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology, pp.83-90, July, 19-23, 2009.
  23. Ji-Hyun Lee, "Test Case Generation Technique for Interoperability Testing," Journal of Korea Information Science Society, Vol.33, No.1, pp.44-58, 2006.