计算机技术与发展2019，Vol.29Issue(3)：64-68,5.DOI:10.3969/j.issn.1673-629X.2019.03.013
嵌入式软件静态测试方法研究
Research on Static Testing Method of Embedded Software
摘要
Abstract
The characteristics of embedded software determine its test focus is run-time detection, memory, security and so on. Moreover, C/C++, as the mainstream programming language of embedded software, has its own typical code defects:buffer overflow, array out of bounds, null point exception, memory leak and so on. In order to detect the defects of C/C++ code and take the test emphasis of embedded software into consideration, the static test method of embedded software is studied. After mastering the main functions and methods of the static testing tools of C/C++ language, C++Test and PC-Lint are used to test the source code of the same embedded software. The results of the two tests are contrasted and supplemented. The possibility of false negatives and false positives of code defects is reduced, and the testing efficiency is improved. The code defects hidden in the software are detected at the code writing stage, and the secure and reliable operation of the embedded software is ensured. The feasibility of the proposed static test method is verified.关键词
嵌入式软件/静态测试/C++Test/PC-LintKey words
embedded software/static testing/C++Test/PC-Lint分类
信息技术与安全科学引用本文复制引用
赵正旭,梅成芳,张强..嵌入式软件静态测试方法研究[J].计算机技术与发展,2019,29(3):64-68,5.基金项目
河北省第三批创新团队及领军人才"巨人计划"(冀办字[2018]33号) （冀办字[2018]33号）
