Browse > Article
http://dx.doi.org/10.3745/KTSDE.2017.6.7.361

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

Choi, WooWon (아주대학교 전자공학과)
Chung, Kihyun (아주대학교 전자공학과)
Choi, Kyunghee (아주대학교 소프트웨어학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.6, no.7, 2017 , pp. 361-370 More about this Journal
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
Embedded System; Testing; Feedback; Test Case; HILS;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 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.
2 Kyoung Jin Kim, "Reconfigurable test execution machine for embedded system," KIPS Tr. Software and Data Eng., Vol. 3, No.7, pp.243-254, 2014.   DOI
3 Paik Jun Hyun, "Test Executor and Testing Platform performance improvement suggestions using the UDP," The Institute of Communication Sciences, pp.1532-1533, 2015.
4 A. P. Mathur, "Foundations of Software Testing," Pearson Education, 2008.
5 National Instrument, RTOS [Internet], http://www.whitepaper/3938/ko/.
6 MATLAB, Simulink Stateflow [Internet], http://www.mathworks.com/products/stateflow, 1994-2016, The Mathworks Inc.
7 National Instruments, TDMS [Internet], http://www.ni.com/white-paper/3727/ko/.
8 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.
9 Ji-Hyun Lee, "Test Case Generation Technique for Interoperability Testing," Journal of Korea Information Science Society, Vol.33, No.1, pp.44-58, 2006.
10 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.
11 Wikipedia [Internet], http://en.wikipedia.org/wiki/Ariane_5_Flight_501.
12 Wikipedia [Internet], https://en.wikipedia.org/wiki/Sudden_unintended_acceleration.
13 Glenford J Myers, Corey Sandler and Tom Badgett, "The Art of Software Testing," Wiley 3 edition, pp.49-84, 2012.
14 Glenford J Myers, Corey Sandler, and Tom Badgett, "The Art of Software Testing," Wiley 3 edition, pp.42-49, 2012.
15 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.
16 Janusz Rajski and Jerzy Tyszer, "Arithmetic Built-In Self-Test for Embedded Systems," Prentice Hall, 1997.
17 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.
18 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.   DOI
19 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.
20 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.
21 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.
22 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.   DOI
23 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.