文档介绍：代码质量与静态检查
目录
什么是代码质量
如何保证代码质量
提高代码质量的方法
静态检测
PC-Lint
动态检查
代码度量
程序员与代码质量
什么是代码质量
代码的最终载体是软件产品(Software);
软件质量(Software Quality)最终体现为代码质量(Code Quality);
对软件产品的质量要求就间接的提出了对代码的质量要求;
问:什么高质量的软件产品?
答:符合用户需求、运行稳定、性能优异、易维护、易扩展等;
间接引申出程度代码的质量要求:
※可用性:正确、有效
※健壮性:可靠、容错
※可测试:
※可读:
※可维护:
※可扩展:
如何保证代码质量
※保证可用性
功能测试(UT/ST)、性能测试、可靠性测试
※保证健壮性
压力测试、异常测试
※保证可测试性
架构设计、子系统设计、模块设计、接口设计
※保证可读性
编程规范、代码风格
※保证可维护性/可扩展性
如何保证代码质量
软件测试的意义
发现更多的BUG,减少错误出现概率,保证软件产品是合格的产品;
如何从合格到达优秀,成为高质量软件产品?
着重体现在代码的软指标上,可测,可读,可维护,可扩展;
设计的重要性
设计可以部分保证可测、可维护、可扩展;
剩下的部分依靠什么来保证?
靠人,靠程序员。但人往往是最不可靠的东西。
东西才可靠,这东西就是工具。
提高代码质量方法
两***宝:
※测试
※检查
测试后续再交流,本次主要交流代码检查部分;
代码检查的目的不单是为了提高软指标,已深入到程序逻辑、内存检测、
复杂度、优化建议等高级层面,从而反过来影响程序功能和性能。
代码检查分为:
※静态检查:对程序代码的检查;
※动态检查:程序运行时检查;
动态检查着重于内存和资源检查。
静态检查
静态检查
静态检查能检查出哪些问题?
变量未初始化
空指针引用
数据类型不匹配
返回局部变量
数组字符串边界溢出
内存泄露
……
静态检查可以通过人工进行:代码走读,代码检视。
也可以通过工具进行:编译器,专业的代码检查工具,
如pclint,splint,coverity
PCLINT
PC-lint(FlexeLint) Gimpel Software.
事实上的工业标准,
需要安装,安装后目录结构如右图,
运行lint-;
PCLINT
Pclint安装完成后,下载最新的补丁包,将其PATCH到最新版本。
安装完成后,会提示是否需要设置;
按照GUI界面,一路设置即可;
主要设置了编译环境,编译器,
内存模型,使用的库,以及设置
相关的库文件目录等;
关键配置文件:
将pclint主目录设置到系统PATH;
PCLINT
一个简单的例子:
可以看到pclint检查出一个
warning:
符号i未初始化;