{"title":"嵌入式软件静态测试方法的设计与实现","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":"{\"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}","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}
Design and Implementation of a Static Test Approach for Embedded Software
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号
