دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, ... Networks and Telecommunications)
دانلود کتاب آزمایش نرم افزارها و سیستمهای ارتباطی: بیست و یکمین کنفرانس بین المللی IFIP WG 6.1 ، TESTCOM 2009 و نهمین کارگاه بین المللی ، FATES 2009 ، Eindhoven ، ... شبکه ها و ارتباطات)
مشخصات کتاب
Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, ... Networks and Telecommunications)
ویرایش: [1 ed.] نویسندگان: Manuel Nunez, Paul Baker, Mercedes G. Merayo سری: ISBN (شابک) : 3642050301, 9783642050305 ناشر: سال نشر: 2009 تعداد صفحات: 247 [256] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 31,000
در صورت تبدیل فایل کتاب Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, ... Networks and Telecommunications) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب آزمایش نرم افزارها و سیستمهای ارتباطی: بیست و یکمین کنفرانس بین المللی IFIP WG 6.1 ، TESTCOM 2009 و نهمین کارگاه بین المللی ، FATES 2009 ، Eindhoven ، ... شبکه ها و ارتباطات) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب آزمایش نرم افزارها و سیستمهای ارتباطی: بیست و یکمین کنفرانس بین المللی IFIP WG 6.1 ، TESTCOM 2009 و نهمین کارگاه بین المللی ، FATES 2009 ، Eindhoven ، ... شبکه ها و ارتباطات)
این کتاب مجموعه مقالات داوری بیست و یکمین کنفرانس بین‌المللی IFIP WG 6.1 در تست سیستمهای ارتباطی، TESTCOM 2009، و نهمین کارگاه بین‌المللی رویه‌های رسمی تست نرم‌افزار، FATES 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 -
