Fabrizio Ruggeri

Ron S. Kenett

Frederick W. Faltin

A comprehensive treatment of systems and software testing using state of the art methods and tools 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. 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. 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 Combines methods and examples focused on the analytic aspects of systems and software testing Covers logistic regression, machine learning, Bayesian methods, graphical models, experimental design, generalized regression, and reliability models Written by leading researchers and practitioners in the field, from diverse backgrounds including research, business, government, and consulting Stimulates research at the theoretical and practical level 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.

Analytic Methods in Systems and Software Testing

David Rios Insua

Robust Bayesian analysis aims at overcoming the traditional objection to Bayesian analysis of its dependence on subjective inputs, mainly the prior and the loss. Its purpose is the determination of the impact of the inputs to a Bayesian analysis (the prior, the loss and the model) on its output when the inputs range in certain classes. If the impact is considerable, there is sensitivity and we should attempt to further refine the information the incumbent classes available, perhaps through additional constraints on and/ or obtaining additional data; if the impact is not important, robustness holds and no further analysis and refinement would be required. Robust Bayesian analysis has been widely accepted by Bayesian statisticians; for a while it was even a main research topic in the field. However, to a great extent, their impact is yet to be seen in applied settings. This volume, therefore, presents an overview of the current state of robust Bayesian methods and their applications and identifies topics of further in terest in the area. The papers in the volume are divided into nine parts covering the main aspects of the field. The first one provides an overview of Bayesian robustness at a non-technical level. The paper in Part II con cerns foundational aspects and describes decision-theoretical axiomatisa tions leading to the robust Bayesian paradigm, motivating reasons for which robust analysis is practically unavoidable within Bayesian analysis.

Fabrizio Ruggeri

About

Books

Join the club