دانلود کتاب Practical Model-Based Testing: A Tools Approach

ترجمه فارسی توضیحات (ترجمه ماشینی)

آزمایش مبتنی بر مدل عملی: رویکرد ابزار

این کتاب مقدمه‌ای عملی برای آزمایش مبتنی بر مدل ارائه می‌کند و نحوه نوشتن مدل‌ها برای اهداف آزمایشی و نحوه استفاده از ابزارهای تست مبتنی بر مدل برای تولید مجموعه‌های آزمایشی را نشان می‌دهد. هدف این کتاب آزمایش‌کنندگان و توسعه‌دهندگان نرم‌افزاری است که مایل به استفاده از آزمایش مبتنی بر مدل هستند، به جای توسعه‌دهندگان ابزار یا دانشگاهیان. این کتاب بر روی تمرین اصلی تست جعبه سیاه عملکردی تمرکز دارد و سبک‌های مختلف مدل‌ها، به ویژه مبتنی بر انتقال را پوشش می‌دهد. مدل‌ها (ماشین‌های حالت UML) و مدل‌های قبل/پست (مشخصات UML/OCL و نماد B). مراحل بکارگیری تست مبتنی بر مدل بر روی مثال‌ها و مطالعات موردی از حوزه‌های نرم‌افزاری مختلف، از جمله نرم‌افزارهای تعبیه‌شده و سیستم‌های اطلاعاتی نشان داده شده است. از این کتاب شما خواهید آموخت:* اصول و اصطلاحات اولیه تست مبتنی بر مدل * چگونه مدل آزمایش مبتنی بر مدل با سایر فرآیندهای آزمایش متفاوت است * چگونه آزمایش مبتنی بر مدل در چرخه عمر نرم افزار معمولی مانند روش های چابک و فرآیند یکپارچه قرار می گیرد * مزایا و محدودیت های آزمایش مبتنی بر مدل، اثربخشی هزینه آن و اینکه چگونه می تواند زمان را کاهش دهد. بازار* فرآیندی گام به گام برای اعمال تست مبتنی بر مدل* نحوه نوشتن مدل های خوب برای تست مبتنی بر مدل* نحوه استفاده از انواع معیارهای انتخاب آزمون برای کنترل تست هایی که از مدل های شما تولید می شوند* چگونه مدل- تست مبتنی بر می‌تواند به پلتفرم‌های اجرای آزمایش خودکار موجود مانند Mercury Test Director، Java JUnit و محیط‌های اجرای آزمایش اختصاصی متصل شود* اصول و اصطلاحات پایه مدل‌محور t را ارائه می‌کند. esting* نشان می‌دهد که چگونه تست مبتنی بر مدل با چرخه عمر نرم‌افزار تناسب دارد، مقرون به صرفه بودن آن، و چگونه می‌تواند زمان ورود به بازار را کاهش دهد* راهنمایی در مورد نحوه استفاده از انواع تکنیک‌های مدل‌سازی، استراتژی‌های تولید آزمون مفید، نحوه اعمال مدل‌محور ارائه می‌دهد. تکنیک های آزمایش برای برنامه های واقعی با استفاده از مطالعات موردی

Practical Model-Based Testing: A Tools Approach

This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems.From this book you will learn:* The basic principles and terminology of model-based testing* How model-based testing differs from other testing processes* How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process* The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market* A step-by-step process for applying model-based testing* How to write good models for model-based testing* How to use a variety of test selection criteria to control the tests that are generated from your models* How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments* Presents the basic principles and terminology of model-based testing* Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and howit can reduce time to market* Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies