Read online ebook Ali Mili - Quantitative Software Engineering: Software Testing : Concepts and Operations in MOBI, TXT, PDF
9781118662878 1118662873 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., Presents software testing, not as an isolated technique, but as part of an integrated discipline of software verification and validation. This book proposes program testing and program correctness verification within the same mathematical model, making it possible to deploy two techniques in concert, by virtue of the law of diminishing returns., The book attempts to synthesize several decades' worth of advances in software testing, skipping tentative techniques and short-lived fads to focus on time-tested ideas and concepts that are expected to remain relevant as testing technology evolves. This book is not necessarily interested in the latest technologies, precisely because such technologies do not remain "latest "for too long; rather it is interested in the principles, concepts and processes that are fundamental to the software testing function, and will likely remain relevant in the long run. This textbook recognizes the multiple uses of software testing, and explores the implications of the different uses on the conduct of the testing activity. By contrast, most other books equate testing with debugging, and focus on this particular goal at the exclusion of other important goals. This textbook recognizes the multiple phases and activities of software testing, and gives a balanced coverage of all these important phases and activities. By contrast, because they equate testing with debugging, most other books focus on the most critical activity of debugging, which is to diagnose faults, at the expense of other important tasks, such as test oracle design and implementation, test driver design and implementation, and test outcome analysis.
9781118662878 1118662873 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., Presents software testing, not as an isolated technique, but as part of an integrated discipline of software verification and validation. This book proposes program testing and program correctness verification within the same mathematical model, making it possible to deploy two techniques in concert, by virtue of the law of diminishing returns., The book attempts to synthesize several decades' worth of advances in software testing, skipping tentative techniques and short-lived fads to focus on time-tested ideas and concepts that are expected to remain relevant as testing technology evolves. This book is not necessarily interested in the latest technologies, precisely because such technologies do not remain "latest "for too long; rather it is interested in the principles, concepts and processes that are fundamental to the software testing function, and will likely remain relevant in the long run. This textbook recognizes the multiple uses of software testing, and explores the implications of the different uses on the conduct of the testing activity. By contrast, most other books equate testing with debugging, and focus on this particular goal at the exclusion of other important goals. This textbook recognizes the multiple phases and activities of software testing, and gives a balanced coverage of all these important phases and activities. By contrast, because they equate testing with debugging, most other books focus on the most critical activity of debugging, which is to diagnose faults, at the expense of other important tasks, such as test oracle design and implementation, test driver design and implementation, and test outcome analysis.