Search-based test-data generation for Simulink
基于搜索的Simulink测试数据生成

In order to apply model-based testing, this paper focused on search-based approach of Simulink test-data generation. This method firstly constructed the objective function using the principle of cost function which met the requirements of particular target constraint. According to the complexity of Simulink model, it calculated the optimal value of the target function through the algorithm of simulated annealing and searchet the test-data which met the target constraint. And put forward a test-data generation framework which took loose constraints and tense constraints into consideration and illustrated the usage of this framework through a case study. Finally, it shows that search-based test-data generation is useful for Simulink model testing.