피드백을 고려한 테스트 케이스 생성 시스템 구조
Architecture for Simulink/Stateflow Model Based Test Case Generation Considering Feedback
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
본 논문은 임베디드 시스템이 제어하는 서브시스템의 실시간 피드백을 반영하여 테스트 케이스를 생성할 수 있는 테스트 생성기 구조를 제안한다. 일반적으로 폐쇄형 임베디드 시스템은 자신이 제어하는 서브시스템의 피드백을 참조하여 서브시스템의 다음 상태를 제어하는 값을 결정한다. 그와 같은 시스템에서는, 피드백을 고려하지 않는 전통적인 테스트 케이스는 사용하기 어렵다. 본 논문에서 제안하는 테스트 케이스 생성기 구조는 서브시스템의 피드백을 이용하여 다음에 사용할 테스트 케이스를 실시간 재구성한다. 제안하는 구조를 구현하고 데모 시스템을 이용하여 유용성을 검증한다.
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.
참고문헌 (23)
- Seungbae Sim, "Software Process Improvement for Defense System Safety", Korean Institute of Information Scientists And Engineers, Conference Procedding, pp.94~96 (2015)
- "Wikipedia"[URL]
- "Wikipedia"[URL]
- Glenford J Myers, "The Art of Software Testing", pp.49~84 (2012), Wiley
- Glenford J Myers, "The Art of Software Testing", pp.42~49 (2012), Wiley
- Janusz Rajski, "Arithmetic Built-In Self-Test for Embedded Systems" (1997), Prentice Hall
- M. Schlager, "Interface design forhardware-in-the-loop simulation", Proc. IEEE International Symposium on Industrial Informatics (ISIE 2006), 2, pp.1554~1559 (2006)
- Yervant Zorian, "Built-In-Self-Test", Microelectronic Engineering, 49(1-2), pp.135~138 (1999), Elsevier Publishers
- Paul Baker, "Model-Driven Testing Using the UML Testing Profile", pp.7~8 (2008), Springer
- 정소영, "임베디드 시스템을 위한 상태 전이 모델 기반 테스트 케이스 생성 기법", 한국정보기술학회논문지, 9(4), pp.11~21 (2011), 한국정보기술학회
- J. R. Noseworthy, "The Test and Training Enabling Architecture(TENA)Supporting the Decentralized Development of Distributed Applications and LVC Simulations", 12th IEEE, 2008, 259~268
- Maneesh Varshney, "A Live-Virtual-Constructive(LVC) Framework for Cyber Operations Test, Evaluation and Training", Military Communications Conference, pp.1387~1392 (2011)
- 송성찬, "밀리미터파 탐색기 시험 평가를 위한 HILS 및 시험 장비 개발", 한국전자파학회 논문지, 23(1), pp.47~55 (2012), 한국전자파학회
- 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, 3, pp.1493~1498 (2002)
- Yang Inseok, "Test Execution Machine Development Research to Perform a test of multiple", The Institute of Electronics and Information Engineers, 37(1), pp.1732~1734 (2014)
- 김경진, "재구성이 가능한 임베디드 시스템 테스트 실행기", 정보처리학회논문지. 소프트웨어 및 데이터 공학, 3(7), pp.243~254 (2014), 한국정보처리학회[DOI]
- Paik Jun Hyun, "Test Executor and Testing Platform performance improvement suggestions using the UDP", The Institute of Communication Sciences, pp.1532~1533 (2015)
- A. P. Mathur, "Foundations of Software Testing" (2008), Pearson Education
- "RTOS"[URL]
- "Simulink Stateflow"[URL]
- "TDMS"[URL]
- Corina S. Pasareanu, "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 (2009)
- 이지현, "상호운용성 테스트를 위한 테스트케이스 생성 기법", 정보과학회논문지 : 소프트웨어 및 응용, 33(1), pp.44~57 (2006), 한국정보과학회