دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Validation of Evolving Software
دانلود کتاب اعتبارسنجی نرم افزار در حال تحول
مشخصات کتاب
Validation of Evolving Software
ویرایش: 1 نویسندگان: Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (eds.) سری: ISBN (شابک) : 9783319106229, 9783319106236 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 216 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 58,000
کلمات کلیدی مربوط به کتاب اعتبارسنجی نرم افزار در حال تحول: مهندسی نرم افزار، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Validation of Evolving Software به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اعتبارسنجی نرم افزار در حال تحول نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اعتبارسنجی نرم افزار در حال تحول
این کتاب روش‌شناسی و فناوری همراه را برای کاهش هزینه‌های اعتبارسنجی تغییرات با معرفی تکنیک‌های خودکار برای تجزیه و تحلیل و آزمایش افزایش‌های نرم‌افزاری شرح می‌دهد. این یک رویکرد واحد برای اعتبار سنجی کارآمد و قابل اعتماد تغییرات و ارتقاها ایجاد می کند و ممکن است به عنوان یک تک نگاری تحقیقاتی و یک کتاب مرجع استفاده شود.
توضیحاتی درمورد کتاب به خارجی
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
فهرست مطالب
Front Matter....Pages i-viii
Front Matter....Pages 1-1
Introduction....Pages 3-5
Challenges of Existing Technology....Pages 7-17
Complementarities Among the Technologies Presented in the Book....Pages 19-21
Front Matter....Pages 23-23
Lightweight Static Analysis Check of Upgrades in C/C++ Software....Pages 25-36
Function Summarization-Based Bounded Model Checking....Pages 37-53
Incremental Upgrade Checking....Pages 55-72
Optimizing Function Summaries Through Interpolation....Pages 73-82
Front Matter....Pages 83-83
RADAR: Dynamic Analysis of Upgrades in C/C++ Software....Pages 85-105
G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software....Pages 107-121
Front Matter....Pages 123-123
Measuring Change Impact on Program Behaviour....Pages 125-145
Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest....Pages 147-184
Regression Checking of Changes in C Software....Pages 185-207
Back Matter....Pages 209-220
