دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: 1 نویسندگان: Noureddine Adjir, Pierre De Saqui-Sannes, Kamel Mustapha Rahmouni (auth.), Manuel Núñez, Paul Baker, Mercedes G. Merayo (eds.) سری: 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. مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، شبیه سازی و مدل سازی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب 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 -
