孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

软件测试：原理与实践（英文版·第2版）

软件测试：原理与实践（英文版·第2版）
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: [爱尔兰]
出版社: 机械工业出版社
2019-05
版次: 1
ISBN: 9787111624066
定价: 69.00
装帧: 其他
开本: 16开
纸张: 胶版纸
页数: 301页
字数: 300千字
分类: 教材教辅考试>教材>大学教材>工程技术
24人买过
  • 本书的内容基于爱尔兰国立大学梅努斯和浙江大学的一系列课程讲稿。该书覆盖了软件测试的基本原理和主要方法，可以作为软件测试全英课程或双语课程的教材。 Prefaceii

    1 Introduction1

    1.1 The Software Industry1

    1.1.1 Software Testing and Quality2

    1.1.2 Software Testing and Risk Management3

    1.2 Mistakes, Faults and Failures3

    1.2.1 Software Faults4

    1.2.2 Software Failures5

    1.2.3 Need for Testing6

    1.3 The Role of Specifications8

    1.4 Overview of Testing9

    1.4.1 Testing in the Development Process9

    1.4.2 Test Automation9

    1.5 The Theory of Testing10

    1.5.1 Exhaustive Testing Example11

    1.5.2 Implications11

    1.5.3 When To Finish Testing12

    1.6 Book Structure13

    1.6.1 Order of Testing14

    1.6.2 Programming Language14

    1.6.3 Level of Detail14

    1.6.4 Code Examples14

    1.7 Notes on Terminology14

    2 Principles  of Software Testing15

    2.1 Static Verification15

    2.1.1 Walk-throughs16

    2.1.2 Code Reviews/Inspections16

    2.1.3 Formal Methods and Testing18

    2.2 Dynamic Verification19

    2.3 Black-Box and White-Box Testing19

    2.3.1 Errors of “Omission” and “Commission” 21

    2.4 Test Approaches22

    2.4.1 Black-Box Testing22

    2.4.2 White-Box Testing23

    2.4.3 Fault Insertion24

    2.5 Test Design Process24

    2.5.1Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  25

    2.5.2Generating Test Cases . . . . . . . . . . . . . . . . . . . . . . . . .  25

    2.5.3Generating Test Data . . . . . . . . . . . . . . . . . . . . . . . . .  26

    2.5.4Implementing Tests . . . . . . . . . . . . . . . . . . . . . . . . . .  26

    2.6 Analysis of Software Specifications . . . . . . . . . . . . . . . . . . . . . .  27

    2.6.1Parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  27

    2.6.2Parameter Ranges . . . . . . . . . . . . . . . . . . . . . . . . . . .  27

    2.6.3Equivalence Partitions . . . . . . . . . . . . . . . . . . . . . . . . .  28

    2.6.4Boundary Values . . . . . . . . . . . . . . . . . . . . . . . . . . . .  29

    2.6.5Combinations of Values . . . . . . . . . . . . . . . . . . . . . . . .  30

    2.6.6Sequences of Values . . . . . . . . . . . . . . . . . . . . . . . . . .  38

    2.7 Analysis of Software Components . . . . . . . . . . . . . . . . . . . . . .  40

    2.7.1Control Flow Graphs . . . . . . . . . . . . . . . . . . . . . . . . . .  40

    2.7.2Decisions and Conditions . . . . . . . . . . . . . . . . . . . . . . .  43

    2.7.3Paths . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  44

    2.7.4Data Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  47

    2.8 Analysis of Targets for Fault Insertion . . . . . . . . . . . . . . . . . . . .  47

    2.8.1Offutt’s 5 Sufficient Mutations   . . . . . . . . . . . . . . .  . . . . .  47

    2.9 TestArtefacts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  48

    3 Unit Testing50

    3.1 Techniques50

    3.2 Usage51

    3.3 Black-Box Techniques52

    3.3.1 Equivalence Partitioning (EP)52

    3.3.2 Boundary Value Analysis (BVA)53

    3.3.3 Testing Combinations of Inputs55

    3.3.4 Testing Sequences of Inputs/State-Based Testing56

    3.3.5  Testing with Random Data . . . . . . . . . . . . . . . . . . . . . .  56

    3.3.6 Error Guessing/Expert Opinion . . . . . . . . . . . . . . . . . . . .  58

    3.4White-Box Techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  59

    3.4.1Statement Coverage (SC) . . . . . . . . . . . . . . . . . . . . . . .  60

    3.4.2 Branch Coverage (BC) . . . . . . . . . . . . . . . . . . . . . . . . .  61

    3.4.3 Condition Coverage (CC) . . . . . . . . . . .  . . . . . . . . . . .  62

    3.4.4 Decision Condition Coverage (DCC) . . . . . . . . . . . . . . . . .  64

    3.4.5 Multiple Condition Coverage (MCC) . . . . . . . . . . . . . . . . .65

    3.4.6 Modified Condition Decision Coverage (MCDC) . . . . . . . . . .66

    3.4.7 Path Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  67

    3.4.8 Dataflow Coverage (DU Pairs) . . . . . . . . . . . . . . . . . . . .  68

    3.5 Fault Insertion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  69

    3.5.1 Strong Mutation Testing . . . . . . . . . . . . . . . . . . . . . . . .  69

    3.6Test Ranking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  70

    4 Unit Testing Examples 71

    4.1Example One: fits() . .
  • 内容简介:
    本书的内容基于爱尔兰国立大学梅努斯和浙江大学的一系列课程讲稿。该书覆盖了软件测试的基本原理和主要方法，可以作为软件测试全英课程或双语课程的教材。
  • 目录:
    Prefaceii

    1 Introduction1

    1.1 The Software Industry1

    1.1.1 Software Testing and Quality2

    1.1.2 Software Testing and Risk Management3

    1.2 Mistakes, Faults and Failures3

    1.2.1 Software Faults4

    1.2.2 Software Failures5

    1.2.3 Need for Testing6

    1.3 The Role of Specifications8

    1.4 Overview of Testing9

    1.4.1 Testing in the Development Process9

    1.4.2 Test Automation9

    1.5 The Theory of Testing10

    1.5.1 Exhaustive Testing Example11

    1.5.2 Implications11

    1.5.3 When To Finish Testing12

    1.6 Book Structure13

    1.6.1 Order of Testing14

    1.6.2 Programming Language14

    1.6.3 Level of Detail14

    1.6.4 Code Examples14

    1.7 Notes on Terminology14

    2 Principles  of Software Testing15

    2.1 Static Verification15

    2.1.1 Walk-throughs16

    2.1.2 Code Reviews/Inspections16

    2.1.3 Formal Methods and Testing18

    2.2 Dynamic Verification19

    2.3 Black-Box and White-Box Testing19

    2.3.1 Errors of “Omission” and “Commission” 21

    2.4 Test Approaches22

    2.4.1 Black-Box Testing22

    2.4.2 White-Box Testing23

    2.4.3 Fault Insertion24

    2.5 Test Design Process24

    2.5.1Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  25

    2.5.2Generating Test Cases . . . . . . . . . . . . . . . . . . . . . . . . .  25

    2.5.3Generating Test Data . . . . . . . . . . . . . . . . . . . . . . . . .  26

    2.5.4Implementing Tests . . . . . . . . . . . . . . . . . . . . . . . . . .  26

    2.6 Analysis of Software Specifications . . . . . . . . . . . . . . . . . . . . . .  27

    2.6.1Parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  27

    2.6.2Parameter Ranges . . . . . . . . . . . . . . . . . . . . . . . . . . .  27

    2.6.3Equivalence Partitions . . . . . . . . . . . . . . . . . . . . . . . . .  28

    2.6.4Boundary Values . . . . . . . . . . . . . . . . . . . . . . . . . . . .  29

    2.6.5Combinations of Values . . . . . . . . . . . . . . . . . . . . . . . .  30

    2.6.6Sequences of Values . . . . . . . . . . . . . . . . . . . . . . . . . .  38

    2.7 Analysis of Software Components . . . . . . . . . . . . . . . . . . . . . .  40

    2.7.1Control Flow Graphs . . . . . . . . . . . . . . . . . . . . . . . . . .  40

    2.7.2Decisions and Conditions . . . . . . . . . . . . . . . . . . . . . . .  43

    2.7.3Paths . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  44

    2.7.4Data Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  47

    2.8 Analysis of Targets for Fault Insertion . . . . . . . . . . . . . . . . . . . .  47

    2.8.1Offutt’s 5 Sufficient Mutations   . . . . . . . . . . . . . . .  . . . . .  47

    2.9 TestArtefacts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  48

    3 Unit Testing50

    3.1 Techniques50

    3.2 Usage51

    3.3 Black-Box Techniques52

    3.3.1 Equivalence Partitioning (EP)52

    3.3.2 Boundary Value Analysis (BVA)53

    3.3.3 Testing Combinations of Inputs55

    3.3.4 Testing Sequences of Inputs/State-Based Testing56

    3.3.5  Testing with Random Data . . . . . . . . . . . . . . . . . . . . . .  56

    3.3.6 Error Guessing/Expert Opinion . . . . . . . . . . . . . . . . . . . .  58

    3.4White-Box Techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  59

    3.4.1Statement Coverage (SC) . . . . . . . . . . . . . . . . . . . . . . .  60

    3.4.2 Branch Coverage (BC) . . . . . . . . . . . . . . . . . . . . . . . . .  61

    3.4.3 Condition Coverage (CC) . . . . . . . . . . .  . . . . . . . . . . .  62

    3.4.4 Decision Condition Coverage (DCC) . . . . . . . . . . . . . . . . .  64

    3.4.5 Multiple Condition Coverage (MCC) . . . . . . . . . . . . . . . . .65

    3.4.6 Modified Condition Decision Coverage (MCDC) . . . . . . . . . .66

    3.4.7 Path Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  67

    3.4.8 Dataflow Coverage (DU Pairs) . . . . . . . . . . . . . . . . . . . .  68

    3.5 Fault Insertion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  69

    3.5.1 Strong Mutation Testing . . . . . . . . . . . . . . . . . . . . . . . .  69

    3.6Test Ranking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  70

    4 Unit Testing Examples 71

    4.1Example One: fits() . .
