软件测试基础

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应用程序和嵌入式软件。另外，本书包含了大量的实例。