软件测试基础（英文版）

图书标准信息

• 作者 阿曼（Paul Ammann）、奥法特（Jeff Offutt） 著
• 出版社 机械工业出版社
• 出版时间 2009-10
• 版次 1
• ISBN 9787111282464
• 定价 42.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 308页
• 正文语种 英语
• 丛书 经典原版书库

【内容简介】

　　IntroductiontoSoftwareTesting（ISBN978-0-521-88038-1）byPaulAmmannandJeffOffuttfirstpublishedbyCambridgeUniversityPressin2008.
　　Allrightsreserved.
　　ThisreprinteditionforthePeopleSRepublicofChinaispublishedbyarrangementwiththePressSyndicateoftheUniversityofCambridge，Cambridge，UnitedKingdom.
　　◎CambridgeUniversityPress&ChinaMachinePressin2009.
　　ThiseditionisforsaleinthemainlandofChinaonly，excludingHongKongSAR，MacaoSARandTaiwan，andmaynotbeboughtforexporttherefrom.
　　《软件测试基础（英文版）》由机械工业出版社和剑桥大学出版社合作出版。

【作者简介】

　　PaulAmmann，在美国维吉尼亚大学获得计算机科学博士学位，现为乔治·梅森大学软件工程副教授。他于2007年获得乔治·梅森大学Volgenau信息技术与工程学院的杰出教学奖。
　　JeffOffutt，在乔治亚理工学院获得计算机博士学位，现为乔治·梅森大学软件工程教授。他是（（JournalofSoftwareTesting，VerificationandReliability））的主编，是IEEE软件测试、验证和确认国际会议指导委员会主席，还是许多期刊的编委。他于2003年获得乔治·梅森大学Volgenau信息技术与工程学院的优秀教师奖。

【目录】

Preface
Part1Overview
1Introduction
1.1ActivitiesofaTestEngineer
1.1.1TestingLevelsBasedonSoftwareActivity
1.1.2BeizersTestingLevelsBasedonTestProcessMaturity
1.1.3AutomationofTestActivities
1.2SoftwareTestingLimitationsandTerminology
1.3CoverageCriteriaforTesting
1.3.1InfeasibilityandSubsumption
1.3.2CharacteristicsofaGoodCoverageCriterion
1.4OlderSoftwareTestingTerminology
1.5BibliographicNotes

Part2CoverageCriteria
2GraphCoverage
2.1Overview
2.2GraphCoverageCriteria
2.2.1StructuralCoverageCriteria
2.2.2DataFlowCriteria
2.2.3SubsumptionRelationshipsamongGraphCoverageCriteria
2.3GraphCoverageforSourceCode
2.3.1StructuralGraphCoverageforSourceCode
2.3.2DataFlowGraphCoverageforSourceCode
2.4GraphCoverageforDesignElements
2.4.1StructuralGraphCoverageforDesignElements
2.4.2DataFlowGraphCoverageforDesignElements
2.5GraphCoverageforSpecifications
2.5.1TestingSequencingConstraints
2.5.2TestingStateBehaviorofSoftware
2.6GraphCoverageforUseCases
2.6.1UseCaseScenarios
2.7RepresentingGraphsAlgebraically
2.7.1ReducingGraphstoPathExpressions
2.7.2ApplicationsofPathExpressions
2.7.3DerivingTestInputs
2.7.4CountingPathsinaFlowGraphandDeterminingMaxPathLength
2.7.5MinimumNumberofPathstoReachAllEdges
2.7.6ComplementaryOperationsAnalysis
2.8BibliographicNotes

3LogicCoverage
3.1Overview:LogicPredicatesandClauses
3.2LogicExpressionCoverageCriteria
3.2.1ActiveClauseCoverage
3.2.2InactiveClauseCoverage
3.2.3InfeasibilityandSubsumption
3.2.4MakingaClauseDetermineaPredicate
3.2.5FindingSatisfyingValues
3.3StructuralLogicCoverageofPrograms
3.3.1PredicateTransformationIssues
3.4Specification-BasedLogicCoverage
3.5LogicCoverageofFiniteStateMachines
3.6DisjunctiveNormalFormCriteria
3.7BibliographicNotes

4InputSpacePartitioning
4.1InputDomainModeling
4.1.1Interface-BasedInputDomainModeling
4.1.2Functionality-BasedInputDomainModeling
4.1.3IdentifyingCharacteristics
4.1.4ChoosingBlocksandValues
4.1.5UsingMorethanOneInputDomainModel
4.1.6CheckingtheInputDomainModel
4.2CombinationStrategiesCriteria
4.3ConstraintsamongPartitions
4.4BibliographicNotes

5Syntax-BasedTesting
5.1Syntax.BasedCoverageCriteria
5.1.1BNFCoverageCriteria
5.1.2MutationTesting
5.2Program.BasedGrammars
5.2.1BNFGrammarsforLanguages
5.2.2Program.BasedMutation
5.3IntegrationandObject-OrientedTesting
5.3.1BNFIntegrationTesting
5.3.2IntegrationMutation
5.4Specification.BasedGrammars
5.4.1BNFGrammars
5.4.2Specification.BasedMutation
5.5InputSpaceGrammars
5.5.1BNFGrammars
5.5.2MutationforInputGrammars
5.6BibliographicNotes

Part3ApplyingCriteriaInPractice
6PractlcaICOnsIderatIOnS
6.1RegressionTesting
6.2IntegrationandTesting
6.2.1StubsandDrivers
6.2.2ClassIntegrationTestOrder
6.3TestProcess
6.3.1RequirementsAnalysisandSpecification
6.3.2SystemandSoftwareDesign
6.3.3IntermediateDesign
6.3.4DetailedDesign
6.3.5Implementation
6.3.6Integration
6.3.7SystemDeployment
6.3.8OperationandMaintenance
6.3.9Summary
6.4TestPlans
6.5IdentifyingCorrectOutputs
6.5.1DirectVerificationofOutputs
6.5.2RedundantComputations
6.5.3ConsistencyChecks
6.5.4DataRedundancy
6.6BibliographicNotes

7EngineeringCriteriaforTechnologies
7.1TestingObject.OrientedSoftware
7.1.1UniqueIssueswithTestingOOSoftware
7.1.2TypesofObiect-OrientedFaults
7.2TestingWebApplicationsandWebServices
7.2.1TestingStaticHyperTextWebSites
7.2.2TestingDynamicWebApplications
7.2.3TestingWebServices
7.3TestingGraphicalUserInterfaces
7.3.1TestingGUIs
7.4Real.TimeSoftwareandEmbeddedSoftware
7.5BibliographicNotes

8BuildingTestingTools
8.1InstrumentationforGraphandLogicalExpressionCriteria
8.1.1NodeandEdgeCoverage
8.1.2DataFlowCoverage
8.1.3LogicCoverage
8.2BuildingMutationTestingTools
8.2.1111eInterpretationApproach
8.2.2T]heSeparateCompilationApproach
8.2.3TheSchema.BasedApproach
8.2.4UsingJavaRefle~ion
8.2.5ImplementingaModemMutationSystem
8.3BibliographicNotes

9ChallengesInTestingSoftware
9.1TestingforEmergentProperties：SafetyandSecurity
9.1.1ClassesofTestCasesforEmergentProperties
9.2SoftwareTestability
9.2.1TestabilityforCommonTechnologies
9.3TestCriteriaandtheFUtureofSoftwareTesting
9.3.1GoingForwardwithTestingResearch
9.4BibliographicNotes
Listofcriteria
Bibliography
Index