{"title":"Design and Implementation of a Static Test Approach for Embedded Software","authors":"Wang Zhong-min, Huo Yi-wei, Liang Chen","doi":"10.1109/WCSE.2012.30","DOIUrl":null,"url":null,"abstract":"On the basis of static test tool Splint and ARM Developer Suite, a static test approach for embedded software was designed and implemented in the platform ARM test for embedded software testing. This approach selects different parameters for static test according to the requirements, invokes Splint to enforce the test, arranges and categorizes test results, and associates the results with the program to be tested. Experiments showed that this static test approach based on Splint and ADS can perform static test of embedded software precisely and efficiently.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"22 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 Third World Congress on Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WCSE.2012.30","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
On the basis of static test tool Splint and ARM Developer Suite, a static test approach for embedded software was designed and implemented in the platform ARM test for embedded software testing. This approach selects different parameters for static test according to the requirements, invokes Splint to enforce the test, arranges and categorizes test results, and associates the results with the program to be tested. Experiments showed that this static test approach based on Splint and ADS can perform static test of embedded software precisely and efficiently.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
