基于Simulink/状态流模型的嵌入式系统模型驱动测试解决方案

2015 Second International Conference on Trustworthy Systems and Their Applications Pub Date : 2015-07-08 DOI:10.1109/TSA.2015.15

Yunwei Dong, Zhe Li, Yibo Cheng, Hong-bing Zhao

{"title":"基于Simulink/状态流模型的嵌入式系统模型驱动测试解决方案","authors":"Yunwei Dong, Zhe Li, Yibo Cheng, Hong-bing Zhao","doi":"10.1109/TSA.2015.15","DOIUrl":null,"url":null,"abstract":"The Simulink/Stateflow is a commonly used approach in modeling embedded systems. This paper presents a model driven testing method for embedded systems using Simulink/Stateflow model, where a test model of a system constructed with Simulink/Stateflow is to be converted to hierarchical interface automata. Dependencies within hierarchical interface automata and test sequences are acquired through analyzing model state coverage. And then a solver tool, named Yices, is used to solve linear constraints in test sequences for the purpose of selecting test cases that conform to the constraints. The impact of states of test model is studied using test coverage criteria and the validity of the obtained test cases will also be evaluated.","PeriodicalId":293345,"journal":{"name":"2015 Second International Conference on Trustworthy Systems and Their Applications","volume":"10 5","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model\",\"authors\":\"Yunwei Dong, Zhe Li, Yibo Cheng, Hong-bing Zhao\",\"doi\":\"10.1109/TSA.2015.15\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The Simulink/Stateflow is a commonly used approach in modeling embedded systems. This paper presents a model driven testing method for embedded systems using Simulink/Stateflow model, where a test model of a system constructed with Simulink/Stateflow is to be converted to hierarchical interface automata. Dependencies within hierarchical interface automata and test sequences are acquired through analyzing model state coverage. And then a solver tool, named Yices, is used to solve linear constraints in test sequences for the purpose of selecting test cases that conform to the constraints. The impact of states of test model is studied using test coverage criteria and the validity of the obtained test cases will also be evaluated.\",\"PeriodicalId\":293345,\"journal\":{\"name\":\"2015 Second International Conference on Trustworthy Systems and Their Applications\",\"volume\":\"10 5\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-07-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 Second International Conference on Trustworthy Systems and Their Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TSA.2015.15\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 Second International Conference on Trustworthy Systems and Their Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TSA.2015.15","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

Simulink/Stateflow是一种常用的嵌入式系统建模方法。本文提出了一种基于Simulink/Stateflow模型的嵌入式系统模型驱动测试方法，该方法将用Simulink/Stateflow构建的系统测试模型转换为分层接口自动机。通过分析模型状态覆盖率，获得层次接口自动机和测试序列之间的依赖关系。然后使用求解工具Yices来求解测试序列中的线性约束，以选择符合约束的测试用例。使用测试覆盖准则研究测试模型状态的影响，并对获得的测试用例的有效性进行评估。

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

查看原文本刊更多论文

A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model

The Simulink/Stateflow is a commonly used approach in modeling embedded systems. This paper presents a model driven testing method for embedded systems using Simulink/Stateflow model, where a test model of a system constructed with Simulink/Stateflow is to be converted to hierarchical interface automata. Dependencies within hierarchical interface automata and test sequences are acquired through analyzing model state coverage. And then a solver tool, named Yices, is used to solve linear constraints in test sequences for the purpose of selecting test cases that conform to the constraints. The impact of states of test model is studied using test coverage criteria and the validity of the obtained test cases will also be evaluated.

求助全文

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

来源期刊

2015 Second International Conference on Trustworthy Systems and Their Applications

自引率

0.00%

发文量