查看详情
相关分类
一年级 二年级 三年级 四年级 五年级 六年级 小升初 小学通用 初一 初二 初三 中考 初中通用 高一
相关图书 / 更多
软件测试：原理与实践（英文版·第2版）
软件工程(第7版微课版十三五职业教育国家规划教材)
高树芳 主编
￥13.16 起
软件测试：原理与实践（英文版·第2版）
软件测试技术任务驱动式教程(第2版)
吴伶琳、王明珠 编
￥12.00 起
软件测试：原理与实践（英文版·第2版）
软件工程实践教程：基于开源和群智的方法
毛新军；王涛；余跃
￥1.00 起
软件测试：原理与实践（英文版·第2版）
软件测试
崔义 主编；任淑艳
￥15.20 起
软件测试：原理与实践（英文版·第2版）
软件性能测试实战教程（LoadRunner与JMeter）
周百顺 主编；张伟
￥45.98 起
软件测试：原理与实践（英文版·第2版）
软件测试基础教程 软硬件技术 高尚兵，高丽主编 新华正版
高尚兵，高丽主编
￥24.30 起
软件测试：原理与实践（英文版·第2版）
软件工程--理论与实践
毛新军 董威
￥37.13 起
软件测试：原理与实践（英文版·第2版）
软件文化基础（第二版）
覃征；党璇；易建山；王国龙；张紫欣；徐树皓；吴浔
￥72.00 起
软件测试：原理与实践（英文版·第2版）
软件安全
邹德清
￥25.00 起
软件测试：原理与实践（英文版·第2版）
软件需求工程方法与实践
金芝、刘璘、陈小红、李童
￥35.10 起
软件测试：原理与实践（英文版·第2版）
软件工程原理与实践 沈备军 万成城 陈昊鹏 陈雨亭
沈备军 万成城 陈昊鹏 陈雨亭
￥31.90 起
软件测试：原理与实践（英文版·第2版）
软件化雷达模型重构与数据流仿真技术
王磊
￥71.70 起
您可能感兴趣 / 更多
软件测试：原理与实践（英文版·第2版）
梅芙·宾奇治愈三部曲（套装全3册）
[爱尔兰]梅芙·宾奇 著
￥56.00 起
软件测试：原理与实践（英文版·第2版）
去野吧，小家伙
[爱尔兰]奥利维娅·霍普
￥23.90 起
软件测试：原理与实践（英文版·第2版）
焦虑的孩子：关于儿童青少年焦虑问题的心理研究
[爱尔兰]夏洛特·威尔逊（Charlotte Wilson）
￥22.00 起
软件测试：原理与实践（英文版·第2版）
新民说·普罗提诺《九章集》导论
[爱尔兰]多米尼克·奥米拉 著；新民说 出品
￥15.89 起
软件测试：原理与实践（英文版·第2版）
贝克特书信集:贝克特书信集：第二卷（1941—1956）（全两册）
[爱尔兰]萨缪尔·贝克特 著；[英]乔治·克雷格【美】玛莎·道·费森菲尔德【英】丹·冈恩【美】洛伊丝·摩尔·奥维贝克 主编
￥40.00 起
软件测试：原理与实践（英文版·第2版）
都柏林人(书虫.牛津英语文学名著简写本)
[爱尔兰]詹姆斯·乔伊斯（James Joyce） 著；[英]克莱尔·韦斯特（Clare West） 改写
￥13.48 起
软件测试：原理与实践（英文版·第2版）
水最深的地方（村上春树、理查德·福特、希拉里·曼特尔等作家盛赞，希区柯克式悬念和欧·亨利式意外结局）
[爱尔兰]克莱尔·吉根 著；路旦俊 译
￥19.48 起
软件测试：原理与实践（英文版·第2版）
托菲
[爱尔兰]莎拉·克罗森 后浪
￥20.00 起
软件测试：原理与实践（英文版·第2版）
垂钓黑河上（美国国家图书奖得主科伦·麦凯恩经典短篇小说集）
[爱尔兰]科伦·麦凯恩
￥5.00 起
软件测试：原理与实践（英文版·第2版）
歌犬（美国国家图书奖得主科伦·麦凯恩讲述一个儿子与父亲如何和解的故事）
[爱尔兰]科伦·麦凯恩
￥12.00 起
软件测试：原理与实践（英文版·第2版）
德古拉的客人——勃拉姆·斯托克奇异故事集
[爱尔兰]勃拉姆·斯托克 著；王逢振 编；欧阳耀地 译
￥19.58 起
软件测试：原理与实践（英文版·第2版）
古代晚期的世界：150—750
[爱尔兰]彼得·布朗 后浪
￥30.70 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全