ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

دانلود کتاب آزمایش نرم افزارها و سیستمهای ارتباطی: بیست و یکمین کنفرانس بین المللی IFIP WG 6.1 ، TESTCOM 2009 و نهمین کارگاه بین المللی ، FATES 2009 ، آیندهوون ، هلند ، 2-4 نوامبر 2009. مجموعه مقالات

Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

مشخصات کتاب

Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

ویرایش: 1 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 5826 : Computer Communication Networks and Telecommunications 
ISBN (شابک) : 9783642050312, 364205031X 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2009 
تعداد صفحات: 257 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

قیمت کتاب (تومان) : 44,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب آزمایش نرم افزارها و سیستمهای ارتباطی: بیست و یکمین کنفرانس بین المللی IFIP WG 6.1 ، TESTCOM 2009 و نهمین کارگاه بین المللی ، FATES 2009 ، آیندهوون ، هلند ، 2-4 نوامبر 2009. مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، شبیه سازی و مدل سازی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تحلیل الگوریتم و پیچیدگی مسائل



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 14


در صورت تبدیل فایل کتاب Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب آزمایش نرم افزارها و سیستمهای ارتباطی: بیست و یکمین کنفرانس بین المللی IFIP WG 6.1 ، TESTCOM 2009 و نهمین کارگاه بین المللی ، FATES 2009 ، آیندهوون ، هلند ، 2-4 نوامبر 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب آزمایش نرم افزارها و سیستمهای ارتباطی: بیست و یکمین کنفرانس بین المللی IFIP WG 6.1 ، TESTCOM 2009 و نهمین کارگاه بین المللی ، FATES 2009 ، آیندهوون ، هلند ، 2-4 نوامبر 2009. مجموعه مقالات



این کتاب مجموعه مقالات داوری بیست و یکمین کنفرانس بین المللی IFIP WG 6.1 در مورد آزمایش سیستم های ارتباطی، TESTCOM 2009، و نهمین کارگاه بین المللی در مورد رویکردهای رسمی تست نرم افزار، FATES 2009 است که به طور مشترک در آیندهوون، هلند برگزار شد، نوامبر 2009.

13 مقاله کامل اصلاح شده ارائه شده همراه با 6 مقاله کوتاه با دقت از 37 ارسالی برای هر دو رویداد انتخاب شدند. این مقاله رویکردها، مفاهیم، ​​نظریه‌ها، روش‌شناسی، ابزارها و تجربیات جدید در زمینه آزمایش سیستم‌های ارتباطی و نرم‌افزارهای عمومی را پوشش می‌دهد.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009.

The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.



فهرست مطالب

Front Matter....Pages -
Testing Real-Time Systems Using TINA....Pages 1-15
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems....Pages 16-32
Testing k -Safe Petri Nets....Pages 33-48
Implementing MSC Tests with Quiescence Observation....Pages 49-65
Testing Timed Finite State Machines with Guaranteed Fault Coverage....Pages 66-80
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs....Pages 81-96
Interaction Coverage Meets Path Coverage by SMT Constraint Solving....Pages 97-112
Automatic Testing of Access Control for Security Properties....Pages 113-128
Generating Reduced Tests for FSMs with Extra States....Pages 129-145
An Approach for Test Selection for EFSMs Using a Theorem Prover....Pages 146-162
TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks....Pages 163-178
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models....Pages 179-194
Analyzing Response Inconsistencies in Test Suites....Pages 195-210
Model-Based Testing of Web Applications Using NModel....Pages 211-216
Observability and Controllability Issues in Conformance Testing of Web Service Compositions....Pages 217-222
Towards Automatic Generation of a Coherent TTCN-3 Template Framework....Pages 223-228
OConGraX – Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems....Pages 229-234
Debugging into Examples....Pages 235-240
Structural Analysis of Large TTCN-3 Projects....Pages 241-246
Back Matter....Pages -




نظرات کاربران