Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

تلاش‌ها برای درک و پیش‌بینی رفتار نرم‌افزار به اولین روزهای برنامه‌نویسی کامپیوتری، بیش از نیم قرن پیش، برمی‌گردد. در دهه های میانی، نیاز به روش های موثر درک نرم افزار تنها افزایش یافته است. نرم افزار گسترش یافته و به زیربنای بسیاری از جامعه مدرن تبدیل شده است و پیامدهای بالقوه فاجعه بار نرم افزارهای شکسته یا ناشناخته بسیار آشکار شده است. کار بن لیبلیت دو فرض رایج در مورد چگونگی تجزیه و تحلیل نرم افزار را مورد بازنگری قرار می دهد و به نتایج قابل توجه جدیدی می رسد. در اصل، درک نرم افزار آنقدرها مشکل نیست. مطمئناً به نظر می رسد که برنامه های مطالعه دانشمند کامپیوتری در موقعیت بسیار قوی تری نسبت به مثلاً یک زیست شناس که سعی در درک یک موجود زنده یا یک اقتصاددان تلاش برای درک رفتار بازارها دارد، قرار دارد، زیرا زیست شناس و اقتصاددان باید بر مشاهده غیرمستقیم تکیه کنند. فرآیندهای اساسی که آنها مایل به درک هستند. با این حال، یک متخصص کامپیوتر با توصیف کامل و دقیق رفتار نرم افزار – خود برنامه – شروع می کند! البته معلوم می‌شود که داستان چندان هم سرراست نیست، زیرا برنامه‌ها علیرغم داشتن توضیحات کامل، به اندازه کافی پیچیده هستند که پاسخ دادن به بسیاری از سؤالات ساده در مورد آنها معمولاً دشوار یا حتی غیرممکن است.

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods of understanding software has only increased; so- ware has spread to become the underpinning of much of modern society, and the potentially disastrous consequences of broken or poorly understood software have become all too apparent. Ben Liblit’s work reconsiders two common assumptions about how we should analyze software and it arrives at some striking new results. Inprinciple,understandingsoftware is not such a hardproblem. Certainlya c- puter scientist studying programs appears to be in a much stronger position than, say, a biologist trying to understand a living organism or an economist trying to understand the behavior of markets, because the biologist and the economist must rely on indirect observation of the basic processes they wish to understand. A c- puterscientist, however,starts with a complete,precise descriptionof the behaviorof software—the program itself! Of course, the story turns out not to be so straightf- ward, because despite having a perfect description, programs are suf ciently c- plex that it is usually dif cult or even impossible to answer many simple questions about them.