دانلود کتاب Model-Based Testing of Reactive Systems: Advanced Lectures
دسته: برنامه نويسي
کتاب آزمایش سیستم‌های واکنش‌گر مبتنی بر مدل: سخنرانی‌های پیشرفته نسخه زبان اصلی
دانلود کتاب آزمایش سیستم‌های واکنش‌گر مبتنی بر مدل: سخنرانی‌های پیشرفته بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Model-Based Testing of Reactive Systems: Advanced Lectures
نام کتاب : Model-Based Testing of Reactive Systems: Advanced Lectures
ویرایش : 1
عنوان ترجمه شده به فارسی : آزمایش سیستم‌های واکنش‌گر مبتنی بر مدل: سخنرانی‌های پیشرفته
سری : Lecture Notes in Computer Science 3472 : Programming and Software Engineering
نویسندگان : Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2005
تعداد صفحات : 645
ISBN (شابک) : 9783540262787 , 3540262784
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
تست، تکنیک اصلی تأیید سخت افزار و نرم افزار است که امروزه توسط صنعت استفاده می شود. معمولاً موردی، مستعد خطا و بسیار گران است. با این حال، در سال‌های اخیر، تلاش‌های زیادی برای توسعه روش‌های آزمایش رسمی پیچیده‌تر صورت گرفته است. این کتاب منسجم، ارزیابی عمیقی از این زمینه نوظهور ارائه می‌کند، با تمرکز بر آزمایش رسمی سیستم‌های واکنشی.
این کتاب بر اساس سمیناری است که در قلعه داگستول، آلمان، در ژانویه 2004 برگزار شد. 19 مورد را ارائه می‌کند. سخنرانی‌های ارائه شده در سمینار به دقت بررسی و اصلاح شده و به شیوه‌ای متعادل از پوشش کامل تکمیلی همه جنبه‌های مرتبط اطمینان حاصل شود. یک ضمیمه واژه نامه ای برای آزمایش های مبتنی بر مدل و اصول اولیه در ماشین های حالت محدود و سیستم های انتقال برچسب دار ارائه می دهد. سخنرانی‌ها در بخش‌های موضوعی در مورد آزمایش ماشین‌های حالت محدود، آزمایش سیستم‌های انتقال برچسب‌گذاری‌شده، تولید مورد آزمایشی مبتنی بر مدل، ابزارها و مطالعات موردی، نمادگذاری آزمون استاندارد و معماری‌های اجرا، و فراتر از آزمایش ارائه می‌شوند.
فهرست مطالب :
Front Matter....Pages -
Part I. Testing of Finite State Machines....Pages 1-3
1 Homing and Synchronizing Sequences....Pages 5-33
2 State Identification....Pages 35-67
3 State Verification....Pages 69-86
4 Conformance Testing....Pages 87-111
Part II. Testing of Labeled Transition Systems....Pages 113-115
5 Preorder Relations....Pages 117-149
6 Test Generation Algorithms Based on Preorder Relations....Pages 151-171
7 I/O-automata Based Testing....Pages 173-200
8 Test Derivation from Timed Automata....Pages 201-231
9 Testing Theory for Probabilistic Systems....Pages 233-275
Part III. Model-Based Test Case Generation....Pages 277-279
10 Methodological Issues in Model-Based Testing....Pages 281-291
11 Evaluating Coverage Based Testing....Pages 293-322
12 Technology of Test-Case Generation....Pages 323-354
13 Real-Time and Hybrid Systems Testing....Pages 355-387
Part IV. Tools and Case Studies....Pages 389-390
14 Tools for Test Case Generation....Pages 391-438
15 Case Studies....Pages 439-461
Part V. Standardized Test Notation and Execution Architecture....Pages 463-463
16 TTCN-3....Pages 465-496
17 UML 2.0 Testing Profile....Pages 497-521
Part VI. Beyond Testing....Pages 523-523
18 Run-Time Verification....Pages 525-555
19 Model Checking....Pages 557-603
Part VII. Appendices....Pages 605-605
20 Model-Based Testing – A Glossary....Pages 607-609
21 Finite State Machines....Pages 611-614
22 Labelled Transition Systems....Pages 615-616
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
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.