{"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}
引用次数: 7
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
