• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual conference on Genetic and evolutionary computation >The state problem for test generation in Simulink
【24h】

The state problem for test generation in Simulink

机译：Simulink中测试生成的状态问题

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Search based test-data generation has proved successful for code-level testing. In this paper we investigate the application of such approaches at the higher levels of abstraction offered by Matlab-Simulink models. The presence of persistent state has been shown to be problematic at the code level and such difficulties remain when Matlab-Simulink models are to be tested. In such cases, sequences of inputs that can put the model under test into particular states are needed to enable the underlying test goals to be achieved. Simple search guidance appears to be insufficient and results in a 'flat' cost function landscape. To address this problem, we introduce a technique called tracing and deducing, which helps provide better guidance to the search, allowing our developed tools to home in on the targeted test-data.
机译：基于搜索的测试数据生成已成功用于代码级测试。在本文中，我们调查了在 Matlab-Simulink 模型所提供的更高水平级别的应用中的应用。在代码级别的情况下，存在持久状态的存在是有问题的，并且当要测试第 Matlab-simulink 模型时，仍然存在这种困难。在这种情况下，需要将测试模型放入特定状态的输入序列以实现潜在的测试目标。简单的搜索指导似乎不足，导致“平面”成本函数景观。为了解决这个问题，我们介绍了一种称为追踪的技术，并推断，这有助于为搜索提供更好的指导，允许我们开发的工具在目标测试数据中获取主页。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号