ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

دانلود کتاب آزمایشات و اثبات: اولین کنفرانس بین المللی ، TAP 2007 ، زوریخ ، سوئیس ، 12-13 فوریه ، 2007. مقالات اصلاح شده

Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

مشخصات کتاب

Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 4454 : Programming and Software Engineering 
ISBN (شابک) : 3540737693, 9783540737698 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 225 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

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



کلمات کلیدی مربوط به کتاب آزمایشات و اثبات: اولین کنفرانس بین المللی ، TAP 2007 ، زوریخ ، سوئیس ، 12-13 فوریه ، 2007. مقالات اصلاح شده: عملکرد و ارزیابی سیستم، مهندسی نرم افزار، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، کامپیوتر و جامعه



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

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


در صورت تبدیل فایل کتاب Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب آزمایشات و اثبات: اولین کنفرانس بین المللی ، TAP 2007 ، زوریخ ، سوئیس ، 12-13 فوریه ، 2007. مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب آزمایشات و اثبات: اولین کنفرانس بین المللی ، TAP 2007 ، زوریخ ، سوئیس ، 12-13 فوریه ، 2007. مقالات اصلاح شده



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

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


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

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007.

The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality. Topics addressed are generation of test cases or oracles by theorem proving, constraint logic programming, model checking, or symbolic execution; program proving with the aid of testing techniques; automatic tools; case studies; formal frameworks; as well as verification techniques combining proofs and tests.



فهرست مطالب

Front Matter....Pages -
Combining Static and Dynamic Reasoning for Bug Detection....Pages 1-16
Testable Requirements and Specifications....Pages 17-40
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic....Pages 41-60
Testing and Verifying Invariant Based Programs in the SOCOS Environment....Pages 61-78
Testing and Proving Distributed Algorithms in Constructive Type Theory....Pages 79-94
Automatic Testing from Formal Specifications....Pages 95-113
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation....Pages 114-130
Symbolic Execution Techniques for Refinement Testing....Pages 131-148
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing....Pages 149-168
Generating Unit Tests from Formal Proofs....Pages 169-188
Using Model Checking to Generate Fault Detecting Tests....Pages 189-206
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing....Pages 207-216
Back Matter....Pages -




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