• 软件测试基础(英文版)
图书条目标准图
21年品牌 40万+商家 超1.5亿件商品

软件测试基础(英文版)

下午5点前订单,当日发货!超时赔付

4.95 1.2折 42 九五品

仅1件

四川成都
认证卖家担保交易快速发货售后保障

作者阿曼(Paul Ammann)、奥法特(Jeff Offutt) 著

出版社机械工业出版社

出版时间2009-10

版次1

装帧平装

货号9787111282464503

上书时间2024-08-13

才华有限

四年老店
已实名 已认证 进店 收藏店铺

   商品详情   

品相描述:九五品
图书标准信息
  • 作者 阿曼(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
点击展开 点击收起

—  没有更多了  —

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP