000 03888cam a2200337Ia 4500
001 u3188
003 SA-PMU
005 20210418124826.0
008 070423s2008 njua b 001 0 eng d
010 _a 2008299671
040 _aSISPL
_beng
_cSISPL
_dSISPL
_dBAKER
_dIXA
_dYDXCP
_dUKM
_dVRC
_dDLC
_dSHH
_dTTU
_dTEX
_dSEO
_dDEBBG
_dOCL
_dOCLCQ
020 _a9780471455936 (pbk.)
020 _a0471455938 (pbk.)
035 _a(OCoLC)123408179
050 0 0 _aQA76.76.T48
_bP495 2008
082 0 4 _a005.14
_222
100 1 _aPezzè, Mauro.
245 1 0 _aSoftware testing and analysis :
_bprocess, principles, and techniques /
_cMauro Pezzè, Michal Young.
260 _a[Hoboken, N.J.] :
_bWiley,
_cc2008.
300 _axxii, 488 p. :
_bill. ;
_c24 cm.
504 _aIncludes bibliographical references (p. 467-478) and index.
505 0 0 _tSoftware test and analysis in a nutshell --
_tA framework for test and analysis --
_tBasic principles --
_tTest and analysis activities within a software process --
_tFinite models --
_tDependence and data flow models --
_tSymbolic execution and proof of properties --
_tFinite state verification --
_tTest case selection and adequacy --
_tFunctional testing --
_tCombinatorial testing --
_tStructural testing --
_tData flow testing --
_tModel-based testing --
_tTesting object-oriented software --
_tFault-based testing --
_tText execution --
_tInspection --
_tProgram analysis --
_tPlanning and monitoring the process --
_tIntegration and component-based software testing --
_tSystem, acceptance, and regression testing --
_tAutomating analysis and test --
_tDocumenting analysis and test.
520 _aThe first comprehensive book on software test and analysis You can't "test quality into" a software product, but neither can you build a quality software product without test and analysis. Software test and analysis is increasingly recognized, in research and in industrial practice, as a core challenge in software engineering and computer science. Software Testing and Analysis: Process, Principles, and Techniques is the first book to present a range of complementary software test and analysis techniques in an integrated, coherent fashion. It covers a full spectrum of topics from basic principles and underlying theory to organizational and process issues in real-world application. The emphasis throughout is on selecting a complementary set of practical techniques to achieve an acceptable level of quality at an acceptable cost. Highlights of the book include: Interplay among technical and non-technical issues in crafting an approach to software quality, with chapters devoted to planning and monitoring the software quality process. A selection of practical techniques ranging from inspection to automated program and design analyses to unit, integration, system, and regression testing, with technical material set in the context of real-world problems and constraints in software development. A coherent view of the state of the art and practice, with technical and organizational approaches to push the state of practice toward the state of the art. Throughout, the text covers techniques that are suitable for near-term application, with sufficient technical background to help you know how and when to apply them. Exercises reinforce the instruction and ensure that you master each topic before proceeding. By incorporating software testing and analysis techniques into modern practice, Software Testing and Analysis: Process, Principles, and Techniques provides both students and professionals with realistic strategies for reliable and cost-effective software development.
650 0 _aComputer software
_xTesting.
650 0 _aComputer software
_xQuality control.
700 1 _aYoung, Michal.
856 4 1 _3Table of contents only
_uhttp://catdir.loc.gov/catdir/toc/fy0805/2008299671.html
942 _cBOOK
994 _aZ0
_bSUPMU
596 _a1 2
999 _c9898
_d9898