دانلود کتاب Model-Based Testing of Reactive Systems: Advanced Lectures
49,000 تومان
آزمایش سیستمهای راکتیو مبتنی بر مدل: سخنرانیهای پیشرفته
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 664 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540262784,9783540262787 |
| نوبت چاپ | 1 |
| نویسنده | Alexander Pretschner (auth.), Alexander Pretschner (eds.), Bengt Jonsson, Joost-Pieter Katoen, Manfred Broy, Martin Leucker |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
آزمایش سیستمهای راکتیو مبتنی بر مدل: سخنرانیهای پیشرفته
تست، تکنیک اصلی تأیید سخت افزار و نرم افزار است که امروزه توسط صنعت استفاده می شود. معمولاً موردی، مستعد خطا و بسیار گران است. با این حال، در سالهای اخیر، تلاشهای زیادی برای توسعه روشهای آزمایش رسمی پیچیدهتر صورت گرفته است. این کتاب منسجم، ارزیابی عمیقی از این زمینه نوظهور را ارائه میکند، با تمرکز بر آزمایش رسمی سیستمهای واکنشی.
این کتاب بر اساس سمیناری است که در قلعه داگستول، آلمان، در ژانویه 2004 برگزار شد. 19 مورد را ارائه میدهد. سخنرانی های ارائه شده در سمینار به دقت بررسی و تجدید نظر شده و به روشی متعادل از پوشش کامل تکمیلی همه جنبه های مرتبط اطمینان حاصل شود. یک ضمیمه واژه نامه ای برای آزمایش های مبتنی بر مدل و اصول اولیه در ماشین های حالت محدود و سیستم های انتقال برچسب دار ارائه می دهد. سخنرانیها در بخشهای موضوعی در مورد آزمایش ماشینهای حالت محدود، آزمایش سیستمهای انتقال برچسبگذاریشده، تولید مورد آزمایشی مبتنی بر مدل، ابزارها و مطالعات موردی، نمادگذاری آزمون استاندارد و معماریهای اجرا و فراتر از آزمایش ارائه میشوند.
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.