| 注册
首页|期刊导航|计算机应用研究|基于搜索的Simulink测试数据生成

基于搜索的Simulink测试数据生成

邓绍鹏 杨志义 王宇英

计算机应用研究2012,Vol.29Issue(7):2527-2530,4.
计算机应用研究2012,Vol.29Issue(7):2527-2530,4.DOI:10.3969/j.issn.1001-3695.2012.07.033

基于搜索的Simulink测试数据生成

Search-based test-data generation for Simulink

邓绍鹏 1杨志义 1王宇英1

作者信息

  • 1. 西北工业大学计算机学院陕西省嵌入式系统技术重点实验室,西安710129
  • 折叠

摘要

Abstract

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 gen-eration 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.

关键词

测试数据生成/Simulink测试/基于搜索的测试/基于模型的测试/模拟退火

Key words

test-data generation/ Simulink testing/ search-based testing/ model-based testing/ simulated annealing

分类

信息技术与安全科学

引用本文复制引用

邓绍鹏,杨志义,王宇英..基于搜索的Simulink测试数据生成[J].计算机应用研究,2012,29(7):2527-2530,4.

基金项目

国家"863"计划资助项目(2011AAO10101) (2011AAO10101)

西安市科技计划项目(CXY1008) (CXY1008)

计算机应用研究

OA北大核心CSCDCSTPCD

1001-3695

访问量0
|
下载量0
段落导航相关论文