新書推薦:
《
第十三位陪审员
》
售價:HK$
53.8
《
微观经济学(第三版)【2024诺贝尔经济学奖获奖者作品】
》
售價:HK$
155.7
《
Python贝叶斯深度学习
》
售價:HK$
89.4
《
启微·狂骉年代:西洋赛马在中国
》
售價:HK$
78.4
《
有趣的中国古建筑
》
售價:HK$
67.0
《
十一年夏至
》
售價:HK$
76.2
《
如何打造成功的商业赛事
》
售價:HK$
89.5
《
万千教育学前·透视学前儿童的发展:解析幼儿教师常问的那些问题
》
售價:HK$
58.2
|
編輯推薦: |
本书为软件开发与测试丛书中的一册,由从事软件评测与工程化管理的专业人员组织编写。本书结合实例,系统地介绍了动态测试和静态测试中的典型技术方法,比较了各种方法的不同之处并分析了它们的优缺点,紧扣软件测试实际和标准规范要求,从测试原则、测试环境、测试策略、测试内容、测试方法、测试过程等不同方面分别介绍了单元测试、集成测试、配置项测试和系统测试等不同测试级别中实用的测试方法与技术,具有很好地参考与应用价值。本书定位于一本软件测试方法和技术的实用指南,适用于软件从业人员了解软件测试的基础知识、一般流程、实用技术方法和常用测试工具,提高技术能力和过程能力水平,也适用于软件测试机构建立测试能力体系,规范软件测试管理。
|
內容簡介: |
本书全面系统地介绍了软件测试的方法与技术。书中结合实例,详细介绍了动态测试和静态测试中的典型技术方法,比较了各种方法的不同之处并分析了它们的优缺点;紧扣软件测试实际和标准规范要求,从测试原则、测试环境、测试策略、测试内容、测试方法、测试过程等不同方面分别介绍了单元测试、集成测试、配置项测试和系统测试等不同测试级别中实用的测试方法与技术;此外还介绍了常用的软件测试工具,软件测试文档的编写,以及回归测试、面向对象软件测试、FPGA测试等专门测试。 本书定位于一本软件测试方法和技术的实用指南,适用于软件从业人员了解软件测试的基础知识、一般流程、实用技术方法和常用测试工具,帮助软件从业人员提高技术能力和过程能力水平,也适用于软件测试机构建立测试能力体系,规范软件测试管理。
|
關於作者: |
北京跟踪与通信技术研究所软件评测中心是从事软件评测与工程化管理的专业机构,是在我国大力发展航天事业的背景下,为保障载人航天工程软件质量,经原国防科工委批准,国内最早成立的第三方软件评测与工程化管理的技术实体组织之一。自成立以来,软件评测中心出色地完成了以载人航天工程、探月工程为代表的数百项重大工程关键软件评测项目,自主研发了测试仿真软件系统、测试辅助设计工具、评测项目与过程管理软件等一系列软件测试工具,为主制订了GBT 15532《计算机软件测试规范》、GBT 9386《计算机软件测试文档编制规范》、GJB 141《军用软件测试指南》等软件测试标准,深入研究了软件测试自动化、缺陷分析与预测、可信性分析与评估、测试用例复用等软件测试技术,在嵌入式软件、非嵌入式软件和可编程逻辑器件软件等不同类型软件测试领域,积累了丰富的测试经验和强大的技术实力。
|
目錄:
|
第1章软件测试概述11.1软件测试简史11.2软件测试定义31.3软件测试原则41.4软件的可测试性61.4.1可测试性定义与内涵61.4.2可测试性设计与实现71.4.3可测试性度量与评估91.5软件测试模型91.5.1V模型91.5.2W模型101.5.3H模型111.6软件测试级别与测试类型121.6.1软件测试级别121.6.2软件测试类型131.6.3软件关键等级161.7软件测试标准规范181.7.1相关标准概述181.7.2GBT 93862008《计算机软件测试文档编制规范》211.7.3GBT 155322008《计算机软件测试规范》211.7.4GBT 25000.512010《软件工程软件产品质量要求和评价(SQuaRE)商业现货(COTS)软件产品的质量要求和测试细则》211.7.5ISOIEC 29119 Software Testing221.8软件测试人员能力素质要求261.9术语与缩略语27
第2章静态测试技术292.1文档审查292.1.1实施要点302.1.2组织与流程302.1.3成果形式312.2代码审查342.2.1实施要点342.2.2组织与流程352.2.3成果形式352.3静态分析382.3.1实施要点382.3.2组织与流程392.3.3成果形式402.4代码走查402.4.1实施要点402.4.2组织与流程402.4.3成果形式412.5静态测试技术分析41〖1〗软件测试实用方法与技术〖1〗目录第3章动态测试技术433.1白盒测试433.1.1概述433.1.2白盒测试基础463.1.3基本路径测试513.1.4控制结构测试533.1.5其他白盒测试技术613.2黑盒测试643.2.1概述643.2.2等价类划分653.2.3边界值分析683.2.4因果图与决策表法703.2.5组合测试753.2.6基于场景测试773.2.7错误推测法813.2.8黑盒测试技术分析843.3灰盒测试853.3.1概述853.3.2实施步骤863.3.3灰盒测试技术分析863.4动态测试技术分析87
第4章单元测试894.1概述894.1.1单元测试的定义894.1.2单元测试的目的894.1.3单元测试的重要性904.2单元测试原则924.3单元测试环境924.4单元测试策略944.4.1自顶向下944.4.2自底向上944.4.3独立单元954.5单元测试内容954.5.1功能测试964.5.2性能测试964.5.3接口测试964.5.4局部数据结构测试964.5.5边界条件测试974.5.6独立执行路径测试974.5.7错误处理测试974.6单元测试方法984.6.1静态测试984.6.2动态测试994.7单元测试用例设计1004.8单元测试过程1014.8.1测试策划1024.8.2静态测试1034.8.3动态测试1114.8.4测试总结113
第5章集成测试1145.1概述1145.1.1集成测试的定义1145.1.2集成测试的目的1155.1.3集成测试的重要性1165.2集成测试原则1175.3集成测试环境1175.4集成测试策略1185.4.1大爆炸式集成1195.4.2自顶向下集成1205.4.3自底向上集成1225.4.4三明治式集成1235.4.5核心系统先行集成1245.4.6分层集成1255.4.7基于功能的集成1265.4.8高频集成1275.4.9基于进度的集成1285.4.10基于使用的集成1285.4.11基于风险的集成1295.4.12客户服务器系统的集成1295.5集成测试内容1305.6测试方法1315.6.1体系结构分析1315.6.2模块分析1315.6.3接口分析1325.6.4可测试性分析1335.6.5集成测试策略分析1335.7集成测试用例设计1335.8集成测试过程1345.8.1测试策划1355.8.2测试设计与实现1375.8.3测试执行1385.8.4测试总结138
第6章配置项测试1406.1概述1406.1.1配置项测试的定义1406.1.2配置项测试的目的1406.1.3配置项测试的重要性1416.2配置项测试原则1416.3配置项测试环境1426.4配置项测试策略1436.5配置项测试内容1436.6配置项测试方法1446.6.1功能测试1456.6.2性能测试1466.6.3接口测试1476.6.4人机交互界面测试1486.6.5强度测试1496.6.6余量测试1496.6.7安全性测试1506.6.8恢复性测试1516.6.9边界测试1526.6.10数据处理测试1526.6.11安装性测试1536.6.12容量测试1546.7配置项测试用例设计1546.7.1概述1546.7.2SFME&FTA综合分析1556.7.3建立软件测试用例设计模式1586.7.4应用实例1596.8配置项测试过程1616.8.1测试策划1626.8.2测试设计与实现1636.8.3测试执行1646.8.4测试总结164
第7章系统测试1667.1概述1667.1.1系统测试的定义1667.1.2系统测试的目的1667.1.3系统测试的重要性1677.2系统测试原则1677.3系统测试环境1687.4系统测试策略1687.5系统测试内容1697.6系统测试方法1697.6.1可靠性测试1697.6.2互操作性测试1727.6.3兼容性测试1737.7系统测试用例设计1747.7.1概述1747.7.2系统形式化模型1757.7.3基于模型的系统测试1787.7.4实例1827.8系统测试过程184
第8章回归测试1858.1概述1858.1.1回归测试的定义1858.1.2回归测试的目的1868.1.3回归测试的重要性1868.2回归测试策略1878.3软件更动影响域分析方法1878.3.1黑盒测试更动影响域分析1878.3.2白盒测试更动影响域分析1918.4回归测试用例设计1958.4.1回归测试用例设计原则1958.4.2已有测试用例的选取1958.5回归测试过程198
第9章面向对象软件测试2009.1面向对象软件简介2009.2面向对象软件测试概述2039.2.1面向对象软件的特点对测试的影响2039.2.2面向对象软件测试和传统测试的不同2049.2.3面向对象软件测试分类2059.3面向对象软件测试模型2059.3.1面向对象分析测试2069.3.2面向对象设计测试2089.3.3面向对象编程测试2089.3.4面向对象单元测试2099.3.5面向对象集成测试2129.3.6面向对象系统测试215
第10章FPGA测试21810.1FPGA测试概述21810.1.1可编程逻辑器件的基本概念21810.1.2硬件描述语言的发展历程21910.1.3VHDL语言21910.1.4Verilog HDL语言22010.1.5面向可编程逻辑器件的开发过程22010.1.6可编程逻辑器件软件与传统软件的不同22210.1.7全过程域的可编程逻辑器件测试框架22310.2静态测试22310.2.1文档审查22410.2.2代码审查22710.2.3编码规则检查22910.2.4跨时钟域分析23010.2.5等效性验证23510.2.6静态时序分析23910.3仿真测试24310.3.1仿真测试的特点24410.3.2仿真测试平台的组成24510.3.3仿真测试的流程24510.3.4功能仿真测试24710.3.5门级仿真测试24810.3.6时序仿真测试24810.3.7仿真测试支持工具24910.4软硬协同验证25010.4.1验证环境构成25010.4.2支持工具25110.5板级验证25110.5.1作用25110.5.2板级验证的典型环境25210.5.3板级验证的流程252
第11章测试工具25411.1概述25411.2静态测试工具25511.2.1Logiscope25511.2.2PRQA25711.2.3SpyGlass25911.2.4PrimeTime26111.2.5Formalpro26111.2.6其他静态测试工具26211.3动态测试工具26211.3.1QACenter26211.3.2WinRunner26511.3.3JUnit26611.3.4Testbed26811.3.5CodeTest27011.3.6QuestaSim27111.3.7其他动态测试工具27211.4测试管理工具27211.4.1TestCenter27211.4.2TPManager27411.4.3其他测试工具278
第12章软件测试文档27912.1概述27912.2制定测试计划28012.2.1测试计划内容28012.2.2测试计划模板28112.2.3测试计划常见问题28412.3测试设计与实现28512.3.1测试设计与实现的内容28612.3.2测试说明模板28712.3.3测试设计与实现常见问题28812.4测试执行29012.4.1测试执行的内容29012.4.2测试执行模板29012.4.3测试实施常见问题29212.5测试总结29312.5.1测试总结的内容29312.5.2测试总结模板29412.5.3测试总结常见问题296
参考文献298
|
內容試閱:
|
软件开发与测试丛书序
为应对软件危机的挑战,人们在20世纪60年代末提出借鉴传统行业在质量管理方面的经验,用工程化的思想来管理软件,以提高复杂软件系统的质量和开发效率,即软件工程化。40多年以来,软件已广泛应用到各个工程领域乃至生活的各个方面,极大地提高了社会信息化水平,软件工程也早已深入人心。质量是产品的生命,对软件尤其如此。软件的直观性远不及硬件,软件的质量管理相对困难得多;但与传统行业类似,大型复杂软件的质量在很大程度上取决于软件过程质量。质量评估是质量管理的关键,没有科学的评估标准和方法,就无从有效地管理质量,软件评测是质量评估的最有效和最重要的手段之一。北京跟踪与通信技术研究所软件评测中心是从事软件评测与工程化管理的专业机构,是在我国大力发展航天事业的背景下,为保障载人航天工程软件质量,经原国防科工委批准,国内最早成立的第三方软件评测与工程化管理的技术实体组织之一。自成立以来,软件评测中心出色地完成了以载人航天工程、探月工程为代表的数百项重大工程关键软件评测项目,自主研发了测试仿真软件系统、测试辅助设计工具、评测项目与过程管理软件等一系列软件测试工具,为主制订了GBT 155322008《计算机软件测试规范》、GBT 93862008《计算机软件测试文档编制规范》、GJB 141《军用软件测试指南》等软件测试标准,深入研究了软件测试自动化、缺陷分析与预测、可信性分析与评估、测试用例复用等软件测试技术,在嵌入式软件、非嵌入式软件和可编程逻辑器件软件等不同类型软件测试领域,积累了丰富的测试经验和强大的技术实力。为进一步促进技术积累和对外交流,北京跟踪与通信技术研究所组织编写了本套丛书。本丛书是软件评测中心多年来技术经验的结晶,致力于以资深软件从业者和工程一线技术人员的视角,融会贯通软件工程特别是软件测试、质量评估与过程管理等领域相关的知识、技术和方法。本丛书的特色是重点突出、实用性强,每本书针对不同方向,着重介绍实践中常用的、好用的技术内容,并配以相应的范例、模板、算法或工具,具有很高的参考价值。本丛书将为具有一定知识基础和工作经验、想要实现快速进阶的从业者提供一套内容丰富的实践指南。对于要对工作经验较少的初入职人员进行技术培训、快速提高其动手能力的单位或机构,本丛书也是一套难得的参考资料。
丛书编审委员会2015年5月6日软件测试是保障软件质量的重要手段,是构建高可信软件的关键环节。随着软件应用的日益广泛,人们对软件测试重要性的认识越来越深刻。20世纪80年代以来,特别是在最近一二十年间,软件测试无论是作为一项技术、一门学科还是作为一个行业,都得到了快速蓬勃的发展。本书定位于一本软件测试方法和技术的实用指南,紧扣软件测试实际和标准规范要求,结合行业内软件测试现状,系统地介绍软件测试相关的知识、方法、技术和软件工具,给出较为详细的软件测试过程技术文档模板。本书旨在帮助软件从业人员了解软件测试的基础知识、一般流程、实用技术方法和常用测试工具,提高技术能力和过程能力水平,以及帮助软件测试机构建立测试能力体系,规范软件测试过程管理。本书是作者多年从事软件测试工程实践和技术方法研究的经验总结,与其他公开教材相比,主要特色有: 实用性强,本书紧扣软件测试实际和标准规范要求,着重介绍测试实践中常用和好用的知识、技术和方法;视角特殊,本书从第三方测评的角度,系统地阐述适用于工程实践的测试方法和技术,反映行业实际需求和技术发展动态。本书共有12章,可分为5大部分。第一部分(第1章)是软件测试概述,简要介绍软件测试发展历程、软件测试典型定义、软件测试一般原则、常用软件测试模型、常见软件测试级别与测试类型、软件测试相关的标准规范等基本内容。第二部分(第2、3章)是软件测试技术,结合程序实例,分别介绍静态测试技术和动态测试技术,并对典型技术进行比较分析。第三部分(第4~7章)按照不同的测试级别,从测试原则、测试环境、测试策略、测试内容、测试方法、测试过程等方面分别介绍单元测试、集成测试、配置项测试和系统测试中的实用测试方法与技术。第四部分(第8~10章)以独立章节分别介绍回归测试、面向对象软件测试和FPGA测试等专门测试类别中的实用测试方法与技术。第五部分(第11、12章)主要内容是测试实践,第11章分别介绍了在静态测试、动态测试和测试管理中常用的软件工具。第12章着重介绍测试策划、测试设计、测试实施和测试总结等测试过程中常用的技术文档,给出通用技术文档模板。软件测试包含大量相关的活动,有些是技术性的,有些是管理性的,还有些是相互交织的。例如,单元测试、集成测试、配置项测试、系统测试、回归测试中测试用例、测试数据和测试期望结果的设计是典型的技术性活动;人员计划、成本预算以及配置管理、项目监控中的大部分内容是典型的管理性活动。如前所述,本书偏重于讲述软件测试的技术性活动,软件测试的管理性活动将在本套丛书的另一本书《软件测试管理》中重点介绍。本书第1~3章由张卫祥编写,第4~7章和第12章由刘文红编写,第8章由陈青编写,第9章由齐玉华编写,第10章由司倩然编写,第11章由马贤颖和司倩然编写。全书由刘文红、杜会森统稿。赵辉、张卫民、杨宝明、李国华、牛胜芬等专家审阅了初稿并提出了许多宝贵意见。在本书编写过程中,得到了北京跟踪与通信技术研究所,特别是软件评测中心的大力支持,还得到了编者同事、朋友和家人的关心与帮助,在此一并表示感谢!由于水平有限,本书肯定还存在不少问题,敬请大家批评指正。
编者 2017年4月
|
|