دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The craft of model-based testing
دانلود کتاب هنر آزمایش مبتنی بر مدل
مشخصات کتاب
The craft of model-based testing
ویرایش: 1
نویسندگان: Paul C. Jorgensen
سری:
ISBN (شابک) : 9781498712286, 1498712282
ناشر: CRC/Taylor & Francis; Auerbach Publications
سال نشر: 2017
تعداد صفحات: 457
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب هنر آزمایش مبتنی بر مدل: شبیه سازی کامپیوتری،تست،شبیه سازی کامپیوتری،تست
در صورت تبدیل فایل کتاب The craft of model-based testing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هنر آزمایش مبتنی بر مدل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب هنر آزمایش مبتنی بر مدل
نویسنده Paul C Jorgensen در جدیدترین اثر خود از رویکرد استادکار ماهر خود برای تسلط بر تست مبتنی بر مدل (MBT) استفاده می کند. برای اینکه در MBT متخصص باشد، یک تستر نرم افزار باید آن را به عنوان یک هنر و نه به عنوان یک هنر درک کند. این بدان معناست که یک آزمایش‌کننده باید دانش عمیقی از موضوع اصلی داشته باشد و در انجام تکنیک‌های مدل‌سازی و آزمایش به خوبی تمرین کند. قضاوت و همچنین درک ابزارهای MBT مورد نیاز است.
قسمت اول کتاب به آزمایش کنندگان در توسعه این قضاوت کمک می کند. با مروری بر MBT شروع می‌شود و با بررسی عمیق نه مدل آزمایشی مختلف همراه با فصلی که به هر مدل اختصاص دارد، دنبال می‌شود. این فصل ها با یک جفت مثال به هم گره خورده اند: یک محاسبه ساده حق بیمه و یک سیستم مبتنی بر رویداد که یک کنترل کننده درب گاراژ را توصیف می کند. این کتاب نشان می‌دهد که چگونه مدل‌های ساده‌تر - نمودارهای جریان، جداول تصمیم‌گیری، و نمودارهای فعالیت UML - جنبه‌های مهم مشکل حق بیمه را بیان می‌کنند. همچنین نشان می‌دهد که چگونه مدل‌های مبتنی بر انتقال - ماشین‌های حالت محدود، شبکه‌های پتری و نمودارهای وضعیت - برای کنترل‌کننده درب گاراژ ضروری هستند اما برای مشکل حق بیمه بیش از حد هستند. هر فصل تا چه حد یک مدل می تواند MBT را پشتیبانی کند، توضیح می دهد.
بخش دوم کتاب به آزمایش کنندگان درک بیشتری از ابزارهای MBT می دهد. این شش محصول تجاری MBT را بررسی می‌کند، ویژگی‌های برجسته هر محصول را ارائه می‌کند، و استفاده از محصول را در حق بیمه و مشکلات کنترلر درب گاراژ نشان می‌دهد. این فصل ها هر کدام با توصیه هایی در مورد اجرای MBT در یک سازمان به پایان می رسند. فصل آخر شش ابزار منبع باز را توضیح می‌دهد تا دانش تستر در مورد MBT را کامل کند. علاوه بر این، این کتاب از برنامه درسی MBT (ISTQB®) هیئت بین المللی صلاحیت تست نرم افزار برای صدور گواهینامه پشتیبانی می کند.
توضیحاتی درمورد کتاب به خارجی
In his latest work, author Paul C Jorgensen takes his well-honed craftsman’s approach to mastering model-based testing (MBT). To be expert at MBT, a software tester has to understand it as a craft rather than an art. This means a tester should have deep knowledge of the underlying subject and be well practiced in carrying out modeling and testing techniques. Judgment is needed, as well as an understanding of MBT the tools.
The first part of the book helps testers in developing that judgment. It starts with an overview of MBT and follows with an in-depth treatment of nine different testing models with a chapter dedicated to each model. These chapters are tied together by a pair of examples: a simple insurance premium calculation and an event-driven system that describes a garage door controller. The book shows how simpler models―flowcharts, decision tables, and UML Activity charts―express the important aspects of the insurance premium problem. It also shows how transition-based models―finite state machines, Petri nets, and statecharts―are necessary for the garage door controller but are overkill for the insurance premium problem. Each chapter describes the extent to which a model can support MBT.
The second part of the book gives testers a greater understanding of MBT tools. It examines six commercial MBT products, presents the salient features of each product, and demonstrates using the product on the insurance premium and the garage door controller problems. These chapters each conclude with advice on implementing MBT in an organization. The last chapter describes six Open Source tools to round out a tester’s knowledge of MBT. In addition, the book supports the International Software Testing Qualifications Board’s (ISTQB®) MBT syllabus for certification.
فهرست مطالب
Content: Preface Acknowledgments About the Author Part 1 THEORY OF MODELS FOR MODEL-BASED TESTING 1 Overview of Model-Based Testing 2 Flowcharts 3 Decision Tables 4 Finite State Machines 5 Petri Nets 6 Event-Driven Petri Nets 7 Statecharts 8 Swim Lane Event-Driven Petri Nets 9 Object-Oriented Models 10 Business Process Modeling and Notation Part 2 THE PRACTICE OF MODEL-BASED TESTING 11 About the International Software Testing Qualification Board 12 Implementing MBT in an Organization 13 Information Provided to Model-Based Testing Tool Vendors 14 Smartesting Yest and CertifyIt 15 TestOptimal 16 Conformiq, Inc. 17 Elvior 18 sepp.med GmbH 19 Verified Systems International GmbH 20 Open-Source Model-Based Testing Tools Index
