Affiliation:
1. College of Information Engineering, Capital Normal University, Beijing 100048, China
Abstract
Eectromechanical systems built by Simulink or Ptolemy have been widely used in industry fields, such as autonomous systems and robotics. It is an urgent need to ensure the safety and security of those systems. Test case generation technologies are widely used to ensure the safety and security. State-of-the-art testing tools employ model-checking techniques or search-based methods to generate test cases. Traditional search-based techniques based on Simulink simulation are plagued by problems such as low speed and high overhead. Traditional model-checking techniques such as symbolic execution have limited performance when dealing with nonlinear elements and complex loops. Recently, coverage guided fuzzing technologies are known to be effective for test case generation, due to their high efficiency and impressive effects over complex branches of loops. In this paper, we apply fuzzing methods to improve model testing and demonstrate the effectiveness. The fuzzing methods aim to cover more program branches by mutating valuable seeds. Inspired by this feature, we propose a novel integration technology SPsCGF, which leverages bounded model checking for symbolic execution to generate test cases as initial seeds and then conduct fuzzing based upon these worthy seeds. Over the evaluated benchmarks which consist of industrial cases, SPsCGF could achieve 8% to 38% higher model coverage and 3x-10x time efficiency compared with the state-of-the-art works.
Funder
National Natural Science Foundation of China
Subject
Electrical and Electronic Engineering,Computer Networks and Communications,Hardware and Architecture,Signal Processing,Control and Systems Engineering
Reference40 articles.
1. MathWorks (2023, February 10). MATLAB Simulink. Available online: https://www.mathworks.com/products/simulink.html.
2. Computational efficiency of multi-body systems dynamic models;Antonya;Robotica,2021
3. Manufacturing personnel task allocation taking into consideration skills and remote guidance based on augmented reality and intelligent decision making;Mourtzis;Int. J. Comput. Integr. Manuf.,2023
4. MathWorks (2023, February 10). MATLAB Simulink Stateflow. Available online: https://www.mathworks.com/products/stateflow.html.
5. Khurshid, S., Pasareanu, C., and Visser, W. (2003). Generalized Symbolic Execution for Model Checking and Testing, Springer.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献