| 000 -LEADER |
|---|
| fixed length control field |
03888cam a2200337Ia 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
u3188 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
SA-PMU |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20210418124826.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
070423s2008 njua b 001 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2008299671 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
SISPL |
| Language of cataloging |
eng |
| Transcribing agency |
SISPL |
| Modifying agency |
SISPL |
| -- |
BAKER |
| -- |
IXA |
| -- |
YDXCP |
| -- |
UKM |
| -- |
VRC |
| -- |
DLC |
| -- |
SHH |
| -- |
TTU |
| -- |
TEX |
| -- |
SEO |
| -- |
DEBBG |
| -- |
OCL |
| -- |
OCLCQ |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780471455936 (pbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0471455938 (pbk.) |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)123408179 |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.T48 |
| Item number |
P495 2008 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.14 |
| Edition number |
22 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Pezzè, Mauro. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Software testing and analysis : |
| Remainder of title |
process, principles, and techniques / |
| Statement of responsibility, etc. |
Mauro Pezzè, Michal Young. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
[Hoboken, N.J.] : |
| Name of publisher, distributor, etc. |
Wiley, |
| Date of publication, distribution, etc. |
c2008. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xxii, 488 p. : |
| Other physical details |
ill. ; |
| Dimensions |
24 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references (p. 467-478) and index. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Software test and analysis in a nutshell -- |
| -- |
A framework for test and analysis -- |
| -- |
Basic principles -- |
| -- |
Test and analysis activities within a software process -- |
| -- |
Finite models -- |
| -- |
Dependence and data flow models -- |
| -- |
Symbolic execution and proof of properties -- |
| -- |
Finite state verification -- |
| -- |
Test case selection and adequacy -- |
| -- |
Functional testing -- |
| -- |
Combinatorial testing -- |
| -- |
Structural testing -- |
| -- |
Data flow testing -- |
| -- |
Model-based testing -- |
| -- |
Testing object-oriented software -- |
| -- |
Fault-based testing -- |
| -- |
Text execution -- |
| -- |
Inspection -- |
| -- |
Program analysis -- |
| -- |
Planning and monitoring the process -- |
| -- |
Integration and component-based software testing -- |
| -- |
System, acceptance, and regression testing -- |
| -- |
Automating analysis and test -- |
| -- |
Documenting analysis and test. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
The 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. |
| 596 ## - |
|---|
| -- |
1 2 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer software |
| General subdivision |
Testing. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer software |
| General subdivision |
Quality control. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Young, Michal. |
| 856 41 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Table of contents only |
| Uniform Resource Identifier |
<a href="http://catdir.loc.gov/catdir/toc/fy0805/2008299671.html">http://catdir.loc.gov/catdir/toc/fy0805/2008299671.html</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Books |
| 994 ## - |
|---|
| -- |
Z0 |
| -- |
SUPMU |