دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
دانلود کتاب رویکردهای رسمی به تست نرم افزار: پنجمین کارگاه بین المللی ، FATES 2005 ، ادینبورگ ، انگلستان ، 11 ژوئیه 2005 ، نسخه های تجدید نظر شده
مشخصات کتاب
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova (auth.), Wolfgang Grieskamp, Carsten Weise (eds.) سری: Lecture Notes in Computer Science 3997 : Programming and Software Engineering ISBN (شابک) : 3540344543, 9783540344544 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 228 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 57,000
در صورت تبدیل فایل کتاب Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای رسمی به تست نرم افزار: پنجمین کارگاه بین المللی ، FATES 2005 ، ادینبورگ ، انگلستان ، 11 ژوئیه 2005 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای رسمی به تست نرم افزار: پنجمین کارگاه بین المللی ، FATES 2005 ، ادینبورگ ، انگلستان ، 11 ژوئیه 2005 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری کامل پنجمین کارگاه بین‌المللی رویه‌های رسمی تست نرم‌افزار، FATES 2005، در ادینبورگ، انگلستان، در ژوئیه 2005 در ارتباط با CAV 2005 است.
The کتاب 13 مقاله کامل اصلاح شده را همراه با 1 مقاله در حال انجام ارائه می دهد. این مقالات به رویکردهای رسمی برای آزمایش و استفاده از تکنیک‌های حوزه‌هایی مانند اثبات قضیه، بررسی مدل، حل محدودیت‌ها، تحلیل برنامه، تفسیر انتزاعی، زنجیره‌های مارکوف و موارد دیگر می‌پردازند. این تکنیک ها با رویکردهای سنتی آزمایش ترکیب می شوند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005.
The book presents 13 revised full papers together with 1 work-in-progress paper. The papers address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others. These techniques are combined with traditional approaches to testing.
فهرست مطالب
Front Matter....Pages -
Simulated Time for Testing Railway Interlockings with TTCN-3....Pages 1-15
Model-Based Testing Through a GUI....Pages 16-31
Play to Test....Pages 32-46
A Note on an Anomaly in Black-Box Testing....Pages 47-61
A Novel Test Coverage Metric for Concurrently-Accessed Software Components....Pages 62-71
Adaptive Random Testing by Bisection and Localization....Pages 72-86
Interactive Testing with HOL-TestGen....Pages 87-102
Conformance Testing Relations for Timed Systems....Pages 103-117
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM....Pages 118-133
Calculating Probabilities of Real-Time Test Cases....Pages 134-151
Time Unbalanced Partial Order....Pages 152-169
Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach....Pages 170-186
Automated Generation of Positive and Negative Tests for Parsers....Pages 187-202
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms....Pages 203-217
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Symposium on Semantics of Algorithmic Languages
دانلود کتاب Sartre Sartre’ı anlatıyor : Filozofun 70 yaşındaki otoportresi
دانلود کتاب Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001 Budapest, Hungary, September 26–28, 2001 Proceedings
دانلود کتاب Algebraic topology--old and new: M.M. Postnikov memorial conference
دانلود کتاب Evolutionary Robotics: First European Workshop, EvoRobot98 Paris, France, April 16–17, 1998 Proceedings
دانلود کتاب Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings
دانلود کتاب Networking - ICN 2005: 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I
دانلود کتاب Laser Spectroscopy: Proceedings of the XVIII International Conference: ICOLS 2007: Telluride, Colorado, USA, 24-29 June 2007
دانلود کتاب Oracle Database 10g Administration Workshop II
