دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
دانلود کتاب تست نرم افزار و سیستم ها: بیست و پنجمین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2013 ، استانبول ، ترکیه ، 13-15 نوامبر 2013 ، مجموعه مقالات
مشخصات کتاب
Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
ویرایش: 1 نویسندگان: Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson (auth.), Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich (eds.) سری: Lecture Notes in Computer Science 8254 : Programming and Software Engineering ISBN (شابک) : 9783642417061, 9783642417078 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 302 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب تست نرم افزار و سیستم ها: بیست و پنجمین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2013 ، استانبول ، ترکیه ، 13-15 نوامبر 2013 ، مجموعه مقالات: مهندسی نرم‌افزار، شبکه‌های ارتباطی کامپیوتری، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، سیستم‌های مبتنی بر هدف خاص و کاربردی، منطق و معانی برنامه‌ها، مدیریت سیستم‌های محاسباتی و اطلاعاتی
در صورت تبدیل فایل کتاب Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تست نرم افزار و سیستم ها: بیست و پنجمین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2013 ، استانبول ، ترکیه ، 13-15 نوامبر 2013 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تست نرم افزار و سیستم ها: بیست و پنجمین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2013 ، استانبول ، ترکیه ، 13-15 نوامبر 2013 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و پنجمین کنفرانس بین المللی IFIP WG 6.1 در تست نرم افزار و سیستم ها، ICTSS 2013، در استانبول، ترکیه، در نوامبر 2013 برگزار شد. 17 مقاله کامل اصلاح شده ارائه شده همراه با 3 مقاله کوتاه با دقت انتخاب شدند. از 68 ارسال مقالات در بخش های موضوعی در مورد آزمایش مبتنی بر مدل، آزمایش سیستم های زمان بندی شده و همزمان، انتخاب مجموعه آزمایشی و برآورد تلاش، ابزارها و زبان ها، و اشکال زدایی سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging.
فهرست مطالب
Front Matter....Pages -
Using Logic Coverage to Improve Testing Function Block Diagrams....Pages 1-16
Automatic Grammar-Based Test Generation....Pages 17-32
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines....Pages 33-48
Exhaustive Model-Based Equivalence Class Testing....Pages 49-64
Remote Testing of Timed Specifications....Pages 65-81
An Implementation Relation and Test Framework for Timed Distributed Systems....Pages 82-97
Unfolding-Based Test Selection for Concurrent Conformance....Pages 98-113
Predicting the Size of Test Suites from Use Cases: An Empirical Exploration....Pages 114-132
Chaining Test Cases for Reactive System Testing....Pages 133-148
Variations over Test Suite Reduction....Pages 149-163
Case Studies in Learning-Based Testing....Pages 164-179
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams....Pages 180-195
Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan....Pages 196-206
Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3....Pages 207-222
Guided Algebraic Specification Mining for Failure Simplification....Pages 223-238
Spectrum-Based Fault Localization for Diagnosing Concurrency Faults....Pages 239-254
A Dynamic Approach to Locating Memory Leaks....Pages 255-270
Towards a GUI Test Model Using State Charts and Programming Code....Pages 271-276
A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols....Pages 277-282
Finding Errors in Python Programs Using Dynamic Symbolic Execution....Pages 283-289
Back Matter....Pages -
