包含状态流图的复杂Simulink模型的基于搜索的测试

ICST Workshops Pub Date : 2008-04-09 DOI:10.1109/ICSTW.2008.34

Ramón Sagarna, Xin Yao

{"title":"包含状态流图的复杂Simulink模型的基于搜索的测试","authors":"Ramón Sagarna, Xin Yao","doi":"10.1109/ICSTW.2008.34","DOIUrl":null,"url":null,"abstract":"This paper deals with the task of structural testing of real-world Simulink models containing stateflow diagrams, a number of difficulties arise that need to be addressed. One of the main problems is the size of the model under test and the resulting complexity. Other major challenges are the signal generation as well as the coverage of stateflow diagrams in general.","PeriodicalId":441435,"journal":{"name":"ICST Workshops","volume":"39 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams\",\"authors\":\"Ramón Sagarna, Xin Yao\",\"doi\":\"10.1109/ICSTW.2008.34\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper deals with the task of structural testing of real-world Simulink models containing stateflow diagrams, a number of difficulties arise that need to be addressed. One of the main problems is the size of the model under test and the resulting complexity. Other major challenges are the signal generation as well as the coverage of stateflow diagrams in general.\",\"PeriodicalId\":441435,\"journal\":{\"name\":\"ICST Workshops\",\"volume\":\"39 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-04-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ICST Workshops\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSTW.2008.34\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ICST Workshops","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSTW.2008.34","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

本文讨论了包含状态流图的真实世界Simulink模型的结构测试任务，出现了一些需要解决的困难。其中一个主要问题是被测模型的大小和由此产生的复杂性。其他主要的挑战是信号的生成以及状态流图的覆盖。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams

This paper deals with the task of structural testing of real-world Simulink models containing stateflow diagrams, a number of difficulties arise that need to be addressed. One of the main problems is the size of the model under test and the resulting complexity. Other major challenges are the signal generation as well as the coverage of stateflow diagrams in general.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

ICST Workshops

自引率

0.00%

发文量

期刊最新文献

The Next Level of Test Automation (NEXTA 2020) ICST 2020 CI/CD Industry Workshop Program ToCaMS - Workshop on Testing of Configurable and Multi-variant Systems Message from the Mutation 2017 Chairs Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams