-
题名基于持续集成的PC-Lint静态检查
被引量：4
- 1
-
-
作者
姜文
刘立康
-
机构
西安电子科技大学通信工程学院
-
出处
《计算机技术与发展》
2016年第11期31-36,共6页
-
基金
国家部委基础科研计划:国防预研基金项目(A1120110007)
-
文摘
PC-Lint是一款历史悠久、使用广泛的静态代码检查工具。为了保证C/C++软件产品的质量,许多软件开发组织都把PC-Lint检查作为代码走查的第一道工序。PC-Lint工具提供了大量的检查选项,需要合理地配置检查选项,从而减少误报,提高查错、排错的效率。通过四个常用类型的应用实例,详细叙述了PC-Lint工具在各种应用和开发环境中lnt文件配置方法。详细叙述了基于持续集成PC-Lint的静态检查方法,以Clear Case作为软件配置管理工具,将PC-Lint静态检查工具集成到持续集成工具ICP-CI上,对C/C++软件模块进行静态检查,有助于发现更多的源代码缺陷。最后介绍了PC-Lint静态检查的应用案例。长期的工作实践表明,进行PC-Lint静态检查有助于及时发现C/C++软件代码的各种缺陷,从而提高软件代码的质量和降低软件开发的成本。
-
关键词
pc-lint
静态检查
lnt配置文件
持续集成
-
Keywords
pc-lint
static checking
lnt configuration file
continuous integration
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名嵌入式软件静态测试方法研究
被引量：5
- 2
-
-
作者
赵正旭
梅成芳
张强
-
机构
石家庄铁道大学复杂网络与可视化研究所
-
出处
《计算机技术与发展》
2019年第3期64-68,共5页
-
基金
河北省第三批创新团队及领军人才"巨人计划"(冀办字[2018]33号)
-
文摘
嵌入式软件的特点决定了嵌入式软件的测试重点是运行时检测、内存、安全等方面。而且C/C++语言作为嵌入式软件的主流编程语言,其本身具有典型的代码缺陷:缓冲区溢出、数组越界、空指针引用异常、内存泄漏等。为了在检测出C/C++代码缺陷的同时兼顾嵌入式软件的测试重点,针对嵌入式软件的静态测试方法进行研究。掌握C/C++语言的常用静态测试工具的主要功能侧重点及使用方法,使用C++Test、PC-Lint两种测试工具对同一嵌入式软件源码进行静态测试。两者测试结果形成对比和补充,降低了代码缺陷的漏报、误报的可能性,提高了测试效率。实现了在代码编写阶段检测出软件中隐藏的代码缺陷,进而保障嵌入式软件安全可靠的运行,验证了该嵌入式软件静态测试方法的有效可行性。
-
关键词
嵌入式软件
静态测试
C++Test
pc-lint
-
Keywords
embedded software
static testing
C++Test
pc-lint
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
