Cargando…
Software testing : concepts and operations /
Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test managementThis book examines the principles, concepts, and processes that ar...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hoboken, New Jersey :
John Wiley & Sons Inc.,
[2015]
|
| Colección: | Quantitative software engineering series.
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | OR_ocn904801344 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 150311s2015 nju ob 001 0 eng | ||
| 010 | |a 2015010027 | ||
| 040 | |a DLC |b eng |e rda |e pn |c DLC |d YDX |d N$T |d IDEBK |d YDXCP |d E7B |d CDX |d COO |d OCLCF |d RECBK |d UMI |d DEBSZ |d OCLCQ |d TEFOD |d DEBBG |d EBLCP |d VT2 |d CCO |d MERUC |d I8M |d LOA |d K6U |d C6I |d Z5A |d PIFAG |d FVL |d VGM |d ZCU |d NRC |d OCLCQ |d U3W |d COCUF |d D6H |d STF |d OCLCQ |d CEF |d ICG |d AU@ |d OCLCQ |d WYU |d G3B |d TKN |d UAB |d DKC |d OCLCQ |d UKAHL |d UX1 |d OCLCQ |d TUHNV |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 922007486 |a 942676956 |a 961628023 |a 1008946663 |a 1055393854 |a 1081239382 |a 1148115910 | ||
| 020 | |a 9781119065579 |q (electronic bk.) | ||
| 020 | |a 1119065577 |q (electronic bk.) | ||
| 020 | |a 9781119065593 |q (electronic bk.) | ||
| 020 | |a 1119065593 |q (electronic bk.) | ||
| 020 | |z 1118662873 | ||
| 020 | |z 9781118662878 | ||
| 024 | 8 | |a 40024995093 | |
| 029 | 1 | |a AU@ |b 000054445364 | |
| 029 | 1 | |a AU@ |b 000067100882 | |
| 029 | 1 | |a DEBBG |b BV042991559 | |
| 029 | 1 | |a DEBBG |b BV043020341 | |
| 029 | 1 | |a DEBBG |b BV043892468 | |
| 029 | 1 | |a DEBSZ |b 449477517 | |
| 029 | 1 | |a DEBSZ |b 453343988 | |
| 029 | 1 | |a DEBSZ |b 455699127 | |
| 029 | 1 | |a GBVCP |b 88284721X | |
| 029 | 1 | |a NZ1 |b 16241463 | |
| 035 | |a (OCoLC)904801344 |z (OCoLC)922007486 |z (OCoLC)942676956 |z (OCoLC)961628023 |z (OCoLC)1008946663 |z (OCoLC)1055393854 |z (OCoLC)1081239382 |z (OCoLC)1148115910 | ||
| 037 | |a CL0500000649 |b Safari Books Online | ||
| 037 | |a C8161677-68B5-44E9-8A49-27A84631EFE6 |b OverDrive, Inc. |n http://www.overdrive.com | ||
| 042 | |a pcc | ||
| 050 | 0 | 0 | |a QA76.76.T48 |
| 072 | 7 | |a COM |x 051330 |2 bisacsh | |
| 082 | 0 | 0 | |a 005.1/4 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Mili, Ali. | |
| 245 | 1 | 0 | |a Software testing : |b concepts and operations / |c Ali Mili, Fairouz Tehier. |
| 264 | 1 | |a Hoboken, New Jersey : |b John Wiley & Sons Inc., |c [2015] | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Quantitative software engineering series | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record and CIP data provided by publisher. | |
| 505 | 0 | |a Title Page; Copyright Page; Contents; Preface; Part I Introduction to Software Testing; Chapter 1 Software Engineering: A Discipline Like No Other; 1.1 A YOUNG, RESTLESS DISCIPLINE; 1.2 AN INDUSTRY UNDER STRESS; 1.3 LARGE, COMPLEX PRODUCTS; 1.4 EXPENSIVE PRODUCTS; 1.5 ABSENCE OF REUSE PRACTICE; 1.6 FAULT-PRONE DESIGNS; 1.7 PARADOXICAL ECONOMICS; 1.7.1 A Labor-Intensive Industry; 1.7.2 Absence of Automation; 1.7.3 Limited Quality Control; 1.7.4 Unbalanced Lifecycle Costs; 1.7.5 Unbalanced Maintenance Costs; 1.8 CHAPTER SUMMARY; 1.9 BIBLIOGRAPHIC NOTES; Chapter 2 Software Quality Attributes. | |
| 505 | 8 | |a 2.1 FUNCTIONAL ATTRIBUTES2.1.1 Boolean Attributes; 2.1.2 Statistical Attributes; 2.2 OPERATIONAL ATTRIBUTES; 2.3 USABILITY ATTRIBUTES; 2.4 BUSINESS ATTRIBUTES; 2.5 STRUCTURAL ATTRIBUTES; 2.6 CHAPTER SUMMARY; 2.7 EXERCISES; 2.8 BIBLIOGRAPHIC NOTES; Chapter 3 A Software Testing Lifecycle; 3.1 A SOFTWARE ENGINEERING LIFECYCLE; 3.2 A SOFTWARE TESTING LIFECYCLE; 3.3 THE V-MODEL OF SOFTWARE TESTING; 3.4 CHAPTER SUMMARY; 3.5 BIBLIOGRAPHIC NOTES; Part II Foundations of Software Testing; Chapter 4 Software Specifications; 4.1 PRINCIPLES OF SOUND SPECIFICATION; 4.1.1 A Discipline of Specification. | |
| 505 | 8 | |a 4.2 RELATIONAL MATHEMATICS4.2.1 Sets and Relations; 4.2.2 Operations on Relations; 4.2.3 Properties of Relations; 4.3 SIMPLE INPUT OUTPUT PROGRAMS; 4.3.1 REPRESENTING SPECIFICATIONS; 4.3.2 ORDERING SPECIFICATIONS; 4.3.3 SPECIFICATION GENERATION; 4.3.4 SPECIFICATION VALIDATION; 4.4 RELIABILITY VERSUS SAFETY; 4.5 STATE-BASED SYSTEMS; 4.5.1 A Relational Model; 4.5.2 AXIOMATIC REPRESENTATION; 4.5.3 SPECIFICATION VALIDATION; 4.6 CHAPTER SUMMARY; 4.7 EXERCISES; 4.8 PROBLEMS; 4.9 BIBLIOGRAPHIC NOTES; Chapter 5 Program Correctness and Verification; 5.1 CORRECTNESS: A DEFINITION. | |
| 505 | 8 | |a 5.2 CORRECTNESS: PROPOSITIONS5.2.1 Correctness and Refinement; 5.2.2 Set Theoretic Characterizations; 5.2.3 Illustrations; 5.3 VERIFICATION; 5.3.1 Sample Formulas; 5.3.2 An Inference System; 5.3.3 Illustrative Examples; 5.4 CHAPTER SUMMARY; 5.5 EXERCISES; 5.6 PROBLEMS; 5.7 BIBLIOGRAPHIC NOTES; Chapter 6 Failures, Errors, and Faults; 6.1 FAILURE, ERROR, AND FAULT; 6.2 FAULTS AND RELATIVE CORRECTNESS; 6.2.1 Fault, an Evasive Concept; 6.2.2 Relative Correctness; 6.3 CONTINGENT FAULTS AND DEFINITE FAULTS; 6.3.1 Contingent Faults; 6.3.2 Monotonic Fault Removal. | |
| 505 | 8 | |a 6.3.3 A Framework for Monotonic Fault Removal6.3.4 Definite Faults; 6.4 FAULT MANAGEMENT; 6.4.1 Lines of Defense; 6.4.2 Hybrid Validation; 6.5 CHAPTER SUMMARY; 6.6 EXERCISES; 6.7 PROBLEMS; 6.8 BIBLIOGRAPHIC NOTES; Chapter 7 A Software Testing Taxonomy; 7.1 THE TROUBLE WITH HYPHENATED TESTING; 7.2 A CLASSIFICATION SCHEME; 7.2.1 Primary Attributes; 7.2.2 Secondary Attributes; 7.3 TESTING TAXONOMY; 7.3.1 Unit-Level Testing; 7.3.2 System-Level Testing; 7.4 EXERCISES; 7.5 BIBLIOGRAPHIC NOTES; Part III Test Data Generation ; Chapter 8 Test Generation Concepts. | |
| 520 | 8 | |a Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test managementThis book examines the principles, concepts, and processes that are fundamental to the software testing function. This book is divided into five broad parts. Part I introduces software testing in the broader context of software engineering and explores the qualities that testing aims to achieve or ascertain, as well as the lifecycle of software testing. Part II covers mathematical foundations of software testing, which include software specification, program correctness and verification, concepts of software dependability, and a software testing taxonomy. Part III discusses test data generation, specifically, functional criteria and structural criteria. Test oracle design, test driver design, and test outcome analysis is covered in Part IV. Finally, Part V surveys managerial aspects of software testing, including software metrics, software testing tools, and software product line testing. Presents software testing, not as an isolated technique, but as part of an integrated discipline of software verification and validation Proposes program testing and program correctness verification within the same mathematical model, making it possible to deploy the two techniques in concert, by virtue of the law of diminishing returns Defines the concept of a software fault, and the related concept of relative correctness, and shows how relative correctness can be used to characterize monotonic fault removal Presents the activity of software testing as a goal oriented activity, and explores how the conduct of the test depends on the selected goal Covers all phases of the software testing lifecycle, including test data. | |
| 520 | 8 | |a Generation, test oracle design, test driver design, and test outcome analysis Software Testing: Concepts and Operations is a great resource for software quality and software engineering students because it presents them with fundamentals that help them to prepare for their ever evolving discipline. | |
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Computer software |x Testing. | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Quality Assurance & Testing. |2 bisacsh | |
| 650 | 7 | |a Computer software |x Testing |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Mili, Ali. |t Software testing. |d Hoboken, New Jersey : John Wiley & Sons Inc., [2015] |z 9781118662878 |w (DLC) 2015001931 |
| 830 | 0 | |a Quantitative software engineering series. | |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9781119065593/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH28662160 | ||
| 938 | |a Coutts Information Services |b COUT |n 30170067 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL4040909 | ||
| 938 | |a ebrary |b EBRY |n ebr11056821 | ||
| 938 | |a EBSCOhost |b EBSC |n 995369 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis30170067 | ||
| 938 | |a Recorded Books, LLC |b RECE |n rbeEB00614233 | ||
| 938 | |a YBP Library Services |b YANK |n 13124362 | ||
| 938 | |a YBP Library Services |b YANK |n 12433361 | ||
| 994 | |a 92 |b IZTAP | ||