دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Michael D. Ernst (auth.), Gordon Fraser, Angelo Gargantini (eds.) سری: Lecture Notes in Computer Science 6143 : Programming and Software Engineering ISBN (شابک) : 9783642139772, 3642139779 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 193 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب تست و اثبات: چهارمین کنفرانس بین المللی، TAP 2010، مالاگا، اسپانیا، 1-2 ژوئیه 2010. پرونده ها: تکنیک های برنامه نویسی، منطق ها و معانی برنامه ها، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلرها، مترجمان، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تست و اثبات: چهارمین کنفرانس بین المللی، TAP 2010، مالاگا، اسپانیا، 1-2 ژوئیه 2010. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد شامل مجموعه مقالات TAP 2010، چهارمین کنفرانس بینالمللی C در مورد آزمونها و اثباتها است که طی 1 تا 2 ژوئیه در M´alaga، اسپانیا به عنوان بخشی از کنفرانسهای فدرال TOOLS برگزار شد. TAP 2010 چهارمین رویداد از یک سری کنفرانس های در حال انجام بود که به همگرایی اثبات ها و آزمون ها اختصاص داشت. در گذشته، اثبات و آزمایش به عنوان تکنیک های بسیار متفاوت و حتی رقابتی تلقی می شد. افراد اثبات کننده می گویند: اگر صحت ثابت شود، برای چه چیزی به آزمایش نیاز داریم؟ از سوی دیگر، آزمایشکنندهها ادعا میکنند که اثبات از نظر کاربرد بسیار محدود است و آزمایش تنها مسیر درستی است. البته، هر دو اشاره کردهاند، اما اد برینکسما از سخنرانی سال 2009 خود در روز تست هلند و Testcom/FATES نقل میکنند: «چه کسی میخواهد در هواپیمای با نرمافزار درست باشد، اما آزمایش نشده باشد؟» در واقع، قدرت واقعی در ترکیب هر دو رویکرد نهفته است. امروزه، سیستمهای آزمایشی پیشرفته بر تکنیکهایی تکیه میکنند که عمیقاً ریشه در تکنیکهای اثبات رسمی دارند و تکنیکهای آزمایش، استفاده از تکنیکهای اثبات را در جایی که قبلاً امکانی وجود نداشت، ممکن میسازد. در زمانی که حتی کنفرانس های اصلی مهندسی نرم افزار شروع به ارائه مقالاتی با عنوان "آزمایش" و "اثبات" در عناوین خود می کنند، ما به وضوح در آستانه عصر جدیدی هستیم که در آن تست و اثبات رقابتی نیستند، بلکه به عنوان مکمل پذیرفته می شوند. تکنیک. اگرچه، ما هنوز کاملاً به آنجا نرسیدهایم، و بنابراین کنفرانسهای TAP با هدف فراهم کردن یک انجمن برای محققانی که روی موضوعات همگرا کار میکنند و افزایش آگاهی عمومی از این همگرایی است.
This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1–2 in M´ alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the past, proving and testing were seen as very di?erent and even competing techniques. Proving people would say: If correctness is proved, what do we need tests for? Testers, on the other hand, would claim that proving is too limited in applicability and testing is the only truepathtocorrectness. Ofcourse,bothhaveapoint,buttoquoteEdBrinksma from his 2009 keynote at the Dutch Testing Day and Testcom/FATES: “Who would want to ?y in an airplane with software proved correct, but not tested?” Indeed, the true power lies in the combination of both approaches. Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously. At a time when even mainstream software engineering conferences start f- turing papers with both “testing” and “proving”in their titles, we are clearly on the verge of a new age where testing and proving are not competing but ?nally accepted as complementary techniques. Albeit, we are not quite there yet, and so the TAP conferences aim to provide a forum for researchers working on the converging topics and to raise general awareness of this convergence.
Front Matter....Pages -
How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback....Pages 1-2
Myths in Software Engineering: From the Other Side....Pages 3-5
QuickSpec : Guessing Formal Specifications Using Testing....Pages 6-21
Testing First-Order Logic Axioms in Program Verification....Pages 22-37
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases....Pages 38-54
Proof Process Evaluation with Mutation Analysis....Pages 55-60
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay....Pages 61-76
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces....Pages 77-93
Combining Static Analysis and Test Generation for C Program Debugging....Pages 94-100
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding....Pages 101-116
Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions....Pages 117-134
Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications....Pages 135-150
Syntactic Abstraction of B Models to Generate Tests....Pages 151-166
Building a Test-Ready Abstraction of a Behavioral Model Using CLP....Pages 167-182
Back Matter....Pages -