网上购物 货比三家
您现在的位置:快乐比价网 > 图书 > 教育/科技 > 航空航天 > 商品详情

航天型号高可靠软件系统调试原理与技术

分享到:
航天型号高可靠软件系统调试原理与技术

最 低 价:¥45.50

定 价:¥65.00

作 者:蔡铭

出 版 社:中国宇航出版社

出版时间:2008 年8月

I S B N:9787802184244

商品详情

编辑推荐

内容简介

本书针对复杂航天型号对软件系统的高可靠性要求,在深入分析软件故障特征的基础上,阐述了当前软件调试手段与工具的技术分类体系,介绍了一批最新的、具有代表性的软件调试技术,包括程序规则分析、用户行为分析、虚拟化调试支持、故障重现与逆向调试、统计调试、不变式调试等内容,以提高软件故障诊断与分析的自动化、智能化程度,提高软件调试效率,缩短软件交付周期,提高航天型号软件系统的可靠性。
   本书主要读者对象是航天型号软件系统的设计人员、开发人员、测试人员及管理人员,也可作为其他科技人员了解和掌握高可靠软件系统质量保证与调试技术的参考书。

作者简介

目录

第1章 软件调试技术概述.
1.1 软件系统的“双刃剑效应”
1.2 软件质量体系中的短板--调试技术
1.3 传统软件调试技术的局限性
1.4 软件调试技术的发展概况
1.5 本书的组织
第2章 型号软件中的bug分析
2.1 概述
2.2 国外型号软件中的bug
2.3 国内型号软件中的bug
第3章 软件bug分类及分布规律
3.1 软件bug概述
3.2 典型软件bug分类体系简介
3.3 c语言软件bug分类体系
3.4 当前软件bug分布规律分析
3.5 软件bug分布发展趋势
3.6 对软件调试技术的需求
第4章 内存类bug调试
4.1 内存类bug产生原因
4.2 内存类错误调试支持工具
.第5章 静态分析调试
5.1 静态分析概述
5.2 典型静态分析技术
5.3 静态分析工具
5.4 静态分析局限性
第6章 动态分片调试
6.1 什么是程序分片
6.2 静态分片
6.3 动态分片
6.4 分片调试实例
6.5 商品化的分片工具
第7章 delta调试
7.1 delta调试概述
7.2 delta调试分类
7.3 delta调试基本原理..
7.4 delta调试工具举例
7.5 问题和局限性
第8章 统计调试
8.1 统计调试概述
8.2 统计原理
8.3 统计调试分类
8.4 统计调试基本方法
8.5 统计调试模型
第9章 不变式调试
9.1 不变式相关概念
9.2 不变式的分类
9.3 不变式的应用
9.4 发现不变式的方法
9.5 不变式发现工具
第10章 难以重现类bug调试
10.1 重现bug的必要性
10.2 bug难以重现的原因
10.3 重放调试概述
10.4 基于虚拟机的全系统执行重放
10.5 分布式系统的重放调试
10.6 vmware新增功能介绍
第11章 体系结构扩展调试
11.1 通用调试技术的局限性
11.2 体系结构扩展技术分类
11.3 软件扩展调试系统
第12章 基于数据挖掘的调试方法
12.1 数据挖掘支持调试
12.2 基于源代码的关联挖掘调试技术
12.3 基于程序行为分类的挖掘调试技术
12.4 基于程序运行轨迹的挖掘调试技术
第13章 软件调试技术评价
13.1 软件调试技术评价体系概况
13.2 调试技术评价基本方法
13.3 常见的调试技术评价基准程序
参考文献...

商品评论(0条)

暂无评论!

您的浏览历史

loading 内容加载中,请稍后...