دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
دانلود کتاب نرم افزار و سیستم های تست: بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2012، آلبورگ، دانمارک، 19-21 نوامبر 2012. مجموعه مقالات
مشخصات کتاب
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
ویرایش: 1 نویسندگان: Klaus Havelund (auth.), Brian Nielsen, Carsten Weise (eds.) سری: Lecture Notes in Computer Science 7641 ISBN (شابک) : 9783642346903, 9783642346910 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 272 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب نرم افزار و سیستم های تست: بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2012، آلبورگ، دانمارک، 19-21 نوامبر 2012. مجموعه مقالات: مهندسی نرم‌افزار، شبکه‌های ارتباطی کامپیوتری، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، سیستم‌های مبتنی بر هدف خاص و کاربردی، منطق و معانی برنامه‌ها، مدیریت سیستم‌های محاسباتی و اطلاعاتی
در صورت تبدیل فایل کتاب Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار و سیستم های تست: بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2012، آلبورگ، دانمارک، 19-21 نوامبر 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار و سیستم های تست: بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2012، آلبورگ، دانمارک، 19-21 نوامبر 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1 در تست نرم افزار و سیستم ها، ICTSS 2012، برگزار شده در آلبورگ، دانمارک، در نوامبر 2012 است. از 48 ارسال مقالات در بخش‌های موضوعی در مورد آزمایش در عمل، چارچوب‌های آزمایشی برای سیستم‌های توزیع‌شده، آزمایش سیستم‌های تعبیه‌شده، بهینه‌سازی تست، و روش‌های آزمایش جدید سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.
فهرست مطالب
Front Matter....Pages -
Requirements-Driven Log Analysis (Extended Abstract)....Pages 1-4
Active Learning of Extended Finite State Machines....Pages 5-7
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools....Pages 8-23
Managing Execution Environment Variability during Software Testing: An Industrial Experience....Pages 24-38
A Technique for Agile and Automatic Interaction Testing for Product Lines....Pages 39-54
CaPTIF: Comprehensive Performance TestIng Framework....Pages 55-70
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems....Pages 71-86
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol....Pages 87-102
Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems....Pages 103-118
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing....Pages 119-135
Querying Parametric Temporal Logic Properties on Embedded Systems....Pages 136-151
State Estimation and Property-Guided Exploration for Hybrid Systems Testing....Pages 152-167
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes....Pages 168-183
Using Behaviour Inference to Optimise Regression Test Sets....Pages 184-199
Machine Learning Approach in Mutation Testing....Pages 200-214
Lightweight Automatic Error Detection by Monitoring Collar Variables....Pages 215-230
Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution....Pages 231-246
Parameterized GUI Tests....Pages 247-262
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Crazy English: The Ultimate Joy Ride through Our Language
دانلود کتاب The Price of Health: The Modern Pharmaceutical Enterprise and the Betrayal of a History of Care
دانلود کتاب Clinical handbook of ear, nose and throat disorders
