Ali Mili

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 managementThis 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 validationProposes 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 returnsDefines 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 removalPresents the activity of software testing as a goal oriented activity, and explores how the conduct of the test depends on the selected goalCovers 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.

Practical models and fundamental aspects of reuse-based software engineering This volume provides an overview of the current state and the future of reuse-based software engineering and discusses the vital technical, managerial, and organizational aspects of reuse in one treatment. It also shows how these fundamental aspects can be used in the development life cycle of component-based software and product line engineering. The authors present the basic foundations upon which reuse processes and approaches can be established and integrate theoretical concepts with applied practice. They also discuss the development of an effective large-scale discipline utilizing: The state of the art in multi-paradigm programming, design, and architectural techniques for codifying and packaging high-quality software artifacts that are widely applicable and cost-effective Effective organizations with the mandate and the resources to produce and manage a shared repository of software assets A set of control and management tools for planning, controlling, and evaluating the degree to which such an organization meets its objectives Reuse-Based Software Engineering offers in-depth discussion of these fundamental issues and total coverage of the state of the art. The inclusion of review questions and exercises makes it an excellent tutorial for both academics and professionals.