کتاب Practical Model-Based Testing، مقدمهای بر آزمون مبتنی بر مدل ارائه میدهد، که چگونگی نوشتن مدلها برای اهداف تست و نحوه استفاده از ابزارهای تست مبتنی بر مدل برای تولید سوئیتهای تست را نشان میدهد. این کتاب برای تسترها و توسعهدهندگان نرمافزار که مایل به استفاده از تست مبتنی بر مدل هستند هدافگذاری شده است، نه برای توسعهدهندگان ابزار و دانشگاهیان.
این کتاب روی شیوه اصلی تست Functional Black-Box متمرکز شده و سبکهای مختلفی از مدلها، بویژه مدلهای مبتنی بر تراکنش(UML State Machineها) و پیش مدلها/پس مدلها(مشخصات UML/OCL و B Notation) را پوشش میدهد. در این کتاب مراحل اِعمال تست مبتنی بر مدل در مثالها و Case Studyها در دامنههای گوناگون نرمافزاری، از جمله نرمافزارهای تعبیه شده(Embedded) و سیستمهای اطلاعاتی، نشان داده شده است.
از این کتاب یاد خواهید گرفت:
- اصول اساسی و اصطلاحات تست مبتنی بر مدل
- چگونه تست مبتنی بر مدل از دیگر فرآیندهای تست متمایز میشود
- چگونه تست مبتنی بر مدل با چرخههای معمول حیات نرمافزار مانند متدهای Agile و Unified Process متناسب میشود.
- مزایا و محدودیتهای آزمایش مبتنی بر مدل، مقرون به صرفه بودن آن و چگونگی کاهش زمان ارسال به بازار
- فرآیند گام به گام برای استفاده از تست مبتنی بر مدل
- نحوه نوشتن مدلهای خوب برای تست مبتنی بر مدل
- نحوه استفاده از انواع معیارهای انتخاب تست برای کنترل تستهایی که از مدلهای شما تولید میشوند
- چگونه تست مبتنی بر مدل میتواند به پلتفرمهای اجرایی تست اتوماتیک نظیر Mercury Test Director، Java JUnit و محیطهای اجراییِ اختصاصی تست متصل شود
- نمایش این موضوع که تست مبتنی بر مدل چگونه با چرخه حیات نرمافزار و مقرون به صرفگی آن متناسب شده و چگونه میتواند زمان رسیدن به بازار را کاهش دهد
- ارائه راهنمایی در مورد چگونگی استفاده از انواع مختلف تکنیکهای مدلسازی، استراتژیهای تولید تست مفید، نحوه اِعمال تکنیکهای تست مبتنی بر مدل به برنامههای واقعی با استفاده از Case Study