ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

دانلود کتاب نرم افزار و سیستم های تست: بیست و دومین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2010، ناتال، برزیل، 8-10 نوامبر 2010. مجموعه مقالات

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

مشخصات کتاب

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

دسته بندی: فن آوری
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 6435 : Programming and Software Engineering 
ISBN (شابک) : 3642165729, 9783642165726 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 276 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



کلمات کلیدی مربوط به کتاب نرم افزار و سیستم های تست: بیست و دومین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2010، ناتال، برزیل، 8-10 نوامبر 2010. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، مدل ها و اصول



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

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


در صورت تبدیل فایل کتاب Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نرم افزار و سیستم های تست: بیست و دومین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2010، ناتال، برزیل، 8-10 نوامبر 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نرم افزار و سیستم های تست: بیست و دومین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2010، ناتال، برزیل، 8-10 نوامبر 2010. مجموعه مقالات

این کتاب مجموعه مقالات داوری بیست و دومین کنفرانس بین المللی IFIP WG 6.1 در تست نرم افزار و سیستم ها، ICTSS 2010، برگزار شده در ناتال، برزیل، در نوامبر 2010 است. ICTSS 2010 ادغام بیست و دومین کنفرانس بین المللی IFIP در تست سیستم های ارتباطی TESTCOM) و دهمین کارگاه بین المللی رویکردهای رسمی به تست نرم افزار (FATES). 16 مقاله کامل اصلاح شده ارائه شده همراه با 2 ارائه دعوت شده با دقت از 60 مقاله ارسالی انتخاب شدند. این مقالات طیف گسترده ای از موضوعات را در زمینه تست نرم افزارها و سیستم های عمومی مانند اتوماسیون تست، تست یکپارچه سازی، انتخاب مورد آزمایشی، تست مبتنی بر جستجو، تست ترکیبی، تست استقرایی، معماری تست برای سیستم های مقیاس بزرگ و پایان پوشش می دهد. تست عملکرد تا پایان


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

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010. ICTSS 2010 is the merger of the 22nd IFIP International Conference on Testing of Communicating Systems (TESTCOM) and the 10th International Workshop on Formal Approaches to Testing of Software (FATES). The 16 revised full papers presented together with 2 invited presentations were carefully selected from 60 submissions. The papers cover a wide range of topics in the field of testing of general software and systems such as test automation, integration testing, test case selection, search based testing, combinatorial testing, inductive testing, test architectures for large-scale systems, and end-to-end performance testing.



فهرست مطالب

Front Matter....Pages -
Test Automation with TTCN-3 - State of the Art and a Future Perspective....Pages 1-14
A Model-Based Approach to Testing Software for Critical Behavior and Properties....Pages 15-15
A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem....Pages 16-29
More Testable Properties....Pages 30-46
Alternating Simulation and IOCO....Pages 47-62
Reducing the Cost of Model-Based Testing through Test Case Diversity....Pages 63-78
Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems....Pages 79-94
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing....Pages 95-110
Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage....Pages 111-125
Increasing Functional Coverage by Inductive Testing: A Case Study....Pages 126-141
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution....Pages 142-157
Test Data Generation for Programs with Quantified First-Order Logic Specifications....Pages 158-173
Efficient Distributed Test Architectures for Large-Scale Systems....Pages 174-187
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction....Pages 188-204
Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks....Pages 205-220
A Learning-Based Approach to Unit Testing of Numerical Software....Pages 221-235
From Scenarios to Test Implementations Via Promela....Pages 236-249
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases....Pages 250-265
Back Matter....Pages -




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی