دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
دانلود کتاب نرم افزار و سیستم های تست: 22مین کنفرانس بین المللی 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
ویرایش: 1 نویسندگان: Ina Schieferdecker (auth.), Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado (eds.) سری: Lecture Notes in Computer Science 6435 : Programming and Software Engineering ISBN (شابک) : 9783642165733, 3642165737 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 277 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب نرم افزار و سیستم های تست: 22مین کنفرانس بین المللی 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار و سیستم های تست: 22مین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2010 ، ناتال ، برزیل ، 8-10 نوامبر 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار و سیستم های تست: 22مین کنفرانس بین المللی 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 -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Cálculo de antenas: antenas de última generación para tecnología digital y métodos de medición
دانلود کتاب Por uma postura decolonial na formação docente e na educação linguística: conversa com Tânia Rezende
دانلود کتاب The fifties
دانلود کتاب Ekonomija (Poglavlje 7)
