J. Börcsök, W. Chaaban, M. Schwarz, H. Sheng, Oleksandr Sheleh, B. Batchuluun
{"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}
引用次数: 5
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.