مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب هنر آزمایش مبتنی بر مدل: شبیه سازی کامپیوتری،تست،شبیه سازی کامپیوتری،تست

در صورت تبدیل فایل کتاب 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Grief and Its Transcendence: Memory, Identity, Creativity

دانلود کتاب Mathematikfortbildungen professionalisieren: Konzepte, Beispiele und Erfahrungen des Deutschen Zentrums für Lehrerbildung Mathematik

دانلود کتاب Mechatronics 4.0: Proceedings of the First International Workshop on Mechatronics 4.0, June 8–9, 2019, Mahdia, Tunisia

دانلود کتاب Great books of the Western world, vol. 22

دانلود کتاب Sintesi di dottrina della razza