J. Börcsök, W. Chaaban, M. Schwarz, H. Sheng, Oleksandr Sheleh, B. Batchuluun
{"title":"一个自动化的软件验证工具,用于基于模型的嵌入式系统开发与simulink®","authors":"J. Börcsök, W. Chaaban, M. Schwarz, H. Sheng, Oleksandr Sheleh, B. Batchuluun","doi":"10.1109/ICAT.2009.5348445","DOIUrl":null,"url":null,"abstract":"This paper describes the implementation of an automated test tool developed in Matlabreg/Simulinkreg environment that supports model testing and software verification in model-based development of control applications. This tool based on `black box' testing strategy serves on the one hand to check the ldquosemanticrdquo or ldquofunctionalrdquo correctness (SiL: software-in-the-loop) of automatically with RTW (real time workshopreg) generated C-code for algorithms designed and modelled in Simulinkreg and on the other hand to compare the obtained results with the results of the simultaneously running model-in-the-loop test (MiL). The aim behind this tool is to develop reliable software that fulfils system requirements, assure quality and can perform satisfactorily in the intended deployment environment.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"An automated software verification tool for model-based development of embedded systems with simulink®\",\"authors\":\"J. Börcsök, W. Chaaban, M. Schwarz, H. Sheng, Oleksandr Sheleh, B. Batchuluun\",\"doi\":\"10.1109/ICAT.2009.5348445\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper describes the implementation of an automated test tool developed in Matlabreg/Simulinkreg environment that supports model testing and software verification in model-based development of control applications. This tool based on `black box' testing strategy serves on the one hand to check the ldquosemanticrdquo or ldquofunctionalrdquo correctness (SiL: software-in-the-loop) of automatically with RTW (real time workshopreg) generated C-code for algorithms designed and modelled in Simulinkreg and on the other hand to compare the obtained results with the results of the simultaneously running model-in-the-loop test (MiL). The aim behind this tool is to develop reliable software that fulfils system requirements, assure quality and can perform satisfactorily in the intended deployment environment.\",\"PeriodicalId\":211842,\"journal\":{\"name\":\"2009 XXII International Symposium on Information, Communication and Automation Technologies\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-12-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 XXII International Symposium on Information, Communication and Automation Technologies\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICAT.2009.5348445\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 XXII International Symposium on Information, Communication and Automation Technologies","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICAT.2009.5348445","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5
摘要
本文介绍了在matlab /Simulinkreg环境下开发的自动化测试工具的实现,该工具支持基于模型的控制应用开发中的模型测试和软件验证。该工具基于“黑盒”测试策略,一方面用于对在Simulinkreg中设计和建模的算法用RTW (real time workshopreg)自动生成的c代码进行ldquosemanticrdquo或ldqufunctionalrdquo的正确性(SiL: software-in- loop)检查,另一方面用于将得到的结果与同时运行的模型在环测试(MiL)的结果进行比较。这个工具背后的目标是开发可靠的软件,满足系统需求,保证质量,并能在预期的部署环境中令人满意地执行。
An automated software verification tool for model-based development of embedded systems with simulink®
This paper describes the implementation of an automated test tool developed in Matlabreg/Simulinkreg environment that supports model testing and software verification in model-based development of control applications. This tool based on `black box' testing strategy serves on the one hand to check the ldquosemanticrdquo or ldquofunctionalrdquo correctness (SiL: software-in-the-loop) of automatically with RTW (real time workshopreg) generated C-code for algorithms designed and modelled in Simulinkreg and on the other hand to compare the obtained results with the results of the simultaneously running model-in-the-loop test (MiL). The aim behind this tool is to develop reliable software that fulfils system requirements, assure quality and can perform satisfactorily in the intended deployment environment.