Fundamentals of Software Testing

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.

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.

Presents a comprehensive introduction to the selection, operation, and testing of infrared devices, including a description of modern detector assemblies and their operation This book discusses how to use and test infrared and visible detectors. The book provides a convenient reference for those entering the field of IR detector design, test or use, those who work in the peripheral areas, and those who teach and train others in the field. Chapter 1 contains introductory material. Radiometry is covered in Chapter 2. The author examines Thermal detectors in Chapter 3; the “Classical” photon detectors – simple photoconductors and photovoltaics in Chapter 4; and “Modern Photon Detectors” in Chapter 5. Chapters 6 through 8 consider respectively individual elements and small arrays of elements the “readouts” (ROICs) used with large imaging arrays; and Electronics for FPA Operation and Testing. The Test Set and The Testing Process are analyzed in Chapters 9 and 10, with emphasis on uncertainty and trouble shooting. Chapters 11 through 15 discuss related skills, such as Uncertainty, Cryogenics, Vacuum, Optics, and the use of Fourier Transforms in the detector business. Some highlights of this new edition are that it Discusses radiometric nomenclature and calculations, detector mechanisms, the associated electronics, how these devices are tested, and real-life effects and problems Examines new tools in Infrared detector operations, specifically: selection and use of ROICs, electronics for FPA operation, operation of single element and very small FPAs, microbolometers, and multi-color FPAs Contains five chapters with frequently sought-after information on related subjects, such as uncertainty, optics, cryogenics, vacuum, and the use of Fourier mathematics for detector analyses Fundamentals of Infrared and Visible Detector Operation and Testing, Second Edition, provides the background and vocabulary necessary to help readers understand the selection, operation, and testing of modern infrared devices.

An in-depth review of key techniques in software error detection Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through Testing and Analysis begins with a thorough discussion of test-case selection and a review of the concepts, notations, and principles used in the book. Next, it covers: Code-based test-case selection methods Specification-based test-case selection methods Additional advanced topics in testing Analysis of symbolic trace Static analysis Program instrumentation Each chapter begins with a clear introduction and ends with exercises for readers to test their understanding of the material. Plus, appendices provide a logico-mathematical background, glossary, and questions for self-assessment. Assuming a basic background in software quality assurance and an ability to write nontrivial programs, the book is free of programming languages and paradigms used to construct the program under test. Software Error Detection through Testing and Analysis is suitable as a professional reference for software testing specialists, software engineers, software developers, and software programmers. It is also appropriate as a textbook for software engineering, software testing, and software quality assurance courses at the advanced undergraduate and graduate levels.

Features the techniques, methods, and applications of calculus using real-world examples from business and economics as well as the life and social sciences An introduction to differential and integral calculus, Fundamentals of Calculus presents key topics suited for a variety of readers in fields ranging from entrepreneurship and economics to environmental and social sciences. Practical examples from a variety of subject areas are featured throughout each chapter and step-by-step explanations for the solutions are presented. Specific techniques are also applied to highlight important information in each section, including symbols interspersed throughout to further reader comprehension. In addition, the book illustrates the elements of finite calculus with the varied formulas for power, quotient, and product rules that correlate markedly with traditional calculus. Featuring calculus as the “mathematics of change,” each chapter concludes with a historical notes section. Fundamentals of Calculus chapter coverage includes: Linear Equations and Functions The Derivative Using the Derivative Exponents and Logarithms Differentiation Techniques Integral Calculus Integrations Techniques Functions of Several Variables Series and Summations Applications to Probability Supplemented with online instructional support materials, Fundamentals of Calculus is an ideal textbook for undergraduate students majoring in business, economics, biology, chemistry, and environmental science.

Biophysics is a science that comprises theoretical plotting and models based on contemporary physicochemical conceptions. They mirror physical specificity of the molecular organization and elementary processes in living organisms, which in their turn form the molecular basis of biological phenomena. Presentation of a complete course in biophysics requires vast biological material as well as additional involvement of state-of-the-art concepts in physics, chemistry and mathematics. This is essential for the students to “perceive” the specific nature and peculiarity of molecular biological processes and see how this specificity is displayed in biological systems. This is the essence of the up-to-date biophysical approach to the analysis of biological processes. Fundamentals of Biophysics offers a complete, thorough coverage of the material in a straightforward and no-nonsense format, offering a new and unique approach to the material that presents the appropriate topics without extraneous and unneeded filler material.

Fundamentals of Electrochemistry provides the basic outline of most topics of theoretical and applied electrochemistry for students not yet familiar with this field, as well as an outline of recent and advanced developments in electrochemistry for people who are already dealing with electrochemical problems. The content of this edition is arranged so that all basic information is contained in the first part of the book, which is now rewritten and simplified in order to make it more accessible and used as a textbook for undergraduate students. More advanced topics, of interest for postgraduate levels, come in the subsequent parts. This updated second edition focuses on experimental techniques, including a comprehensive chapter on physical methods for the investigation of electrode surfaces. New chapters deal with recent trends in electrochemistry, including nano- and micro-electrochemistry, solid-state electrochemistry, and electrocatalysis. In addition, the authors take into account the worldwide renewal of interest for the problem of fuel cells and include chapters on batteries, fuel cells, and double layer capacitors.

Now in a new full-color edition, Fundamentals of Photonics, Second Edition is a self-contained and up-to-date introductory-level textbook that thoroughly surveys this rapidly expanding area of engineering and applied physics. Featuring a logical blend of theory and applications, coverage includes detailed accounts of the primary theories of light, including ray optics, wave optics, electromagnetic optics, and photon optics, as well as the interaction of photons and atoms, and semiconductor optics. Presented at increasing levels of complexity, preliminary sections build toward more advanced topics, such as Fourier optics and holography, guided-wave and fiber optics, semiconductor sources and detectors, electro-optic and acousto-optic devices, nonlinear optical devices, optical interconnects and switches, and optical fiber communications. Each of the twenty-two chapters of the first edition has been thoroughly updated. The Second Edition also features entirely new chapters on photonic-crystal optics (including multilayer and periodic media, waveguides, holey fibers, and resonators) and ultrafast optics (including femtosecond optical pulses, ultrafast nonlinear optics, and optical solitons). The chapters on optical interconnects and switches and optical fiber communications have been completely rewritten to accommodate current technology. Each chapter contains summaries, highlighted equations, exercises, problems, and selected reading lists. Examples of real systems are included to emphasize the concepts governing applications of current interest.

The Second Edition of this critically-acclaimed text continues the standard of excellence set in the first edition by providing a thorough introduction to the fundamentals of telecommunication networks without bogging you down in complex technical jargon or math. Although focusing on the basics, the book has been thoroughly updated with the latest advances in the field, including a new chapter on metropolitan area networks (MANs) and new sections on Mobile Fi, ZigBee and ultrawideband. You’ll learn which choices are now available to an organization, how to evaluate them and how to develop strategies that achieve the best balance among cost, security and performance factors for voice, data, and image communication. An Instructor's Manual presenting detailed solutions to all the problems in the book is available from the Wiley editorial department.