文献类型：期刊文章

作　　者：赵正旭[1] 梅成芳[1] 张强[1]

ZHAO Zheng-xu;MEI Cheng-fang;ZHANG Qiang(Institute of Complex Networks and Visualizations,Shijiazhuang Tiedao University,Shijiazhuang 050043,China)

机构地区：[1]石家庄铁道大学复杂网络与可视化研究所,河北石家庄050043

出　　处：《计算机技术与发展》

基　　金：河北省第三批创新团队及领军人才"巨人计划"(冀办字[2018]33号)

年　　份：2019

卷　　号：29

期　　号：3

起止页码：64-68

语　　种：中文

收录情况：JST、RCCSE、ZGKJHX、普通刊

摘　　要：嵌入式软件的特点决定了嵌入式软件的测试重点是运行时检测、内存、安全等方面。而且C/C++语言作为嵌入式软件的主流编程语言,其本身具有典型的代码缺陷:缓冲区溢出、数组越界、空指针引用异常、内存泄漏等。为了在检测出C/C++代码缺陷的同时兼顾嵌入式软件的测试重点,针对嵌入式软件的静态测试方法进行研究。掌握C/C++语言的常用静态测试工具的主要功能侧重点及使用方法,使用C++Test、PC-Lint两种测试工具对同一嵌入式软件源码进行静态测试。两者测试结果形成对比和补充,降低了代码缺陷的漏报、误报的可能性,提高了测试效率。实现了在代码编写阶段检测出软件中隐藏的代码缺陷,进而保障嵌入式软件安全可靠的运行,验证了该嵌入式软件静态测试方法的有效可行性。

关 键 词：嵌入式软件 静态测试  C++Test  PC-Lint  

分 类 号：TP301]