변경된 MATLAB Simulink 모델로부터 재사용 가능 테스트 케이스 도출
Extracting Reusable Test Cases from Modified MATLAB Simulink Model
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
본 논문에서는 제어기 기능이 표현 된 변경된 MATLAB Simulink/Stateflow(SL/SF) 모델의 재사용 가능한 테스트 케이스 도출 기법을 제안한다. 자동차의 ECU(Electrical Control Unit)와 같이 복잡한 SL/SF 모델의 테스트 케이스를 작성하는데 많은 시간과 노력이 필요하다. 모델이 수정 될 때마다 새로 만들어낼 테스트 케이스를 줄이기 위한 직관적인 방법은 수정 전 모델에서 생성한 테스트 케이스 중 일부를 재사용하는 것이다. 본 논문에서는 모델 행동을 정의하고 테스트 케이스 별 모델 동등성을 판단하여 수정 후 SL/SF에 재사용 가능한 테스트 케이스를 도출하는 방법을 제안한다. 제안된 테스트 케이스 재사용 기법은 상용 자동차 제어기 모델을 이용하여 성능을 평가한다.
Abstract
This paper proposes a reusable test case extraction technique for modified MATLAB Simulink/Stateflow (SL/SF) model. Creating test cases for complicated SL/SF model like ECU(Electrical Control Unit) of automotive, requires a lot of time and effort. An intuitive way to reduce to create new test cases whenever the model changes, is to reuse some test cases which have been generated for the original model. In this paper, we propose a method to define reusable test cases in SL/SF after defining model behavior and judging model equality by test cases. The proposed technique is evaluated using a commercial automotive controller model.
참고문헌 (18)
- H. Liu, "Covering Code Behavior on Input Validation in Functional Testing", Information and Software Technology, 51(2), pp.546~553 (2009)
- S. Nidhra, "Blackbox and Whitebox Testing Techniques-A Literature Review", Int. J. Embed. Syst. Appl. (IJESA), 2(2) (2012)
- C. D. Nguyen, "Combining Model-based and Combinatorial Testing for Effective Test Case Generation", ISSTA, pp.100~110 (2012)
- R. Svenningsson, "Model-Implemented Fault Injection for Hardware Fault Simulation", Model-Driven Engineering, Verification, and Validation (MoDeVVa), pp.31~36 (2010)
- A Systems Engineering Approach to Verification of Distributed Body Control Applications Development, "J. Yang", SAE, ~, pp.Technical Paper 2010-01-2328 (2010)
- S. Guo, "An Application of Ontology to Test Case Reuse", International Conference on Mechatronic Science, Electric Engineering and Computer, pp.19~22 (2011)
- Y. Dong, "Experiments on Test Case Reuse of Test Coverage Criteria", Ubiquitous Intelligence Computing and 7th International Conference on Autonomic Trusted Computing (UIC, 2010, 277~281
- Y. Dong, "On Partitioning the Domain for Test Case Reusability", The Eighth International Conference on Quality Software, pp.264~269 (2008)
- A. B. Hocking, "Proving model equivalence in model based design", Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on (2014)
- "SimDiff"[URL]
- K. C. Shashidhar, "Functional Equivalence Checking for Verification of Algebraic Transformations on Array-intensive Source Code", Proc. DATE'05, (13a15), pp.1310~1315 (2005)
- K. C. Shashidhar, "Verification of Source Code Transformations by Program Equivalence Checking", International Conference on Compiler Construction, pp.221~236 (2005)
- Model-Based Design for Hybrid Electric Vehicle Systems, "Mahapatra, S.", SAE, ~, pp.Technical Paper 2008-01-0085 (2008)
- S. Mohalik, "Automatic Test Case Generation from Simulink", Statefiow Models using Model Checking, 2014, pp.24(2), 155~180
- "MATLAB Simulink Coder"[URL]
- "MATLAB Design Verifier"[URL]
- A. Sridhar, "Modelbased Test-case Generation for Simulink", Stateflow using Dependency Graph Approach, 2013 (2013), 1414~1419
- 박한곤, "Yices와 모델 정보를 이용한 Simulink", Stateflow 모델의 테스트 케이스 생성 기법, 2017, pp.6(6), 293~302[DOI]