您好,欢迎来到聚文网。 登录 免费注册
程序设计缺陷分析与实践

程序设计缺陷分析与实践

  • 字数: 325.00千字
  • 装帧: 平装
  • 出版社: 电子工业出版社
  • 作者: 尹浩 于秀山 著作
  • 出版日期: 2011-03-01
  • 商品条码: 9787121129698
  • 版次: 1
  • 开本: 16开
  • 页数: 264
  • 出版年份: 2011
定价:¥36 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
《程序设计缺陷分析与实践》共5章2个附录,分别介绍了程序设计缺陷静态分析方法、C/C抖语言程序设计缺陷分析、Java语言程序设计缺陷分析、软件质量静态度量以及静态测试工具使用实践。重点介绍了C/C什语言程序在编码风格、内存管理、缓冲区使用、指针以及安全等方面存在的典型缺陷,并结合实例对每种缺陷进行了分析,同时给出了缺陷修改方法。代码缺陷源自程序设计,《程序设计缺陷分析与实践》结合作者多年软件测试经验,重点归纳总结了C/C++和Java语言在程序设计方面存在的鲜为人知的各种缺陷,以期为软件设计人员和测试人员提供有益借鉴。
《程序设计缺陷分析与实践》既是一本程序设计方面的不错教程,同时也是一本软件静态测试方面的教程,可作为高等院校计算机相关专业不错程序设计及软件测试课程教材,也可供软件开发工程师、测试工程师、测试经理等人员参阅。 
作者简介
尹浩,1959年生,工学博士,总参某研究所研究员,博士生导师。国防科技大学、解放军理工大学、中国科技大学兼职教授,中国通信学会国防通信技术委员会副主任委员,国家科技重大专项三“新一代宽带无线移动通信网”总体组专家,国家军口“973”项目技术首席专家。长期从事军事通信网络与信息系统理论、方法和技术研究,承担了多项国家和军队重大科研和工程项目,获国家科技进步一等奖1项、二等奖2项,军队科技进步一等奖6项、二等奖5项,国家世纪百千万人才工程重量人选,享受政府特殊津贴.获全军杰出科技人才奖。
于秀山,山东栖霞人,博士后,总参某研究所研究员,博士、硕士研究生指导老师,质量管理体系审核员、军用软件测评实验室审核员、天津市软件评测中心顾问、中国电子学会不错会员,自1998年从事软件测试工作以来,完成了多项软件测试科研和大型系统软件定型测评任务;在加拿大渥太华大学贝尔实验室工作期间,作为通信软件工程研究小组(CSERG)成员.参加了测试用例生成/约简(TSGR)项目研究工作获军队和省部级科技进步二等奖、三等奖十余硕,发表各类学术论文30余篇,出版著作1部、译著13部。 
目录
第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 用户手册审查单
参考文献

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网