دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.) سری: 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 مگابایت
کلمات کلیدی مربوط به کتاب آزمون ها و اثبات ها: دومین کنفرانس بین المللی، TAP 2008، پراتو، ایتالیا، 9-11 آوریل، 2008. مجموعه مقالات: عملکرد و ارزیابی سیستم، مهندسی نرم افزار، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، کامپیوتر و جامعه
در صورت تبدیل فایل کتاب 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، برگزار شده در پراتو، ایتالیا، در آوریل 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 -