[1]赵正旭,梅成芳,张强.嵌入式软件静态测试方法研究[J].计算机技术与发展,2019,29(03):64-68.[doi:10.3969/ j. issn.1673-629X.2019.03.013]
　ZHAO Zheng-xu,MEI Cheng-fang,ZHANG Qiang.Research on Static Testing Method of Embedded Software[J].,2019,29(03):64-68.[doi:10.3969/ j. issn.1673-629X.2019.03.013]
点击复制

嵌入式软件静态测试方法研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
29
期数:
2019年03期
页码:
64-68
栏目:
智能、算法、系统工程
出版日期:
2019-03-10

文章信息/Info

Title:
Research on Static Testing Method of Embedded Software
文章编号:
1673-629X(2019)03-0064-05
作者:
赵正旭; 梅成芳; 张强
石家庄铁道大学 复杂网络与可视化研究所,河北 石家庄 050043
Author(s):
ZHAO Zheng-xu; MEI Cheng-fang; ZHANG Qiang
Institute of Complex Networks and Visualizations,Shijiazhuang Tiedao University,Shijiazhuang 050043,China
关键词:
嵌入式软件; 静态测试; C++Test; PC-Lint
Keywords:
embedded software; static testing; C++Test; PC-Lint
分类号:
TP301
DOI:
10.3969/ j. issn.1673-629X.2019.03.013
摘要:
嵌入式软件的特点决定了嵌入式软件的测试重点是运行时检测、内存、安全等方面。 而且 C/ C++语言作为嵌入式软件的主流编程语言,其本身具有典型的代码缺陷:缓冲区溢出、数组越界、空指针引用异常、内存泄漏等。 为了在检测出C/ C++代码缺陷的同时兼顾嵌入式软件的测试重点,针对嵌入式软件的静态测试方法进行研究。 掌握 C/ C++语言的常用静态测试工具的主要功能侧重点及使用方法,使用 C++Test、PC-Lint 两种测试工具对同一嵌入式软件源码进行静态测试。 两者测试结果形成对比和补充,降低了代码缺陷的漏报、误报的可能性,提高了测试效率。 实现了在代码编写阶段检测出软件中隐藏的代码缺陷,进而保障嵌入式软件安全可靠的运行,验证了该嵌入式软件静态测试方法的有效可行性。
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.

相似文献/References:

[1]熊利 周宽久.基于使用模型的嵌入式软件测试用例生成研究[J].计算机技术与发展,2010,(05):92.
　XIONG Li,ZHOU Kuan-jiu.Research of Embedded Software Generation of Test Cases Based on Usage Model[J].,2010,(03):92.
[2]于素萍 杨循杰.基于行为协议的构件软件静态测试研究[J].计算机技术与发展,2008,(03):128.
　YU Su-ping,YANG Xun-jie.Research of Component Static Testing Based on Behavior Protocols[J].,2008,(03):128.
[3]张术梅 孙辉.基于UML的面向对象软件静态测试方法的研究[J].计算机技术与发展,2007,(01):125.
　ZHANG Shu-mei,SUN Hui.Research on Method of Object - Oriented Software Static Testing Based on UML[J].,2007,(03):125.
[4]程广河 郝凤琦 张让勇 韩路跃 罗旋 任绪才.嵌入式环境中的软件构件化研究[J].计算机技术与发展,2007,(09):139.
　CHENG Guang-he,HAO Feng-qi,ZHANG Rang-yong,et al.Research of Software Component for Embedded Environment[J].,2007,(03):139.
[5]王蕾.嵌入式火控软件时间性能测试[J].计算机技术与发展,2014,24(03):250.
　WANG Lei.Test of Embedded Fire Software Time Performance[J].,2014,24(03):250.
[6]周珊,杨雅雯,王金波. 航天高可靠FPGA测试技术研究[J].计算机技术与发展,2017,27(03):1.
　ZHOU Shan,YANG Ya-wen,WANG Jin-bo. Research on High Reliable FPGA Test Technology on Spaceflight[J].,2017,27(03):1.

更新日期/Last Update: 2019-03-10