Software Error Detection through Testing and Analysis

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 management This 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 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.

A superior primer on software testing and quality assurance, from integration to execution and automation This important new work fills the pressing need for a user-friendly text that aims to provide software engineers, software quality professionals, software developers, and students with the fundamental developments in testing theory and common testing practices. Software Testing and Quality Assurance: Theory and Practice equips readers with a solid understanding of: Practices that support the production of quality software Software testing techniques Life-cycle models for requirements, defects, test cases, and test results Process models for units, integration, system, and acceptance testing How to build test teams, including recruiting and retaining test engineers Quality Models, Capability Maturity Model, Testing Maturity Model, and Test Process Improvement Model Expertly balancing theory with practice, and complemented with an abundance of pedagogical tools, including test questions, examples, teaching suggestions, and chapter summaries, this book is a valuable, self-contained tool for professionals and an ideal introductory text for courses in software testing, quality assurance, and software engineering.

Software Testing presents one of the first comprehensive guides to testing activities, ranging from test planning through test completion for every phase of software under development, and software under revision. Real life case studies are provided to enhance understanding as well as a companion website with tools and examples.

Change Detection and Image Time Series Analysis 1 presents a wide range of unsupervised methods for temporal evolution analysis through the use of image time series associated with optical and/or synthetic aperture radar acquisition modalities.

Chapter 1 introduces two unsupervised approaches to multiple-change detection in bi-temporal multivariate images, with Chapters 2 and 3 addressing change detection in image time series in the context of the statistical analysis of covariance matrices. Chapter 4 focuses on wavelets and convolutional-neural filters for feature extraction and entropy-based anomaly detection, and Chapter 5 deals with a number of metrics such as cross correlation ratios and the Hausdorff distance for variational analysis of the state of snow. Chapter 6 presents a fractional dynamic stochastic field model for spatio temporal forecasting and for monitoring fast-moving meteorological events such as cyclones. Chapter 7 proposes an analysis based on characteristic points for texture modeling, in the context of graph theory, and Chapter 8 focuses on detecting new land cover types by classification-based change detection or feature/pixel based change detection. Chapter 9 focuses on the modeling of classes in the difference image and derives a multiclass model for this difference image in the context of change vector analysis.

Written in easy-to-read and -use format, this book provides a strong training resource and reference for product designers using plastics in their products – helping them identify, quantify, and confirm whether problems are related to product design or process.

• Updates coverage of data analysis techniques and examples and expands coverage of failure analysis, key because of increased litigation related to product liability
• Overviews plastic testing methods and the framework to investigate causes of plastic part failure
• Provides a strong training resource and reference for product designers using plastics in their products
• Features a video tour of a plastics testing labroatory on a companion website and has a separate manual of problems and solutions that are appropriate for college professors using the book as a class textbook

This book presents an introduction to MCDA followed by more detailed chapters about each of the leading methods used in this field. Comparison of methods and software is also featured to enable readers to choose the most appropriate method needed in their research. Worked examples as well as the software featured in the book are available on an accompanying website.

Change Detection and Image Time Series Analysis 2  presents supervised machine-learning-based methods for temporal evolution analysis by using image time series associated with Earth observation data. Chapter 1 addresses the fusion of multisensor, multiresolution and multitemporal data. It proposes two supervised solutions that are based on a Markov random field: the first relies on a quad-tree and the second is specifically designed to deal with multimission, multifrequency and multiresolution time series.Chapter 2 provides an overview of pixel based methods for time series classification, from the earliest shallow learning methods to the most recent deep-learning-based approaches.Chapter 3 focuses on very high spatial resolution data time series and on the use of semantic information for modeling spatio-temporal evolution patterns.Chapter 4 centers on the challenges of dense time series analysis, including pre processing aspects and a taxonomy of existing methodologies. Finally, since the evaluation of a learning system can be subject to multiple considerations,Chapters 5 and 6 offer extensive evaluations of the methodologies and learning frameworks used to produce change maps, in the context of multiclass and/or multilabel change classification issues.

Provides a modern, practical approach to the understanding and measurement procedures relevant to the fracture of brittle materials This book examines the testing and analysis of the fracture of brittle materials. Expanding on the measurement and analysis methodology contained in the first edition, it covers the relevant measurements (toughness and strength), material types, fracture mechanics, measurement techniques, reliability and lifetime predictions, microstructural considerations, and material/test selection processes appropriate for the analysis of the fracture behavior of brittle materials. The Fracture of Brittle Materials: Testing and Analysis, Second Edition summarizes the concepts behind the selection of a test procedure for fracture toughness and strength, and goes into detail on how the statistics of fracture can be used to assure reliability. It explains the importance of the role of microstructure in these determinations and emphasizes the use of fractographic analysis as an important tool in understanding why a part failed. The new edition includes a significant quantity of material related to the fracture of biomaterials, and features two new chapters—one on thermal shock, the other on the modeling of the fracture process. It also expands on a discussion of how to treat the statistics of fracture strength data to ensure reliability. Provides practical analysis of fracture toughness and strength Introduces the engineering and materials student to the basic concepts necessary for analyzing brittle fracture Contains new statistical analysis procedures to allow for the prediction of the safe design of brittle components Contains real-world examples to assist the reader in applying the concepts to their own research, material development, and quality-control needs The Fracture of Brittle Materials: Testing and Analysis, Second Edition is an important resource for all students, technicians, engineers, scientists, and researchers involved in the study, analysis, creation, or testing of ceramics.

Supports the use and development of strong, fracture-resistant, and mechanically reliable ceramic materials The Fracture of Brittle Materials thoroughly sets forth the key scientific and engineering concepts underlying the selection of test procedures for fracture toughness, strength determination, and reliability predictions. With this book as their guide, readers can confidently test and analyze a broad range of brittle materials in order to make the best use of existing materials as well as to support the development of new materials. The authors explain the importance of microstructure in these determinations and describe the use of quantitative fractography in failure analysis. The Fracture of Brittle Materials is relevant to a broad range of ceramic materials (i.e., any inorganic non-metal), including semiconductors, cements and concrete, oxides, carbides, and nitrides. The book covers such topics as: Basic principles of fracture mechanics underlying brittle material tests and analysis procedures Theory and mechanisms of environmentally enhanced crack growth Fracture mechanics tests to determine a material's resistance to fast fracture Test and analysis methods to assess the strength of ceramics Methods to analyze the fracture process based on quantitative measurements of the fracture surface Effect of a material's microstructure Methods for predicting the lifetime of brittle components under stress Throughout the book, figures and illustrations help readers understand key concepts and methods. Replete with real-world examples, this text enables engineers and materials and ceramics scientists to select and implement the optimal testing methods for their particular research needs and then accurately analyze the results.