دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
دانلود کتاب تست نرم افزارها و سیستم ها: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2015 ، شارجه و دبی ، امارات متحده عربی ، 23-25 نوامبر 2015 ، مجموعه مقالات
مشخصات کتاب
Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
ویرایش: 1 نویسندگان: Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.) سری: Lecture Notes in Computer Science 9447 ISBN (شابک) : 9783319259444, 9783319259451 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 271 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 47,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تست نرم افزارها و سیستم ها: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2015 ، شارجه و دبی ، امارات متحده عربی ، 23-25 نوامبر 2015 ، مجموعه مقالات: مهندسی نرم‌افزار، شبکه‌های ارتباطی کامپیوتری، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، سیستم‌های مبتنی بر هدف خاص و کاربردی، منطق و معانی برنامه‌ها، مدیریت سیستم‌های محاسباتی و اطلاعاتی
در صورت تبدیل فایل کتاب Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تست نرم افزارها و سیستم ها: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2015 ، شارجه و دبی ، امارات متحده عربی ، 23-25 نوامبر 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تست نرم افزارها و سیستم ها: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2015 ، شارجه و دبی ، امارات متحده عربی ، 23-25 نوامبر 2015 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1 در تست نرم افزار و سیستم ها، ICTSS 2015، در شارجه و دبی، امارات متحده عربی، در نوامبر 2015 برگزار شد. 14 مقاله کامل اصلاح شده و 4 مقاله کوتاه ارائه شده است. از بین 42 مورد ارسالی به دقت بررسی و انتخاب شدند. مقالات در بخش‌های موضوعی در مورد آزمایش مبتنی بر مدل، روش‌های مشتق آزمایش، نظارت و محلی‌سازی خطا، آزمایش مدل و سیستم، و سیستم‌های بلادرنگ سازماندهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.
فهرست مطالب
Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Checking Experiments for Finite State Machines with Symbolic Inputs....Pages 3-18
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation....Pages 19-34
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts....Pages 35-51
Front Matter....Pages 53-53
Graph Methods for Generating Test Cases with Universal and Existential Constraints....Pages 55-70
Reducing the Cost of Grammar-Based Testing Using Pattern Coverage....Pages 71-85
Automated Test Design for Boundaries of Product Line Variants....Pages 86-101
Front Matter....Pages 103-103
Guiding Testers’ Hands in Monitoring Tools: Application of Testing Approaches on SIP....Pages 105-123
Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach....Pages 124-140
Novel Insights on Cross Project Fault Prediction Applied to Automotive Software....Pages 141-157
Front Matter....Pages 159-159
Inferring Finite State Machines Without Reset Using State Identification Sequences....Pages 161-177
mu2: A Refactoring-Based Mutation Testing Framework for Erlang....Pages 178-193
A Survey on Testing for Cyber Physical System....Pages 194-207
Front Matter....Pages 209-209
Test-Data Generation for Testing Parallel Real-Time Systems....Pages 211-223
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations....Pages 224-239
Front Matter....Pages 241-241
Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines....Pages 243-248
Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning....Pages 249-256
A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing....Pages 257-262
A Practical Evaluation Method of Network Traffic Load for Capacity Planning....Pages 263-268
Back Matter....Pages 269-269
