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

Extracting Reusable Test Cases from Modified MATLAB Simulink Model  

Park, Geon Gu (아주대학교 전자공학과)
Han, Hye Jin (아주대학교 컴퓨터공학과)
Chung, Ki Hyun (아주대학교 전자공학과)
Choi, Kyung Hee (아주대학교 컴퓨터공학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.8, no.6, 2019 , pp. 235-242 More about this Journal
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.
Keywords
Test Case Reuse; Simulink/Stateflow; Model Based Test;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 H. Liu and H. B. Kuan Tan, "Covering Code Behavior on Input Validation in Functional Testing," Information and Software Technology, Vol.51, No.2, pp.546-553, 2009.   DOI
2 S. Nidhra and J. Dondeti, "Blackbox and Whitebox Testing Techniques-A Literature Review," Int. J. Embed. Syst. Appl. (IJESA), Vol.2, No.2, 2012.
3 C. D. Nguyen, A. Marchetto, and P. Tonella. "Combining Model-based and Combinatorial Testing for Effective Test Case Generation," In ISSTA, pp.100-110, 2012.
4 R. Svenningsson, H. Eriksson, J. Vinter, and M. Törngren, "Model-Implemented Fault Injection for Hardware Fault Simulation," Model-Driven Engineering, Verification, and Validation (MoDeVVa), pp.31-36, 2010.
5 J. Yang, J. Bauman, and A. Beydoun, "A Systems Engineering Approach to Verification of Distributed Body Control Applications Development," SAE Technical Paper 2010-01-2328, 2010.
6 S. Guo, J. Zhang, W. Tong, and Z. Liu, "An Application of Ontology to Test Case Reuse," International Conference on Mechatronic Science, Electric Engineering and Computer, pp.19-22, 2011.
7 Y. Dong, Y. Wang, M. F. Lau, and S. Y. Lin, "Experiments on Test Case Reuse of Test Coverage Criteria," in Ubiquitous Intelligence Computing and 7th International Conference on Autonomic Trusted Computing (UIC/ATC), 7th International Conference on, pp.277-281. 2010,
8 Y. Dong, M. F. Lau, and S. Y. Lin, "On Partitioning the Domain for Test Case Reusability," The Eighth International Conference on Quality Software, pp.264-269, 2008.
9 A. B. Hocking, J. Knight, M. Aiello, and S. Shiraishi, "Proving model equivalence in model based design," in Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on, pp.18-21, 2014.
10 SimDiff [Internet], http://www.ensoftcorp.com/KO/simdiff/ Inc.
11 K. C. Shashidhar, M. Bruynooghe, F. Catthoor, and G. Janssens, "Functional Equivalence Checking for Verification of Algebraic Transformations on Array-intensive Source Code," Proc. DATE'05, pp.1310-1315, 2005.
12 K. C. Shashidhar, M. Bruynooghe, F. Catthoor, and G. Janssens, "Verification of Source Code Transformations by Program Equivalence Checking," International Conference on Compiler Construction, pp.221-236, 2005.
13 Mahapatra, S., Egel, T., Hassan, R., Shenoy, R. et al., "Model-Based Design for Hybrid Electric Vehicle Systems," SAE Technical Paper 2008-01-0085, 2008.
14 S. Mohalik, A. A. Gadkari, A. Yeolekar, K. Shashidhar, and S. Ramesh, "Automatic Test Case Generation from Simulink/Statefiow Models using Model Checking," Software Testing Verification and Reliability, Vol.24, No.2, pp.155-180, 2014.   DOI
15 MATLAB Simulink Coder [Internet], https://kr.mathworks.com/products/simulink-coder.html, Inc.
16 MATLAB Design Verifier [Internet], https://kr.mathworks.com/products/sldesignverifier.html, Inc.
17 H. G. Park, K. H. Chung, and K. H. Choi, "Test Case Generation For Simulink/Stateflow Model Using Yices and Model Information," KIPS Transactions on Software and Data Engineering, Vol.6, pp.293-302, 2017.   DOI
18 A. Sridhar, D. Srinivasulu, and D. P. Mohapatra. "Model-based Test-case Generation for Simulink/Stateflow using Dependency Graph Approach," In 2013 3rd IEEE International Advance Computing Conference (IACC), pp.1414-1419. 2013.