软件测试基础 （英文版） 2025 chm pdf kindle rb azw3 下载 115盘

本书采用创新方法来讲述软件测试，定义测试为将几个通用的测试准则应用于软件结构或软件模型的过程。书中融入了*的测试技术，包括现代软件方法（如面向对象），Web应用程序和嵌入式软件。另外，本书包含了大量的实例。

Preface

Part 1 Overview

　1　Introduction

　　1.1 Activities of a Test Engineer

　　　1.1.1 Testing Levels Based on Software Activity

　　　1.1.2 Beizer's Testing Levels Based on Test Process Maturity

　　　1.1.3 Automation of Test Activities

　　1.2 Software Testing Limitations and Terminology

　　1.3 Coverage Criteria for Testing

　　　1.3.1 Infeasibility and Subsumption

　　　1.3.2 Characteristics of a Good Coverage Criterion

　　1.4 Older Software Testing Terminology

　　1.5 Bibliographic Notes

Part 2 Coverage Criteria

　2　Graph Coverage

　　2.1 Overview

　　2.2 Graph Coverage Criteria

　　　2.2.1 Structural Coverage Criteria

　　　2.2.2 Data Flow Criteria

　　　2.2.3 Subsumption Relationships among Graph Coverage Criteria

　　2.3 Graph Coverage for Source Code

　　　2.3.1 Structural Graph Coverage for Source Code

　　　2.3.2 Data Flow Graph Coverage for Source Code

2.4 Graph Coverage for Design Elements

　　　2.4.1 Structural Graph Coverage for Design Elements

　　　2.4.2 Data Flow Graph Coverage for Design Elements

2.5 Graph Coverage for Specifications

　　　2.5.1 Testing Sequencing Constraints

　　　2.5.2 Testing State Behavior of Software

2.6 Graph Coverage for Use Cases

　　　2.6.1 Use Case Scenarios

2.7 Representing Graphs Algebraically

　　　2.7.1 Reducing Graphs to Path Expressions

　　　2.7.2 Applications of Path Expressions

　　　2.7.3 Deriving Test Inputs

　　　2.7.4 Counting Paths in a Flow Graph and Determining Max Path Length

　　　2.7.5 Minimum Number of Paths to Reach All Edges

　　　2.7.6 Complementary Operations Analysis

2.8 Bibliographic Notes

　3　Logic Coverage

3.1 Overview: Logic Predicates and Clauses

3.2 Logic Expression Coverage Criteria

　　　3.2.1 Active Clause Coverage

　　　3.2.2 Inactive Clause Coverage

　　　3.2.3 Infeasibility and Subsumption

　　　3.2.4 Making a Clause Determine a Predicate

　　　3.2.5 Finding Satisfying Values

3.3 Structural Logic Coverage of Programs

　　　3.3.1 Predicate Transformation Issues

3.4 Specification-Based Logic Coverage

　　3.5 Logic Coverage of Finite State Machines

3.6 Disjunctive Normal Form Criteria

3.7 Bibliographic Notes

　4 Input Space Partitioning

4.1 Input Domain Modeling

　　　 4.1.1 Interface-Based Input Domain Modeling

　　　 4.1.2 Functionality-Based Input Domain Modeling

　　　 4.1.3 Identifying Characteristics

　　　 4.1.4 Choosing Blocks and Values

　　　 4.1.5 Using More than One Input Domain Model

　　　 4.1.6 Checking the Input Domain Model

4.2 Combination Strategies Criteria

4.3 Constraints among Partitions

4.4 Bibliographic Notes

　5 Syntax-Based Testing

Part 3 Applying Criteria in Practice

　6　Practical Considerations

　7　Engineering Criteria for Technologies

　8　Building Testing Tools

　9　Challenges In Testing Software

List of Criteria

Bibliography

Index

Paul Ammann，在美国维吉尼亚大学获得计算机科学博士学位，现为乔治·梅森大学软件工程副教授。他于2007年获得乔治·梅森大学Volgenau信息技术与工程学院的杰出教学奖。

Jeff Offutt，在乔治亚理工学院获得计算机博士学位，现为乔治·梅森大学软件工程教授。他是（（Journal of Software Testing，Verification and Reliability））的主编，是IEEE软件测试、验证和确认国际会议指导委员会主席，还是许多期刊的编委。他于2003年获得乔治·梅森大学Volgenau信息技术与工程学院的优秀教师奖。

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：软件测试基础 （英文版）在线阅读

在线听书地址：软件测试基础 （英文版）在线收听

在线购买地址：软件测试基础 （英文版）在线购买

暂无原文赏析，正在全力查找中！

媒体评论

“关于测试的书很多，但是大部分书涉及的主题范围都很窄并且讲述不详细。而Ammann和Offutt的这本书中所展示的概念和技术广泛地覆盖了业界和学术界使用的各种语言及平台，是一本全面、实用的测试书。”

　　　　——Roger Alexander，华盛顿州立大学

书籍介绍

《软件测试基础(英文版)》内容简介：Introduction to Software Testing（ISBN 978-0-521-88038-1）by Paul Ammann and Jeff Offuttfirst published by Cambridge University Press in 2008.

All rights reserved.

This reprint edition for the People'S Republic of China is published by arrangement with thePress Syndicate of the University of Cambridge，Cambridge，United Kingdom.

◎Cambridge University Press&China Machine Press in 2009.

This edition is for sale in the mainland of China only，excluding Hong Kong SAR，Macao SARand Taiwan，and may not be bought for export therefrom.

《软件测试基础(英文版)》由机械工业出版社和剑桥大学出版社合作出版。