Книга "Тестирование программного обеспечения. Концепции и операции" исследует основные проблемы, концепции и принципы тестирования программного обеспечения, включая инженерию качества программного обеспечения, генерацию тестовых данных, анализ развертывания тестов и управление тестированием программного обеспечения.
В книге рассматриваются принципы, концепции и процессы, которые являются фундаментальными для функции тестирования программного обеспечения. Книга разделена на пять широких частей. Часть I знакомит с тестированием программного обеспечения в более широком контексте инженерии программного обеспечения и исследует качества, которые тестирование стремится достичь или подтвердить, а также жизненный цикл тестирования программного обеспечения. Часть II охватывает математические основы тестирования программного обеспечения, включая спецификацию программного обеспечения, корректность программы и верификацию, концепции надежности программного обеспечения и таксономию тестирования программного обеспечения. Часть III обсуждает генерацию тестовых данных, в частности, функциональные критерии и структурные критерии. Особое внимание уделено дизайну тестовых оракулов, дизайну тестового драйвера и анализу результатов тестирования в Части IV. Наконец, Часть V охватывает управленческие аспекты тестирования программного обеспечения, включая метрики программного обеспечения, инструменты тестирования программного обеспечения и тестирование продуктовых линий программного обеспечения.
Книга представляет тестирование программного обеспечения не как изолированную технику, а как часть интегрированной дисциплины верификации и валидации программного обеспечения. Книга предлагает использовать проверку программ и верификацию корректности программы в рамках одной математической модели, что позволяет применять две техники вместе благодаря закону убывающей отдачи. Книга определяет понятие программной ошибки и связанное с ним понятие относительной корректности и показывает, как относительная корректность может использоваться для характеристики монотонного устранения ошибок. Книга представляет деятельность тестирования программного обеспечения как деятельность, направленную на достижение целей и исследует, как проведение теста зависит от выбранной цели.
"Тестирование программного обеспечения. Концепции и операции" - отличный ресурс для студентов по качеству программного обеспечения и инженерии программного обеспечения, поскольку представляет им фундаментальные знания, которые помогут им готовиться к их постоянно развивающейся дисциплине.
Электронная Книга «Software Testing. Concepts and Operations - Mili Ali» написана автором Mili Ali в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781119065579
Описание книги от Mili Ali
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.