| 000 -LEADER |
|---|
| fixed length control field |
06501nam a22003017a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
CITU |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240220103602.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
191022b ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781119271505 |
| 041 ## - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
eng. |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Analytic methods in systems and software testing / |
| Statement of responsibility, etc |
edited by Ron S. Kenett, Fabrizio Ruggeri, and Frederick W. Watin |
| 264 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Hoboken, New Jersey : |
| Name of publisher, distributor, etc |
John Wiley & Sons, Inc., |
| Date of publication, distribution, etc |
c2018. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xix, 543 pages: |
| Other physical details |
illustrations; |
| Dimensions |
25 cm. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
unmediated |
| Media type code |
n |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
volume |
| Carrier type code |
nc |
| Source |
rdacarrier |
| 500 ## - GENERAL NOTE |
|---|
| General note |
About the Author<br/><br/>RON S. KENETT is Chairman of KPA Ltd and Senior Research Fellow at the Samuel Neaman Institute, Technion, Israel.<br/><br/>FABRIZIO RUGGERI is Research Director at CNR-IMATI, Milano, Italy.<br/><br/>FREDERICK W. FALTIN is Co-Founder of The Faltin Group, Cody, WY, and Associate Professor of Practice, Department of Statistics, Virginia Tech, Blacksburg, VA, USA.<br/> |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index |
| 505 0# - CONTENTS |
|---|
| Formatted contents note |
Table of contents<br/><br/>List of Contributors ix<br/><br/>Preface xv<br/><br/>Part I Testing Concepts andMethods 1<br/><br/>1 Recent Advances in Classifying Risk-Based Testing Approaches 3<br/>Michael Felderer, Jürgen Großmann, and Ina Schieferdecker<br/><br/>2 Improving Software Testing with Causal Modeling 27<br/>Norman Fenton andMartin Neil<br/><br/>3 Optimal Software Testing across Version Releases 65<br/>Simon P.Wilson and Seán Ó Ríordáin<br/><br/>4 Incremental Verification and Coverage Analysis of Strongly Distributed Systems 81<br/>Elena V. Ravve and Zeev Volkovich<br/><br/>5 Combinatorial Testing: An Approach to Systems and Software Testing Based on Covering Arrays 131<br/>Joseph Morgan<br/><br/>6 Conceptual Aspects in Development and Teaching of Systemand Software Test Engineering 159<br/>Dani Almog, Ron S. Kenett, Uri Shafrir, and Hadas Chasidim<br/><br/>Part II Statistical Models 195<br/><br/>7 Non-homogeneous Poisson Process Models for Software Reliability 197<br/>Steven E. Rigdon<br/><br/>8 Bayesian Graphical Models for High-Complexity Testing: Aspects of Implementation 213<br/>DavidWooff,Michael Goldstein, and Frank Coolen<br/><br/>9 Models of Software Reliability 245<br/>Shelemyahu Zacks<br/><br/>10 Improved Estimation of SystemReliability with Application in Software Development 255<br/>Beidi Qiang and Edsel A. Peña<br/><br/>11 Decision Models for Software Testing 277<br/>Fabrizio Ruggeri and Refik Soyer<br/><br/>12 Modeling and Simulations in Control Software Design 287<br/>Jiri Koziorek, Stepan Ozana, Vilem Srovnal, and Tomas Docekal<br/><br/>Part III Testing Infrastructures 327<br/><br/>13 A Temperature Monitoring Infrastructure and Process for Improving Data Center Energy Efficiency with Results for a High Performance Computing Data Center 329<br/>Sarah E.Michalak, AmandaM. Bonnie, Andrew J. Montoya, Curtis B. Storlie,William N. Rust, Lawrence O. Ticknor, Laura A. Davey, Thomas E.Moxley III, and Brian J. Reich<br/><br/>14 Agile Testing with User Data in Cloud and Edge Computing Environments 353<br/>Ron S. Kenett, Avi Harel, and Fabrizio Ruggeri<br/><br/>15 Automated Software Testing 373<br/>Xiaoxu Diao,Manuel Rodriguez, Boyuan Li, and Carol Smidts<br/><br/>16 Dynamic Test Case Selection in Continuous Integration: Test Result Analysis using the Eiffel Framework 405<br/>Daniel Ståhl and Jan Bosch<br/><br/>17 An Automated Regression Testing Framework for a Hadoop-Based Entity Resolution System 415<br/>Daniel Pullen, PeiWang, Joshua R. Johnson, and John R. Talburt<br/><br/>Part IV Testing Applications 439<br/><br/>18 Testing Defense Systems 441<br/>Laura J. Freeman, Thomas Johnson,Matthew Avery, V. Bram Lillard, and Justace Clutter<br/><br/>19 A Search-Based Approach to Geographical Data Generation for Testing Location-Based Services 489<br/>Xiaoying Bai, Kejia Hou, Jun Huang, andMingli Yu<br/><br/>20 Analytics in Testing Communication Systems 501<br/>Gilli Shama<br/><br/>21 Measures in the Systems Integration Verification and Validation Phase and Aerospace Applications Field Experience 515<br/>Sarit Assaraf and Ron S. Kenett<br/><br/>Index 537<br/> |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
Description<br/><br/>A comprehensive treatment of systems and software testing using state of the art methods and tools<br/><br/>This book provides valuable insights into state of the art software testing methods and explains, with examples, the statistical and analytic methods used in this field. Numerous examples are used to provide understanding in applying these methods to real-world problems. Leading authorities in applied statistics, computer science, and software engineering present state-of-the-art methods addressing challenges faced by practitioners and researchers involved in system and software testing. Methods include: machine learning, Bayesian methods, graphical models, experimental design, generalized regression, and reliability modeling.<br/><br/>Analytic Methods in Systems and Software Testing presents its comprehensive collection of methods in four parts: Part I: Testing Concepts and Methods; Part II: Statistical Models; Part III: Testing Infrastructures; and Part IV: Testing Applications. It seeks to maintain a focus on analytic methods, while at the same time offering a contextual landscape of modern engineering, in order to introduce related statistical and probabilistic models used in this domain. This makes the book an incredibly useful tool, offering interesting insights on challenges in the field for researchers and practitioners alike.<br/><br/> Compiles cutting-edge methods and examples of analytical approaches to systems and software testing from leading authorities in applied statistics, computer science, and software engineering<br/> Combines methods and examples focused on the analytic aspects of systems and software testing<br/> Covers logistic regression, machine learning, Bayesian methods, graphical models, experimental design, generalized regression, and reliability models<br/> Written by leading researchers and practitioners in the field, from diverse backgrounds including research, business, government, and consulting<br/> Stimulates research at the theoretical and practical level <br/><br/>Analytic Methods in Systems and Software Testing is an excellent advanced reference directed toward industrial and academic readers whose work in systems and software development approaches or surpasses existing frontiers of testing and validation procedures. It will also be valuable to post-graduate students in computer science and mathematics.<br/> |
| 526 ## - STUDY PROGRAM INFORMATION NOTE |
|---|
| -- |
000-099 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Testing. |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kenett, Ron S. |
| Relator term |
Editor |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Ruggeri, Fabrizio |
| Relator term |
Editor |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Watin, Frederick W. |
| Relator term |
Editor |
| 942 ## - ADDED ENTRY ELEMENTS |
|---|
| Source of classification or shelving scheme |
|
| Item type |
BOOK |
| Issues (borrowed), all copies |
4 |