代码静态检查工具PC-Lint运用实践

发表于:2012-10-09 11:43

字体: | 上一篇 | 下一篇 | 我要投稿

 作者:spinsoft    来源:51Testing软件测试网采编

  如何提交zero bug的产品,如何尽早发现bug,是软件开发工程师和测试工程师都需要思考的问题。我认为高质量的代码是关键,具体实施保障办法有:框架约束,代码评审,以及测试用例的设计和执行。

  ● 框架约束,可以将程序员从编写没有营养、易出错的代码工作中解放出来。程序员只需要写一些配置或描述,就可以由框架生成可运行的代码框架。这既提高了程序员的工作效率,使程序员关注在业务逻辑实现上,也由于框架的约束使程序形成了统一的风格和代码结构。同时由于是自动生成的框架代码,这部分经过严格的测试,可以确保是高质量的代码,大大降低Bug数。

  ● 代码评审,可以发现一些表面问题,如缺乏注释、大量使用全局变量以及明显的一些可能引发Bug的问题(如在不知道字符串长度的情况下使用Copy等),这其中包括程序员编码的基本素质和编程风格两个因素。良好的编程风格,可以从根本上减少bug隐患,也可以减少代码维护成本。

  ● 测试用例的设计和执行,可以发现一些代码逻辑上的问题,也是一道检验程序健壮性的保护屏。

  在实际项目执行阶段,可能会没有框架约束,而且开发团队的工作任务繁忙,前期阶段他们根本没有太多的时间去进行代码评审。那么如何保证代码的高质量呢?我们测试团队研究并使用了一种代码静态分析工具PC-Lint,它类似于自动化地源代码评审,使得在项目前期阶段,测试人员除了写测试用例外,还可以尽早地发现程序中的bug,为开发人员提供修改意见。

  PC-Lint是Gimpel Software公司开发的一个C/C++代码静态检查工具。它支持几乎所有流行的编辑环境和编译器,比如Borland C++从1.x到5.x各个版本、Borland C++ Build、GCC、VC,VC.net、Source insight等等,也支持16/32/64位的平台环境。它主要由以下文件组成:

  ● Lint-nt.exe  Windows下的执行文件
  ● msg.txt     全部选项帮助说明文件
  ● PC-Lint.pdf  帮助文件
  ● config.exe   配置程序
  ● std.lnt      标准配置文件
  ● options.lnt  选项配置文件
  ● .\Lnt子目录下的各种开发编译环境的配置文件

  由于它有可执行文件Lint-nt.exe,所以我们可以将它整合到编辑环境中,例如VC6。VC6环境下PC-lint的命令参数示例-u -iC:\lint  std.lnt  $(FileName)。Source insight环境下PC-lint的命令参数示例d:\lint\lint-nt.exe -u -iC:\lint std.lnt env-si %f, 如果需要Lint当前打开文件的同一目录下所有文件,可以将%f改成%d\*.cpp。

  其中,std.lnt文件中可以包含其他配置文件,还可以包含各种配置选项,有点类似C的头文件,里面可以include许多其他头文件,不过PC-Lint配置文件包含其他配置文件不需要写include,直接写文件名就可以了。std.lnt内容示例如下:

  //  Microsoft C and Visual C++ 6.x, -si4 -sp4, lib-stl.lnt lib-w32.lnt
  //  Standard lint options

  au-ds.lnt

  co-msc60.lnt         //PC-Lint提供的对VC6的告警屏蔽文件

  lib-stl.lnt lib-w32.lnt   //PC-Lint提供的对stl和VC6库头文件的告警屏蔽文件

  options.lnt  -si4 -sp4  //自定义的选项文件

  env-vc6.lnt          //用来设置编辑环境的配置文件

  -id:\vc6\vc98\include  //include目录

  如果把PC-Lint集成到某个编辑环境中,那么输入的格式必须和对应环境吻合,才能保证在鼠标点击(或双击)错误消息条目时,可自动定位到对应源代码行,这类配置放置在env-xxx.lnt文件中,这些文件在PC-lint安装时,就自带的,在.\Lnt子目录下,如VC6是env-vc6.lnt,SourceInsight是env-si.lnt。我们只需找到与自己的编辑环境相匹配的env-xxx.lnt文件,然后将它写入std.lnt中即可。

  源代码在编辑环境中链接通过后,我们就可以使用PC-Lint命令做静态检查了。它可以说是一种更加严格的编译器,不仅可以查出一般的语法错误,还可以检查出那些虽然合乎语法要求,但很可能是潜在的、不易发现的错误。

  PC-Lint告警分为0~4级,其中0级是内部错误或致命错误,1级告警是句法错误,2级告警是警告,3级是信息,4级是可选的,4级缺省是不打开的。告警级别定义如下表,

 C++ Warning Level 
Syntax Errors 1 - 199 1001 - 1199 
Internal Errors 2 - 299  
Fatal Errors 3 - 399  
Warnings 4 - 699 1400 - 1699 
Informational 7 - 899 1700 - 1899 
Elective Notes 9 - 999 1900 - 1999 

21/212>
《2023软件测试行业现状调查报告》独家发布~

精彩评论

关注51Testing

联系我们

快捷面板 站点地图 联系我们 广告服务 关于我们 站长统计 发展历程

法律顾问:上海兰迪律师事务所 项棋律师
版权所有 上海博为峰软件技术股份有限公司 Copyright©51testing.com 2003-2024
投诉及意见反馈:webmaster@51testing.com; 业务联系:service@51testing.com 021-64471599-8017

沪ICP备05003035号

沪公网安备 31010102002173号