点击选择搜索分类
首页 - 套装书- 正文
☆☆☆☆☆
||
周涛 著
出版社: 宇航出版社 ISBN:9787801442482 版次:1 商品编码:10575859 包装:平装 丛书名: 航天型号软件工程系列丛书 开本:16开 出版时间:1999-04-01 页数:285 正文语种:中文
《航天型号软件测试》的主要读者为航天型号软件研制技术人员及承担独立测试的软件评测人员,对于航天型号软件研制及软件评测管理人员也有一定的参考价值。
1.1 什么是软件测试
1.1.1 软件测试的认识的发展
1.1.2 广义的软件测试
1.2 软件测试的意义
1.3 软件测试原则
1.3.1 Myers的基本原则
1.3.2 软件测试的独立性原则
1.3.3 软件测试完成准则
1.3.4 软件的测试性
1.4 软件测试的基本原理和理论基础
1.5 软件测试的分类
1.6 软件错误
1.6.1 几个概念——错误、缺陷、故障、失效
1.6.2 研究软件错误的目的
1.6.3 软件错误分类和分级
1.6.4 程序错误数量估计
1.7 当前航天型号软件测试的认识
1.7.1 航天型号软件测试特点
1.7.2 目前的状况
1.7.3 航天型号软件测试的定位
1.7.4 几个基本认识问题
第2章 软件测试技术
2.1 静态测试技术
2.1.1 静态测试技术特点
2.1.2 代码审查
2.1.3 代码走查
2.1.4 静态分析
2.1.5 静态分析工具
2.2 动态测试技术
2.2.1 动态测试技术特点
2.2.2 黑盒测试和白盒测试
2.2.3 黑盒测试
2.2.4 白盒测试
2.3 其它测试技术介绍
2.3.1 程序变异
2.3.2 域测试
2.3.3 符号求值
2.3.4 程序插装
2.3.5 统计测试
2.3.6 程序正确性证明和形式化方法
2.3.7 测试用例设计综合策略
2.4 动态测试工具
2.4.1 动态分析工具
2.4.2 程序插装器(Program Instrumenter)
2.4.3 测试数据生成器(Test Data Generator)
2.4.4 符号计值(Symbolic Evaluator)
2.4.5 变异测试(Mutation Testing)工具
2.4.6 测试辅助支持工具
2.5 通用软件测试工具介绍
2.5.1 计算机辅助软件测试器(CAST)
2.5.2 Purify和Pure Coverage
2.5.3 C语言测试工具C-Teste
第3章 嵌人式软件测试
3.1 嵌入式软件特
3.2 嵌入式软件测试特点及基本对策
3.3 全数字仿真技术
3.3.1 全数字仿真技术内容
3.3.2 全数字仿真技术的目的和意义
……
第4章 软件测试的步骤
第5章 软件测试流程及软件测试文档
第6章 软件测试管理
第7章 航天型号软件测试实例及要点
参考文献
在实际工作中,这种认识与“程序测试的过程是演示程序完成预期要求的过程”这种习惯想法有关。持有这种想法,在测试工作中会妨碍我们达到测试的真正目标。心理学研究告诉我们,当人在于一件已经知道是不合适或不可能做到的事时,往往做得不好。另一方面,心理学研究也揭示,人们容易看到他们期望看到的,而忽视期望之外的。基于这种认识进行测试工作,会使我们自觉不自觉地朝这个方向去做,如倾向于挑选那些使程序出错的可能性较小的情况,忽视结果中的错误征兆,以至把测试退化为演示,而失去其重要的意义。以此为原则进行管理活动,则会制定和工程实际不符的目标。
(3)阶段3——测试是发现软件中的错误
Myers提出了这个概念。这是一种正确的认识,虽然不够全面,但具有实际的工程价值。我们知道,软件的正确性是和它所包含的错误相关连的,它含有的错误越少,正确性越高。如果尽可能多地发现并排除软件中的错误,就可以最大限度地提高软件正确性。在不能从正面证明软件正确的情况下,这是一种实际有效的想法。和阶段2的想法相比,基于这种认识,我们是期望测试时软件发生错误,这样在实践中会选择一些易于发现程序所含错误的测试数据,并在测试中把注意力放在软件是否发生了错误上,这是一种更有价值的工作态度。
航天型号软件测试 电子书 下载 mobi epub pdf txt
航天型号软件测试-so88
航天型号软件测试 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
周涛 著
出版社: 宇航出版社 ISBN:9787801442482 版次:1 商品编码:10575859 包装:平装 丛书名: 航天型号软件工程系列丛书 开本:16开 出版时间:1999-04-01 页数:285 正文语种:中文
内容简介
《航天型号软件测试》系统介绍了航天型号软件测试。全书共7章,分别介绍软件测试的基本概念、测试技术、测试阶段、测试工作流程、测试文档及测试管理,同时突出介绍了嵌入式软件测试的特点及技术,最后介绍了一个具体航天型号软件研制项目的测试工作实例,提出了航天型号软件测试工作要点。全书在介绍软件测试的一般内容基础上,结合航天型号软件研制特点介绍了相应的概念、技术及工作流程,特别介绍了独立测试。《航天型号软件测试》的主要读者为航天型号软件研制技术人员及承担独立测试的软件评测人员,对于航天型号软件研制及软件评测管理人员也有一定的参考价值。
内页插图
目录
第1章 基本概论1.1 什么是软件测试
1.1.1 软件测试的认识的发展
1.1.2 广义的软件测试
1.2 软件测试的意义
1.3 软件测试原则
1.3.1 Myers的基本原则
1.3.2 软件测试的独立性原则
1.3.3 软件测试完成准则
1.3.4 软件的测试性
1.4 软件测试的基本原理和理论基础
1.5 软件测试的分类
1.6 软件错误
1.6.1 几个概念——错误、缺陷、故障、失效
1.6.2 研究软件错误的目的
1.6.3 软件错误分类和分级
1.6.4 程序错误数量估计
1.7 当前航天型号软件测试的认识
1.7.1 航天型号软件测试特点
1.7.2 目前的状况
1.7.3 航天型号软件测试的定位
1.7.4 几个基本认识问题
第2章 软件测试技术
2.1 静态测试技术
2.1.1 静态测试技术特点
2.1.2 代码审查
2.1.3 代码走查
2.1.4 静态分析
2.1.5 静态分析工具
2.2 动态测试技术
2.2.1 动态测试技术特点
2.2.2 黑盒测试和白盒测试
2.2.3 黑盒测试
2.2.4 白盒测试
2.3 其它测试技术介绍
2.3.1 程序变异
2.3.2 域测试
2.3.3 符号求值
2.3.4 程序插装
2.3.5 统计测试
2.3.6 程序正确性证明和形式化方法
2.3.7 测试用例设计综合策略
2.4 动态测试工具
2.4.1 动态分析工具
2.4.2 程序插装器(Program Instrumenter)
2.4.3 测试数据生成器(Test Data Generator)
2.4.4 符号计值(Symbolic Evaluator)
2.4.5 变异测试(Mutation Testing)工具
2.4.6 测试辅助支持工具
2.5 通用软件测试工具介绍
2.5.1 计算机辅助软件测试器(CAST)
2.5.2 Purify和Pure Coverage
2.5.3 C语言测试工具C-Teste
第3章 嵌人式软件测试
3.1 嵌入式软件特
3.2 嵌入式软件测试特点及基本对策
3.3 全数字仿真技术
3.3.1 全数字仿真技术内容
3.3.2 全数字仿真技术的目的和意义
……
第4章 软件测试的步骤
第5章 软件测试流程及软件测试文档
第6章 软件测试管理
第7章 航天型号软件测试实例及要点
参考文献
精彩书摘
产生这种认识是非常自然的(所以也是值得警惕的),它出自朴素的直接的思维:希望得到“正确”的软件,经过一定的检验证明这种“正确”。这当中的谬误是Myers发现的,他观察到这种想法自我矛盾。一次失败的测试就能表明软件的不正确,而无数次成功的测试也不能证明该软件的正确性,除非进行所谓“完全”的测试,这对较复杂一点的程序实际上不可能(见后面章节),所以基于这种认识的目标是不能达到的。同时,由于表示软件正确的可能性随测试的增加而减少,也就是说,测试的次数越多,则发现错误的可能性也就越大,因而这种认识是自我矛盾的。在实际工作中,这种认识与“程序测试的过程是演示程序完成预期要求的过程”这种习惯想法有关。持有这种想法,在测试工作中会妨碍我们达到测试的真正目标。心理学研究告诉我们,当人在于一件已经知道是不合适或不可能做到的事时,往往做得不好。另一方面,心理学研究也揭示,人们容易看到他们期望看到的,而忽视期望之外的。基于这种认识进行测试工作,会使我们自觉不自觉地朝这个方向去做,如倾向于挑选那些使程序出错的可能性较小的情况,忽视结果中的错误征兆,以至把测试退化为演示,而失去其重要的意义。以此为原则进行管理活动,则会制定和工程实际不符的目标。
(3)阶段3——测试是发现软件中的错误
Myers提出了这个概念。这是一种正确的认识,虽然不够全面,但具有实际的工程价值。我们知道,软件的正确性是和它所包含的错误相关连的,它含有的错误越少,正确性越高。如果尽可能多地发现并排除软件中的错误,就可以最大限度地提高软件正确性。在不能从正面证明软件正确的情况下,这是一种实际有效的想法。和阶段2的想法相比,基于这种认识,我们是期望测试时软件发生错误,这样在实践中会选择一些易于发现程序所含错误的测试数据,并在测试中把注意力放在软件是否发生了错误上,这是一种更有价值的工作态度。
前言/序言
航天型号软件测试 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 你不可不知的50个物理知识 9787115224217
- 司法精神病学鉴定实践
- 挑战篇-小手学涂色
- 【中法图】正版 证券法学 第三3版 朱锦清 北大出版社 21世纪法学系列教材 经济法系列
- 重新设计生命
- 出土文献与法律史研究(第六辑)
- BF-通俗天文学-西蒙·纽康 新世界出版社 9787510450808
- 正版现货 小莲藕学作文 写作起步的56个趣味训练 胡元华何捷著 1~3年级子阅读 一二三年级小学生家
- 啊哈,原来如此(原版加注) [美] 马丁·伽德纳
- 法律维权百事通:自己维权 做自己的家庭律师(增订版 案例应用版)
- 解说中心:自然及游客中心的历史、设计和发展
- 【法律出版社】PPP项目合同操作指引:起草、修改与谈判 李成林 风险防范 合同争议
- 从一到无穷大—科学中的事实和臆测
- 《说文解字》法律语域词语与中国古代法律文化
- 正版书籍 探寻雾霾之谜的重大发现