ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

دانلود کتاب آزمون ها و اثبات ها: دومین کنفرانس بین المللی، TAP 2008، پراتو، ایتالیا، 9-11 آوریل، 2008. مجموعه مقالات

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

مشخصات کتاب

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 4966 : Programming and Software Engineering 
ISBN (شابک) : 354079123X, 9783540791232 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2008 
تعداد صفحات: 201 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



کلمات کلیدی مربوط به کتاب آزمون ها و اثبات ها: دومین کنفرانس بین المللی، TAP 2008، پراتو، ایتالیا، 9-11 آوریل، 2008. مجموعه مقالات: عملکرد و ارزیابی سیستم، مهندسی نرم افزار، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، کامپیوتر و جامعه



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

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


در صورت تبدیل فایل کتاب Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب آزمون ها و اثبات ها: دومین کنفرانس بین المللی، TAP 2008، پراتو، ایتالیا، 9-11 آوریل، 2008. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب آزمون ها و اثبات ها: دومین کنفرانس بین المللی، TAP 2008، پراتو، ایتالیا، 9-11 آوریل، 2008. مجموعه مقالات



این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی آزمون و اثبات، TAP 2008، برگزار شده در پراتو، ایتالیا، در آوریل 2008 است.

8 مقاله کامل اصلاح شده ارائه شده به همراه 3 مقاله دعوت شده و چکیده مبسوط 2 آموزش به دقت بررسی و برای درج در کتاب انتخاب شدند. این مقالات حوزه همگرایی تصحیح و آزمایش نرم افزار را پوشش می دهند و کارهای تحقیقاتی فعلی را ارائه می دهند که ایده های هر دو حوزه را برای پیشرفت کیفیت نرم افزار ترکیب می کند. موضوعات مورد بررسی عبارتند از تولید موارد آزمایشی، اوراکل ها، یا مقدمه ها توسط اثبات قضیه، بررسی مدل، اجرای نمادین یا برنامه نویسی منطق محدودیت. تولید مشخصات با کسر. تکنیک های راستی آزمایی ترکیبی از شواهد و آزمایش ها؛ اثبات برنامه با کمک تکنیک های تست؛ انتقال مفاهیم از آزمایش به اثبات. ابزار خودکار؛ چارچوب های رسمی؛ و همچنین مطالعات موردی.


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

This book constitutes the refereed proceedings of the Second International Conference on Test and Proofs, TAP 2008, held in Prato, Italy, in April 2008.

The 8 revised full papers presented together with 3 invited papers and the extended abstracts of 2 tutorials were carefully reviewed and selected for inclusion in the book. The papers cover the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. Topics addressed are generation of test cases, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic tools; formal frameworks; as well as case studies.



فهرست مطالب

Front Matter....Pages -
The First Thirty Years: Experience with Software Verification....Pages 1-3
Vacuity in Testing....Pages 4-17
What Can Fault Prediction Do for YOU?....Pages 18-29
Equivalence Checking for a Finite Higher Order π -Calculus....Pages 30-47
Finding Counter Examples in Induction Proofs....Pages 48-65
A Logic-Based Approach to Combinatorial Testing with Constraints....Pages 66-83
Functional Testing in the Focal Environment....Pages 84-98
Bounded Relational Analysis of Free Data Types....Pages 99-115
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model....Pages 116-133
Pex–White Box Test Generation for .NET....Pages 134-153
Non-termination Checking for Imperative Programs....Pages 154-170
Parameterized Unit Testing with Pex....Pages 171-181
Integrating Verification and Testing of Object-Oriented Software....Pages 182-191
Back Matter....Pages -




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