دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
دانلود کتاب تست نرم افزارها و سیستمها: بیست و سومین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2011 ، پاریس ، فرانسه ، 7-10 نوامبر 2011. مجموعه مقالات
مشخصات کتاب
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
ویرایش: 1 نویسندگان: Marie-Claude Gaudel (auth.), Burkhart Wolff, Fatiha Zaïdi (eds.) سری: Lecture Notes in Computer Science 7019 Programming and Software Engineering ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 235 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب تست نرم افزارها و سیستمها: بیست و سومین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2011 ، پاریس ، فرانسه ، 7-10 نوامبر 2011. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، مدل ها و اصول
در صورت تبدیل فایل کتاب Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تست نرم افزارها و سیستمها: بیست و سومین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2011 ، پاریس ، فرانسه ، 7-10 نوامبر 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تست نرم افزارها و سیستمها: بیست و سومین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2011 ، پاریس ، فرانسه ، 7-10 نوامبر 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و سومین کنفرانس بین‌المللی IFIP WG 6.1 در تست نرم‌افزار و سیستمها، ICTSS 2011، برگزار شده در پاریس، فرانسه، در نوامبر 2011 است. از 40 ارسال این مقالات به مشکلات مفهومی، نظری و عملی آزمایش سیستم‌های نرم‌افزار، از جمله پروتکل‌های ارتباطی، خدمات، پلت‌فرم‌های توزیع‌شده، میان‌افزار، کنترل‌کننده‌ها و زیرساخت‌های امنیتی می‌پردازند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 40 submissions. The papers address the conceptual, theoretic, and practical problems of testing sofware systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures.
فهرست مطالب
Front Matter....Pages -
Counting for Random Testing....Pages 1-8
Formal Testing of Timed and Probabilistic Systems....Pages 9-14
Improved Usage Model for Web Application Reliability Testing....Pages 15-31
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests....Pages 32-47
Conformance Relations for Distributed Testing Based on CSP....Pages 48-63
Praspel: A Specification Language for Contract-Based Testing in PHP....Pages 64-79
Using Testing Techniques for Vulnerability Detection in C Programs....Pages 80-96
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology....Pages 97-114
Monitoring Dynamical Signals While Testing Timed Aspects of a System....Pages 115-130
Model-Based Testing of Industrial Transformational Systems....Pages 131-145
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain....Pages 146-161
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs....Pages 162-178
Compositional Random Testing Using Extended Symbolic Transition Systems....Pages 179-194
An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication Services....Pages 195-208
Assessing Test Adequacy for Black-Box Systems without Specifications....Pages 209-224
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Copernicus: Platonist Astronomer-Philosopher: Cosmic Order, the Movement of the Earth, and the Scientific Revolution
دانلود کتاب Models of Thermochemical Heat Storage
دانلود کتاب Reading Street. Practice Book. Grade 5
دانلود کتاب Not Peace but a Sword: The Great Chasm between Christianity and Islam
