程序设计缺陷分析与实践

　　代码缺陷源自程序设计，《程序设计缺陷分析与实践》结合作者多年软件测试经验，重点归纳总结了cc++和java语言在程序设计方面存在的鲜为人知的各种缺陷，以期为软件设计人员和测试人员提供有益借鉴。《程序设计缺陷分析与实践》共5章2个附录，分别介绍了程序设计缺陷静态分析方法、cc++语言程序设计缺陷分析、java语言程序设计缺陷分析、软件质量静态度量以及静态测试工具使用实践。重点介绍了cc++语言程序在编码风格、内存管理、缓冲区使用、指针以及安全等方面存在的典型缺陷，并结合实例对每种缺陷进行了分析，同时给出了缺陷修改方法。《程序设计缺陷分析与实践》既是一本程序设计方面的高级教程，同时也是一本软件静态测试方面的教程，可作为高等院校计算机相关专业高级程序设计及软件测试课程教材，也可供软件开发工程师、测试工程师、测试经理等人员参阅。

　　尹浩 1959年生，工学博士，总参某研究所研究员，博士生导师。国防科技大学、解放军理工大学、中国科技大学兼职教授，中国通信学会国防通信技术委员会副主任委员，国家科技重大专项三“新一代宽带无线移动通信网”总体组专家，国家军口“973”项目技术首席专家。长期从事军事通信网络与信息系统理论、方法和技术研究，承担了多项国家和军队重大科研和工程项目，获国家科技进步一等奖1项、二等奖2项，军队科技进步一等奖6项、二等奖5项，国家？世纪百千万人才工程国家级人选，享受政府特殊津贴．获全军杰出科技人才奖。

第1章  程序设计缺陷静态分析
　1.1  软件测试分类
　1.2　静态分析方法
    1.2.1  文档审查
    1.2.2  代码审查
    1.2.3  技术评审
    1.2.4　代码走查
    1.2.5  评审类型比较
    1.2.6  静态分析的优点
第2章  C／C++语言程序设计缺陷分析
　2.1  编码风格
    2.1.1  符号误用问题
    2.1.2  变量初始化问题
    2.1.3  函数返回值问题
    2.1.4  其他
　2.2  内存管理
　2.3  内存泄漏
　2.4　缓冲区溢出
　2.5  指针问题
    2.5.1  空指针解引用
    2.5.2  其他
　2.6  安全缺陷
　2.7  C++中和类有关的编程错误
　2.8  其他
第3章  Java语言程序设计缺陷分析
　3.1  编码风格
　3.2  安全缺陷
第4章  软件质量静态度量
　4.1  有关概念
　4.2  软件质量模型
    4.2.1  McCall模型
    4.2.2  Boehm模型
    4.2.3  IS09126模型
    4.2.4  ISO／IEC 25010质量模型
    4.2.5  关系模型
　4.3  软件质量静态度量方法
    4.3.1  软件质量静态度量简介
    4.3.2  源代码行(LOC)度量
    4.3.3  Halstead软件科学度量
    4.3.4 McCabe度量
    4.3.5  Henry&Kafura方法
    4.3.6  LCSAJ密度
    4.3.7  C&K度量
    4.3.8 MOOD度量
    4.3.9  其他软件质量度量
第5章  常用静态分析工具与使用实践
　5.1  PolySpace——运行时错误静态检查工具
    5.1.1  PolySpace Verifier
    5.1.2  PolySpace Viewer
　5.2  Klocwork一代码静态检查工具
    5.2.1  工程创建与分析
    5.2.2  分析结果查看
　5.3  nstbed——静态和动态测试工具
    5.3.1  单个文件分析
    5.3.2  分析结果查看
    5.3.3  多个文件批量分析
　5.4  McCabe IQ2——软件质量保证工具
    5.4 1  McCabe EQ
    5.4.2  MeCabe Test
    5.4.3  McCabe Reengineer
附录A  软件需求规格说明审查单
附录B  用户手册审查单
参考文献