دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings
دانلود کتاب آزمایش سیستم های ارتباطی: هفدهمین کنفرانس بین المللی IFIP TC6/WG 6.1 ، TestCom 2005 ، مونترال ، کانادا ، 31 مه - ژوئن ، 2005. مجموعه مقالات
مشخصات کتاب
Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings
ویرایش: 1 نویسندگان: T. S. E. Maibaum (auth.), Ferhat Khendek, Rachida Dssouli (eds.) سری: Lecture Notes in Computer Science 3502 Computer Communication Networks and Telecommunications ISBN (شابک) : 9783540260547, 9783540320760 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 389 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 29,000
کلمات کلیدی مربوط به کتاب آزمایش سیستم های ارتباطی: هفدهمین کنفرانس بین المللی IFIP TC6/WG 6.1 ، TestCom 2005 ، مونترال ، کانادا ، 31 مه - ژوئن ، 2005. مجموعه مقالات: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب آزمایش سیستم های ارتباطی: هفدهمین کنفرانس بین المللی IFIP TC6/WG 6.1 ، TestCom 2005 ، مونترال ، کانادا ، 31 مه - ژوئن ، 2005. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب آزمایش سیستم های ارتباطی: هفدهمین کنفرانس بین المللی IFIP TC6/WG 6.1 ، TestCom 2005 ، مونترال ، کانادا ، 31 مه - ژوئن ، 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفدهمین کنفرانس بین المللی IFIP TC 6/WG 6.1 در تست سیستم های ارتباطی، TestCom 2005، برگزار شده در مونترال، کانادا در ماه می/ژوئن 2005 است.
24 مورد تجدید نظر کامل مقالات ارائه شده همراه با چکیده مبسوط یک سخنرانی اصلی به دقت بررسی و از 62 مورد ارسالی اولیه انتخاب شدند. این مقالات به تمام مسائل جاری در آزمایش سیستم های ارتباطی می پردازند، از مسائل ارتباطی کلاسیک تا تست نرم افزار عمومی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2005, held in Montreal, Canada in May/June 2005.
The 24 revised full papers presented together with the extended abstract of a keynote talk were carefully reviewed and selected from initially 62 submissions. The papers address all current issues in testing communicating systems, ranging from classical telecommunication issues to general software testing.
فهرست مطالب
Front Matter....Pages -
The Epistemology of Validation and Verification Testing....Pages 1-8
Passive Testing – A Constrained Invariant Checking Approach....Pages 9-22
Dependence Testing: Extending Data Flow Testing with Control Dependence....Pages 23-39
Comparing Bug Finding Tools with Reviews and Tests....Pages 40-55
Cross-Language Functional Testing for Middleware....Pages 56-68
Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams....Pages 69-80
Action Refinement in Conformance Testing....Pages 81-96
Multiplexing of Partially Ordered Events....Pages 97-110
Testing Communicating Systems: a Model, a Methodology, and a Tool....Pages 111-128
Coping with Nondeterminism in Network Protocol Testing....Pages 129-145
Eliminating Redundant Tests in a Checking Sequence....Pages 146-158
On FSM-Based Fault Diagnosis....Pages 159-174
State Identification Problems for Timed Automata....Pages 175-191
Timing Fault Models for Systems with Multiple Timers....Pages 192-208
An Expressive and Implementable Formal Framework for Testing Real-Time Systems....Pages 209-225
Firewall Conformance Testing....Pages 226-241
Test Generation for Interaction Detection in Feature-Rich Communication Systems....Pages 242-257
Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms....Pages 258-274
Detecting Trapdoors in Smart Cards Using Timing and Power Analysis....Pages 275-288
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -....Pages 289-303
Using TTCN-3 for Testing Platform Independent Models....Pages 304-317
Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing....Pages 318-332
A Model-Based Approach for Robustness Testing....Pages 333-348
Content-Level Conformance Testing: An Information Mapping Case Study....Pages 349-364
Quiescence Management Improves Interoperability Testing....Pages 365-379
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Keeping a Family Cow
