دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
دانلود کتاب آزمون ها و اثبات: نهمین کنفرانس بین المللی ، TAP 2015 ، که به عنوان بخشی از Staf 2015 ، L’Aquila ، ایتالیا ، 22-24 ژوئیه 2015 برگزار شد. مجموعه مقالات
مشخصات کتاب
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
ویرایش: 1
نویسندگان: Jasmin Christian Blanchette. Nikolai Kosmatov (eds.)
سری: Lecture Notes in Computer Science 9154
ISBN (شابک) : 9783319212142, 9783319212159
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 225
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 63,000
در صورت تبدیل فایل کتاب Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب آزمون ها و اثبات: نهمین کنفرانس بین المللی ، TAP 2015 ، که به عنوان بخشی از Staf 2015 ، L’Aquila ، ایتالیا ، 22-24 ژوئیه 2015 برگزار شد. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب آزمون ها و اثبات: نهمین کنفرانس بین المللی ، TAP 2015 ، که به عنوان بخشی از Staf 2015 ، L’Aquila ، ایتالیا ، 22-24 ژوئیه 2015 برگزار شد. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بینالمللی آزمونها و اثباتها، TAP 2015، در L`Aquila، ایتالیا، در جولای 2015، به عنوان بخشی از کنفرانسهای فدرال STAF 2015 است. 11 مقاله کامل اصلاح شده و 1 مقاله کوتاه ارائه شده همراه با 3 سخنرانی دعوت شده به دقت بررسی و از بین 21 مقاله ارسالی انتخاب شدند. مقالات پذیرفته شده به تکنیک های مختلف تست (مبتنی بر مدل، مبتنی بر ویژگی، مبتنی بر گرامر، محدود-کامل)، محلی سازی خطا، مهندسی مدل محور، و همچنین پوشش مدل، سازگاری و اعتبارسنجی و غیره کمک می کنند. بسیاری از مقالات بر اثباتکنندههای قضیههای تعاملی و خودکار، از جمله حلکنندههای SMT و بررسیکنندههای مدل، تکیه دارند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.
فهرست مطالب
Front Matter....Pages I-XIX
Scalable Incremental Test-case Generation from Large Behavior Models....Pages 1-18
Test Case Generation for Concurrent Systems Using Event Structures....Pages 19-37
Fast Model-Based Fault Localisation with Test Suites....Pages 38-57
Case Study: Automatic Test Case Generation for a Secure Cache Implementation....Pages 58-75
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study....Pages 76-91
Software Validation via Model Animation....Pages 92-108
Sequential Generation of Structured Arrays and Its Deductive Verification....Pages 109-128
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study....Pages 129-136
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs....Pages 137-154
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy....Pages 155-172
Testing Functional Requirements in UML Activity Diagrams....Pages 173-190
Coverage of OCL Operation Specifications and Invariants....Pages 191-207
Back Matter....Pages 209-209
