000 07630cam a2201129 a 4500
001 ocn441886970
003 OCoLC
005 20240523125531.0
006 m o d
007 cr cn|||||||||
008 090930s2009 njua ob 001 0 eng d
010 _z 2008045493
040 _aDG1
_beng
_epn
_cDG1
_dN$T
_dOCLCQ
_dOSU
_dYDXCP
_dEBLCP
_dIDEBK
_dE7B
_dDG1
_dOCLCQ
_dMHW
_dTXA
_dCDX
_dOCLCQ
_dCSU
_dOCLCQ
_dDEBSZ
_dOCLCQ
_dOCLCO
_dMERUC
_dUKDOC
_dOCLCF
_dOCLCO
_dCOO
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCQ
_dOCLCO
_dDEBBG
_dAZK
_dLOA
_dIAS
_dOCLCQ
_dDG1
_dCNNOR
_dOCLCQ
_dMOR
_dLIP
_dPIFAG
_dZCU
_dOTZ
_dOCLCQ
_dRRP
_dU3W
_dOCLCQ
_dBRL
_dSTF
_dWRM
_dCEF
_dNRAMU
_dICG
_dINT
_dVT2
_dAU@
_dOCLCQ
_dWYU
_dG3B
_dOCLCQ
_dA6Q
_dDKC
_dOCLCQ
_dUKCRE
_dVLY
_dOCLCO
_dVHC
_dOCLCQ
_dINARC
_dOCLCO
_dOCLCL
016 7 _a014937259
_2Uk
019 _a466447002
_a502453477
_a507428499
_a646833881
_a712985990
_a719419890
_a719448817
_a740993456
_a961488829
_a962681180
_a966099202
_a988406062
_a992030551
_a992928329
_a994930846
_a1037518684
_a1037943405
_a1038602413
_a1044182781
_a1045492203
_a1055402809
_a1056312451
_a1058043583
_a1060852393
_a1063873335
_a1063969795
_a1075552511
_a1081294601
_a1083593787
_a1100222121
_a1153464655
_a1162055588
_a1228550356
_a1290084932
_a1303507903
_a1392119960
020 _a9780470464076
020 _a0470464070
020 _a9780470464052
_q(electronic bk.)
020 _a0470464054
_q(electronic bk.)
020 _a9786612279676
020 _a6612279672
020 _z9780470404447
_q(cloth)
020 _z0470404442
_q(cloth)
024 7 _a10.1002/9780470464076
_2doi
029 1 _aAU@
_b000045454315
029 1 _aAU@
_b000053263594
029 1 _aAU@
_b000060064095
029 1 _aCDX
_b10775574
029 1 _aCHNEW
_b000934147
029 1 _aCHVBK
_b480144915
029 1 _aDEBBG
_bBV043390201
029 1 _aDEBBG
_bBV044137950
029 1 _aDEBSZ
_b372813089
029 1 _aDEBSZ
_b396289975
029 1 _aDEBSZ
_b400435314
029 1 _aDEBSZ
_b430764715
029 1 _aDEBSZ
_b449160742
029 1 _aHEBIS
_b24547014X
029 1 _aNLGGC
_b382168984
029 1 _aNZ1
_b14242098
035 _a(OCoLC)441886970
_z(OCoLC)466447002
_z(OCoLC)502453477
_z(OCoLC)507428499
_z(OCoLC)646833881
_z(OCoLC)712985990
_z(OCoLC)719419890
_z(OCoLC)719448817
_z(OCoLC)740993456
_z(OCoLC)961488829
_z(OCoLC)962681180
_z(OCoLC)966099202
_z(OCoLC)988406062
_z(OCoLC)992030551
_z(OCoLC)992928329
_z(OCoLC)994930846
_z(OCoLC)1037518684
_z(OCoLC)1037943405
_z(OCoLC)1038602413
_z(OCoLC)1044182781
_z(OCoLC)1045492203
_z(OCoLC)1055402809
_z(OCoLC)1056312451
_z(OCoLC)1058043583
_z(OCoLC)1060852393
_z(OCoLC)1063873335
_z(OCoLC)1063969795
_z(OCoLC)1075552511
_z(OCoLC)1081294601
_z(OCoLC)1083593787
_z(OCoLC)1100222121
_z(OCoLC)1153464655
_z(OCoLC)1162055588
_z(OCoLC)1228550356
_z(OCoLC)1290084932
_z(OCoLC)1303507903
_z(OCoLC)1392119960
037 _a227967
_bMIL
050 4 _aQA76.76.T48
_bH72 2009
072 7 _aCOM
_x051330
_2bisacsh
072 7 _aCOM
_x052000
_2bisacsh
072 7 _aCOM
_x037000
_2bisacsh
072 7 _aCOM
_x013000
_2bisacsh
072 7 _aCOM
_x032000
_2bisacsh
072 7 _aCOM
_x018000
_2bisacsh
072 7 _aCOM
_x014000
_2bisacsh
072 7 _aCOM
_x067000
_2bisacsh
082 0 4 _a005.1/4
_222
082 0 4 _a004
_222
049 _aMAIN
100 1 _aHuang, J. C.,
_d1935-
_1https://id.oclc.org/worldcat/entity/E39PCjqvJhk8q9hBmkjthCc6w3
245 1 0 _aSoftware error detection through testing and analysis /
_cJ.C. Huang.
260 _aHoboken, N.J. :
_bJohn Wiley & Sons,
_c�2009.
300 _a1 online resource (x, 259 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
504 _aIncludes bibliographical references (pages 237-251) and index.
505 0 _aSOFTWARE ERROR DETECTION THROUGH TESTING AND ANALYSIS; CONTENTS; Preface; 1 Concepts, Notation, and Principles; 2 Code-Based Test-Case Selection Methods; 3 Specification-Based Test-Case Selection Methods; 4 Software Testing Roundup; 5 Analysis of Symbolic Traces; 6 Static Analysis; 7 Program Instrumentation; Appendix A: Logico-Mathematical Background; Appendix B: Glossary; Appendix C: Questions for Self-Assessment; Bibliography; Index.
520 _aAn in-depth review of key techniques in software error detection. Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through Testing and Analysis begins with a thorough discussion of test-case selection and a review of the concepts, notations, and principles used in the book. Next, it covers: Code-based test-case selection methods; Specification-based test-case selection methods; Additional advanced topics in testing; Analysis of symbolic trace; Static analysis; Program instrumentation. Each chapter begins with a clear introduction and ends with exercises for readers to test their understanding of the material. Plus, appendices provide a logico-mathematical background, glossary, and questions for self-assessment. Assuming a basic background in software quality assurance and an ability to write nontrivial programs, the book is free of programming languages and paradigms used to construct the program under test. Software Error Detection through Testing and Analysis is suitable as a professional reference for software testing specialists, software engineers, software developers, and software programmers. It is also appropriate as a textbook for software engineering, software testing, and software quality assurance courses at the advanced undergraduate and graduate levels.
588 0 _aPrint version record.
546 _aEnglish.
590 _aJohn Wiley and Sons
_bWiley Online Library: Complete oBooks
650 0 _aComputer software
_xTesting.
650 0 _aComputer software
_xReliability.
650 0 _aDebugging in computer science.
650 6 _aLogiciels
_xFiabilit�e.
650 6 _aD�ebogage.
650 7 _aCOMPUTERS
_xSoftware Development & Engineering
_xQuality Assurance & Testing.
_2bisacsh
650 7 _aCOMPUTERS
_xReference.
_2bisacsh
650 7 _aCOMPUTERS
_xMachine Theory.
_2bisacsh
650 7 _aCOMPUTERS
_xComputer Literacy.
_2bisacsh
650 7 _aCOMPUTERS
_xInformation Technology.
_2bisacsh
650 7 _aCOMPUTERS
_xData Processing.
_2bisacsh
650 7 _aCOMPUTERS
_xComputer Science.
_2bisacsh
650 7 _aCOMPUTERS
_xHardware
_xGeneral.
_2bisacsh
650 7 _aComputer software
_xReliability
_2fast
650 7 _aComputer software
_xTesting
_2fast
650 7 _aDebugging in computer science
_2fast
758 _ihas work:
_aSoftware error detection through testing and analysis (Text)
_1https://id.oclc.org/worldcat/entity/E39PCFDQgBFPg38GqbF6yjwBKb
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_aHuang, J.C., 1935-
_tSoftware error detection through testing and analysis.
_dHoboken, N.J. : John Wiley & Sons, �2009
_z9780470404447
_z0470404442
_w(DLC) 2008045493
_w(OCoLC)263498238
856 4 0 _uhttps://onlinelibrary.wiley.com/doi/book/10.1002/9780470464076
938 _a123Library
_b123L
_n11452
938 _aCoutts Information Services
_bCOUT
_n10775574
938 _aEBL - Ebook Library
_bEBLB
_nEBL456102
938 _aebrary
_bEBRY
_nebr10332960
938 _aEBSCOhost
_bEBSC
_n289210
938 _aProQuest MyiLibrary Digital eBook Collection
_bIDEB
_n227967
938 _aYBP Library Services
_bYANK
_n3107910
938 _aYBP Library Services
_bYANK
_n3133804
938 _aInternet Archive
_bINAR
_nsoftwareerrordet0000huan
994 _a92
_bINLUM
999 _c11374
_d11374