Critical Testing Processes


Book Description

••A must-read for software testers from a noted software testing guru•Examples, specifics, and a running case study bring the content to life•Separates software test processes into three categories: routing, highly-visible, and mission-critical




Design and Safety Assessment of Critical Systems


Book Description

Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone







An Assessment of Space Shuttle Flight Software Development Processes


Book Description

Effective software is essential to the success and safety of the Space Shuttle, including its crew and its payloads. The on-board software continually monitors and controls critical systems throughout a Space Shuttle flight. At NASA's request, the committee convened to review the agency's flight software development processes and to recommend a number of ways those processes could be improved. This book, the result of the committee's study, evaluates the safety, oversight, and management functions that are implemented currently in the Space Shuttle program to ensure that the software is of the highest quality possible. Numerous recommendations are made regarding safety and management procedures, and a rationale is offered for continuing the Independent Verification and Validation effort that was instituted after the Challenger Accident.




Pragmatic Software Testing


Book Description

A hands-on guide to testing techniques that deliver reliable software and systems Testing even a simple system can quickly turn into a potentially infinite task. Faced with tight costs and schedules, testers need to have a toolkit of practical techniques combined with hands-on experience and the right strategies in order to complete a successful project. World-renowned testing expert Rex Black provides you with the proven methods and concepts that test professionals must know. He presents you with the fundamental techniques for testing and clearly shows you how to select and apply successful strategies to test a system with budget and time constraints. Black begins by discussing the goals and tactics of effective and efficient testing. Next, he lays the foundation of his technique for risk-based testing, explaining how to analyze, prioritize, and document risks to the quality of the system using both informal and formal techniques. He then clearly describes how to design, develop, and, ultimately, document various kinds of tests. Because this is a hands-on activity, Black includes realistic, life-sized exercises that illustrate all of the major test techniques with detailed solutions.




A Guide to Forensic DNA Profiling


Book Description

The increasingly arcane world of DNA profiling demands that those needing to understand at least some of it must find a source of reliable and understandable information. Combining material from the successful Wiley Encyclopedia of Forensic Science with newly commissioned and updated material, the Editors have used their own extensive experience in criminal casework across the world to compile an informative guide that will provide knowledge and thought-provoking articles of interest to anyone involved or interested in the use of DNA in the forensic context. Following extensive introductory chapters covering forensic DNA profiling and forensic genetics, this comprehensive volume presents a substantial breadth of material covering: Fundamental material – including sources of DNA, validation, and accreditation Analysis and interpretation – including, extraction, quantification, amplification and interpretation of electropherograms (epgs) Evaluation – including mixtures, low template, and transfer Applications – databases, paternity and kinship, mitochondrial-DNA, wildlife DNA, single-nucleotide polymorphism, phenotyping and familial searching Court - report writing, discovery, cross examination, and current controversies With contributions from leading experts across the whole gamut of forensic science, this volume is intended to be authoritative but not authoritarian, informative but comprehensible, and comprehensive but concise. It will prove to be a valuable addition, and useful resource, for scientists, lawyers, teachers, criminologists, and judges.




NIST Handbook


Book Description




Large-Scale Machine Learning in the Earth Sciences


Book Description

From the Foreword: "While large-scale machine learning and data mining have greatly impacted a range of commercial applications, their use in the field of Earth sciences is still in the early stages. This book, edited by Ashok Srivastava, Ramakrishna Nemani, and Karsten Steinhaeuser, serves as an outstanding resource for anyone interested in the opportunities and challenges for the machine learning community in analyzing these data sets to answer questions of urgent societal interest...I hope that this book will inspire more computer scientists to focus on environmental applications, and Earth scientists to seek collaborations with researchers in machine learning and data mining to advance the frontiers in Earth sciences." --Vipin Kumar, University of Minnesota Large-Scale Machine Learning in the Earth Sciences provides researchers and practitioners with a broad overview of some of the key challenges in the intersection of Earth science, computer science, statistics, and related fields. It explores a wide range of topics and provides a compilation of recent research in the application of machine learning in the field of Earth Science. Making predictions based on observational data is a theme of the book, and the book includes chapters on the use of network science to understand and discover teleconnections in extreme climate and weather events, as well as using structured estimation in high dimensions. The use of ensemble machine learning models to combine predictions of global climate models using information from spatial and temporal patterns is also explored. The second part of the book features a discussion on statistical downscaling in climate with state-of-the-art scalable machine learning, as well as an overview of methods to understand and predict the proliferation of biological species due to changes in environmental conditions. The problem of using large-scale machine learning to study the formation of tornadoes is also explored in depth. The last part of the book covers the use of deep learning algorithms to classify images that have very high resolution, as well as the unmixing of spectral signals in remote sensing images of land cover. The authors also apply long-tail distributions to geoscience resources, in the final chapter of the book.




Risk Modeling, Assessment, and Management


Book Description

Presents systems-based theory, methodology, and applications in risk modeling, assessment, and management This book examines risk analysis, focusing on quantifying risk and constructing probabilities for real-world decision-making, including engineering, design, technology, institutions, organizations, and policy. The author presents fundamental concepts (hierarchical holographic modeling; state space; decision analysis; multi-objective trade-off analysis) as well as advanced material (extreme events and the partitioned multi-objective risk method; multi-objective decision trees; multi-objective risk impact analysis method; guiding principles in risk analysis); avoids higher mathematics whenever possible; and reinforces the material with examples and case studies. The book will be used in systems engineering, enterprise risk management, engineering management, industrial engineering, civil engineering, and operations research. The fourth edition of Risk Modeling, Assessment, and Management features: Expanded chapters on systems-based guiding principles for risk modeling, planning, assessment, management, and communication; modeling interdependent and interconnected complex systems of systems with phantom system models; and hierarchical holographic modeling An expanded appendix including a Bayesian analysis for the prediction of chemical carcinogenicity, and the Farmer’s Dilemma formulated and solved using a deterministic linear model Updated case studies including a new case study on sequential Pareto-optimal decisions for emergent complex systems of systems A new companion website with over 200 solved exercises that feature risk analysis theories, methodologies, and application Risk Modeling, Assessment, and Management, Fourth Edition, is written for both undergraduate and graduate students in systems engineering and systems management courses. The text also serves as a resource for academic, industry, and government professionals in the fields of homeland and cyber security, healthcare, physical infrastructure systems, engineering, business, and more.