다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기
정보처리학회논문지. KIPS transactions on software and data engineering. 소프트웨어 및 데이터 공학, v.2 no.11, 2013년, pp.765 - 778
박현상 (아주대학교 정보통신전문대학원 정보통신공학과) , 최경희 (아주대학교 정보통신전문대학원 정보통신공학과) , 정기현 (아주대학교 일반대학원 전자공학과)
AI-Helper
This paper proposes a test case generation method for Stateflow model using the extended RRT method. The RRT method which has been popularly used for planning paths for complex systems also shows a good performance for test case generation. However, it does not consider the test coverage which is im...
| 핵심어 | 질문 | 논문에서 추출한 답변 |
|---|---|---|
| RRT 확장의 목표는 무엇인가? | RRT 알고리즘은 특정 시점에서의 시스템의 상태를 트리의 노드로 정의한다. 시스템의 시작 상태를 트리의 루트로 보고, 시스템이 도달해야 하는 목표 상태 노드까지의 경로를 무작위 기반으로 찾아가는 것이 RRT 확장의 목표이다. | |
| Stateflow는 어디에 쓰이고 있는가? | 최근 내장 시스템 소프트웨어를 탑재한 전자 제품을 개발하는 많은 산업체에서는 제품의 명세서를 자연어 형식의 문서로 관리하는 것이 아닌 정형화 된 형태의 모델로 작성하고, 이를 바탕으로 제품의 시험을 진행하는 모델 기반 블랙박스 자동 테스트 기법을 많이 도입하고 있다. 제품 사양 모델링 기법 중 Mathworks사의 Stateflow[1]는 가전, 자동차, 항공, 선박 등 많은 산업 분야에서 실용적으로 쓰이고 있는 모델링 기법이다. 많은 산업체들이 생산하는 제품의 명세서를 Stateflow 모델과 같은 정형화된 형식으로 관리하고, 이를 바탕으로 제품 개발과 제품 검증까지의 과정을 자동화 시키는 기법을 연구하고 있다[2]. | |
| Reactis의 단점은 무엇인가? | Reactis[20]는 가장 널리 사용되는 상업적인 테스트 케이스 생성 도구로, 테스트 케이스를 생성하기 위해, 무작위 기반 휴리스틱 기법으로 시스템 입력을 생성한다. 이 도구는 휴리스틱 기법을 적용하기 위해, 도구의 사용자가 추가로 분석에 필요한 정보를 기술해줘야 하는 번거로움이 있다. Design Verifier[21]는 무작위 입력 생성 기반에 추가로 제약 해결사를 이용하여, 테스트 케이스 생성을 빠르게 하지만, 모델에 내장 MATLAB 함수나, 재귀 함수, 동적 연결 라이브러리 함수와 같은 사용자 정의 기능이 포함되어 있을 경우에는, 매우 낮은 성능을 보인다. |
MATLAB Simulink Stateflow http://www.mathworks.com/products/stateflow/ 1994-2012 The MathWorks, Inc.
M.Utting, B. Legeard, "Practical Model-Based Testing: A Tools Approach", Morgan Kaufmann, 2007.
R. Alur, "Model checking of hierarchical state machines" in Proceedings of the 6th ACM SIGSOFT FSE, Vol.23, Issue 6, pp.175-188, 1998.
T.A. Henzinger, "The Theory of Hybrid Automata" in Proceedings of Logic in Computer Science, Eleventh Annual IEEE Symposium, pp.278-292, 1996.
A. Agrawal, G. Simun, G. Karsai, "Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations" in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques, Vol.109, pp.43-56, 2004.
T. A. Henzinger, P. W. Kopke, A. Puri, P. Varaiya, "What's Decidable About Hybrid Automata?", Journal of Computer and System Sciences Vol.57, Issue 1, pp.94-124, 1998.
T. Brihaye, "A note on the undecidability of the reachability problem for o-minimal dynamical systems" in Mathematical Logic Quarterly, Vol.52, Issue 2, pp.165-170, 2006.
H. S. Hong, I. S. Lee, O. Sokolsky, S. D. Cha, "Automatic Test Generation From Statecharts Using Model Checking" in Technical Report, Department of Computer & Information Science University of Pennsylvania MS-CIS-01-07, 2001.
C.S. Pasareanu, "Model Based Analysis and Test Generation for Flight Software" in SMC-IT 2009, Third IEEE International Conference, pp.83-90, 2009.
M. Satpathy, A. Yeolekar, S. Ramesh, "Randomized Directed Testing(REDIRECT) for Simulink/Stateflow Models" in Proceedings of the 8th ACM international conference on Embedded software, pp.217-226, 2008.
P. Roy, N. Shankar, "SimCheck: a contract type system for Simulink", in Journal of Innovations in Systems and Software Engineering, Vol.7, Issue 2, pp.73-83, 2011.
S. M. LaValle, "Rapidly-Exploring Random Trees: A New Tool for Path Planning" TR 98-11 Computer Science Dept., Iowa State Univ.
J.M. Esposito, J. Kim, V. Kumar "A Probabilistic Approach to Automated Test Case Generation for Hybrid Systems" in Hybrid Systems: Computation and Control, 2004.
T. Dang, T. Nahhal, "Coverage-guided test generation for continuous and hybrid systems" in Formal Methods in System Design, Vol.34, No.2, pp.183-213, 2009.
J. M. Esposito, "Randomized Test Case Generation for Hybrid Systems: metric selection" in System Theory, Proceedings of the Thirty-Sixth Southeastern Symposium, pp.236-240, 2004.
J. Kim, "Adaptive Sample Bias for Rapidly-exploring Random Trees with Applications to Test Generation" in American Control Conference, Proceedings, Vol.2, pp.1166-1172, 2005.
S. N. Ahmadyan, "Goal-oriented stimulus generation for analog circuits", in Design Automation Conference, pp.1018-1023, 2012.
S. M. LaValle, J. J. Kuffner. In B. R. Donald, K. M. Lynch, D. Rus, "Rapidly-exploring random trees: Progress and prospects.", Algorithmic and Computational Robotics: New Directions, pp.293-308. A K Peters, Wellesley, MA, 2001.
K. J. Hayhurst, D. S. Veerhusen, J. J. Chilenski, L. K. Rierson, "A Practical Tutorial on Modified Condition/ Decision Coverage", NASA, 2001.
Reactis http://www.reactive-systems.com/products.msp Reactive Systems, Inc
Design Verifier http://www.mathworks.com/products/sldesignverifier/ Mathworks, Inc.
K. L. McMillan, "Symbolic Model Checking - an Approach to the State Explosion Problem" Kluwer Academic Publishers, 1993.
E.M. Clarke, E.A. Emerson, A.P. Sistla, "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications", ACM Transitions on Programming Languages and Systems, Vol.8, No.2, pp.244-263, 1986.
C. S. Pasareanu, P. C. Mehlitz, D. H. Bushnell, K. G. Burlet, M. Lowry, S. Person, M. Pape, "Combining unit level symbolic execution and system level concrete execution for testing" NASA softwrae. In Proc. ISSTA'08 (to appear), 2008.
The Yices SMT Solver, http://www.csl.sri.com
J. C. Gower "A general coefficient of similarity and some of its properties" in Biometrics, Vol.27, pp.857-871, 1971.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
출판사/학술단체 등이 한시적으로 특별한 프로모션 또는 일정기간 경과 후 접근을 허용하여, 출판사/학술단체 등의 사이트에서 이용 가능한 논문
Copyright KISTI. All Rights Reserved.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.