软件测试基础

软件测试基础

(美) 安曼 (Ammann,A.) , 等主编

出版社:机械工业出版社

年代:2009

定价:45.0

书籍简介:

本书通过将测试定义为几个通用的测试准则应用于软件结构或软件模型的过程,讲述了软件测试的创新方法。本书直接根据教学方法来组织结构,并纳入了最新的测试技术,包括现代类型的软件,如面向对象、Web应用和嵌入式软件。

书籍目录:

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

6PracticalConsiderations

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.2TypesofObject-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.1TheInterpretationApproach

8.2.2TheSeparateCompilationApproach

8.2.3TheSchema-BasedApproach

8.2.4UsingJavaReflection

8.2.5ImplementingaModernMutationSystem

8.3BibliographicNotes

9ChallengesInTestingSoftware

9.1TestingforEmergentProperties:SafetyandSecurity

9.1.1ClassesofTestCasesforEmergentProperties

9.2SoftwareTestability

9.2.1TestabilityforCommonTechnologies

9.3TestCriteriaandtheFutureofSoftwareTesting

9.3.1GoingForwardwithTestingResearch

9.4BibliographicNotes

ListofCriteria

Bibliography

Index

内容摘要:

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

书籍规格:

书籍详细信息
书名软件测试基础站内查询相似图书
丛书名经典原版书库
9787111282464
如需购买下载《软件测试基础》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位机械工业出版社
版次1版印次1
定价(元)45.0语种英文
尺寸26 × 0装帧平装
页数 322 印数 3000

书籍信息归属:

软件测试基础是机械工业出版社于2009.9出版的中图分类号为 TP311.5 的主题关于 软件-测试-英文 的书籍。