توضیحات
This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 12 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 provingin 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.
————————————————————–
ترجمه ماشینی :
این جلد شامل مجموعه مقالات TAP 2010، چهارمین کنفرانس بین المللی C در مورد آزمون ها و اثبات ها است که در 12 ژوئیه در M alaga، اسپانیا به عنوان بخشی از کنفرانس های فدرال TOOLS برگزار شد. TAP 2010 چهارمین رویداد از یک سری کنفرانس های در حال انجام بود که به همگرایی اثبات ها و آزمون ها اختصاص داشت. در گذشته، اثبات و آزمایش به عنوان تکنیک های بسیار متفاوت و حتی رقابتی تلقی می شد. افراد اثبات کننده می گویند: اگر صحت ثابت شود، برای چه چیزی به آزمایش نیاز داریم؟ از سوی دیگر، آزمایشکنندهها ادعا میکنند که اثبات از نظر کاربرد بسیار محدود است و آزمایش تنها مسیر درستی است. البته، هر دو نکته ای را دارند، اما اد برینکسما را از سخنرانی سال 2009 خود در روز تست هلند و Testcom/FATES نقل می کنند: چه کسی می خواهد در یک هواپیما با نرم افزار درست باشد، اما آزمایش نشده باشد؟ در واقع، قدرت واقعی در ترکیب هر دو رویکرد نهفته است. امروزه، سیستمهای آزمایشی پیشرفته بر تکنیکهایی تکیه میکنند که عمیقاً ریشه در تکنیکهای اثبات رسمی دارند و تکنیکهای آزمایش، استفاده از تکنیکهای اثبات را در جایی که قبلاً امکانی وجود نداشت، ممکن میسازد. در زمانی که حتی کنفرانسهای مهندسی نرمافزار اصلی شروع به تهیه مقالاتی با عنوانهای آزمایشی و اثباتی خود میکنند، ما آشکارا در آستانه عصر جدیدی هستیم که آزمایش و اثبات رقابتی نیستند، بلکه بهعنوان تکنیکهای مکمل پذیرفته شدهاند. اگرچه، ما هنوز کاملاً به آنجا نرسیدهایم، و بنابراین کنفرانسهای TAP با هدف فراهم کردن یک انجمن برای محققانی که روی موضوعات همگرا کار میکنند و افزایش آگاهی عمومی از این همگرایی است.
tag : دانلود کتاب آزمون ها و اثبات ها: چهارمین کنفرانس بین المللی، TAP 2010، Mílaga، اسپانیا، 1-2 ژوئیه، 2010. مجموعه مقالات , Download آزمون ها و اثبات ها: چهارمین کنفرانس بین المللی، TAP 2010، Mílaga، اسپانیا، 1-2 ژوئیه، 2010. مجموعه مقالات , دانلود آزمون ها و اثبات ها: چهارمین کنفرانس بین المللی، TAP 2010، Mílaga، اسپانیا، 1-2 ژوئیه، 2010. مجموعه مقالات , Download Tests and Proofs: 4th International Conference, TAP 2010, Mílaga, Spain, July 1-2, 2010. Proceedings Book , آزمون ها و اثبات ها: چهارمین کنفرانس بین المللی، TAP 2010، Mílaga، اسپانیا، 1-2 ژوئیه، 2010. مجموعه مقالات دانلود , buy آزمون ها و اثبات ها: چهارمین کنفرانس بین المللی، TAP 2010، Mílaga، اسپانیا، 1-2 ژوئیه، 2010. مجموعه مقالات , خرید کتاب آزمون ها و اثبات ها: چهارمین کنفرانس بین المللی، TAP 2010، Mílaga، اسپانیا، 1-2 ژوئیه، 2010. مجموعه مقالات , دانلود کتاب Tests and Proofs: 4th International Conference, TAP 2010, Mílaga, Spain, July 1-2, 2010. Proceedings , کتاب Tests and Proofs: 4th International Conference, TAP 2010, Mílaga, Spain, July 1-2, 2010. Proceedings , دانلود Tests and Proofs: 4th International Conference, TAP 2010, Mílaga, Spain, July 1-2, 2010. Proceedings , خرید Tests and Proofs: 4th International Conference, TAP 2010, Mílaga, Spain, July 1-2, 2010. Proceedings , خرید کتاب Tests and Proofs: 4th International Conference, TAP 2010, Mílaga, Spain, July 1-2, 2010. Proceedings ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.