دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Testing of Communicating Systems XIV: Application to Internet Technologies and Services
دانلود کتاب تست سیستم های ارتباطی XIV: کاربرد فناوری های اینترنتی و خدمات
مشخصات کتاب
Testing of Communicating Systems XIV: Application to Internet Technologies and Services
ویرایش: 1 نویسندگان: Andreas Gehring (auth.), Ina Schieferdecker, Hartmut König, Adam Wolisz (eds.) سری: IFIP — The International Federation for Information Processing 82 ISBN (شابک) : 9781475767056, 9780387354972 ناشر: Springer US سال نشر: 2002 تعداد صفحات: 426 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 26 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب تست سیستم های ارتباطی XIV: کاربرد فناوری های اینترنتی و خدمات: شبکه های ارتباطی کامپیوتری، حرفه محاسبات، معماری پردازنده، مهندسی برق، سیستم های اطلاعات چند رسانه ای
در صورت تبدیل فایل کتاب Testing of Communicating Systems XIV: Application to Internet Technologies and Services به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تست سیستم های ارتباطی XIV: کاربرد فناوری های اینترنتی و خدمات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تست سیستم های ارتباطی XIV: کاربرد فناوری های اینترنتی و خدمات
آزمایش سیستم‌های ارتباطی XIV آخرین نتایج
بین‌المللی را هم در تئوری و هم در عمل صنعتی آزمایش سیستم‌های
ارتباطی، از ابزارها و تکنیک‌های آزمایش گرفته تا تست
استانداردها، چارچوب‌ها، نمادها، الگوریتم‌ها ارائه می‌کند. ،
مبانی آزمایش و تجربیات و مسائل صنعتی. ابزارها و تکنیک‌های
مورد بحث برای تست انطباق، تست قابلیت همکاری، تست عملکرد،
پروتکل‌ها و برنامه‌های کاربردی اینترنت، و سیستم‌های
چندرسانه‌ای و توزیع‌شده به طور کلی کاربرد دارند.
توضیحاتی درمورد کتاب به خارجی
Testing of Communicating Systems XIV
presents the latest international results in both the theory
and industrial practice of the testing of communicating
systems, ranging from tools and techniques for testing to
test standards, frameworks, notations, algorithms,
fundamentals of testing, and industrial experiences and
issues. The tools and techniques discussed apply to
conformance testing, interoperability testing, performance
testing, Internet protocols and applications, and multimedia
and distributed systems in general.
فهرست مطالب
Front Matter....Pages i-xiv
Front Matter....Pages 15-15
Testing of IP Services & Applications in a Service Provider Environment....Pages 17-17
A TCP Test System Specifying Only Exceptional Packet Sequences....Pages 21-37
Verifying IP Meters from Sampled Measurements....Pages 39-54
Testing IP Differentiated Services Implementations....Pages 55-71
Front Matter....Pages 73-73
Achieving High Reliability for Ubiquitous Information Technology....Pages 75-75
An Automated, Flexible Testing Environment for UMTS....Pages 79-94
Testing Mobile Agents....Pages 95-110
Testing Access to External Information Sources in a Mediator Environment....Pages 111-126
Compliance of Wireless Application Protocols....Pages 129-138
A Flexible Traffic Generator for Testing PABX and Call Center Performance....Pages 139-147
Interoperability Test Generation for Communication Protocols Based on Multiple Stimuli Principle....Pages 151-168
Automated Generation of Interoperability Tests....Pages 169-184
Front Matter....Pages 185-185
Applying Formal Methods in Mobile Protocol Testing....Pages 187-187
Experiences of TTCN-3 Test Executor Development....Pages 191-200
Making TTCN-3 testing a success....Pages 201-208
Testing Automation with Computer Aided Test Case Generation....Pages 209-216
Automated Testing in Practice: The Highway Tolling System....Pages 219-234
Ad-Hoc Protocol Modelling, Validation and Automated Test Suite Generation....Pages 235-245
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis....Pages 249-265
Test Selection, Trace Distance and Heuristics....Pages 267-282
Front Matter....Pages 185-185
Formulation of the Interaction Test Coverage Problem as an Integer Program....Pages 283-298
Principles of Distributed Test Synthesis Based on True-Concurrency Models....Pages 301-316
Fault Detection within a Component of a System of Communicating FSMs....Pages 317-332
Front Matter....Pages 333-333
Hardware/Software Integration Testing for the New Airbus Aircraft Families....Pages 335-351
Test Generation for CEFSM Combining Specification and Fault Coverage....Pages 355-371
FSM Based Re-Testing Methods....Pages 373-389
A New Approach to Checking Sequence Generation for Finite State Machines....Pages 391-404
Timed TTCN-3 — A Real-Time Extension for TTCN-3....Pages 407-424
Implementation of TTCN-3 Test Systems Using the TRI....Pages 425-441
Definition and Utilisation of OMG IDL to TTCN-3 Mappings....Pages 443-458
Back Matter....Pages 459-462
