The Open Source Proving Grounds
نویسنده
چکیده
Open source software is an attractive target when developing and evaluating software defect detection tools. This position paper discusses some of the benefits and challenges I have encountered as a researcher interacting with the open source community. The Cooperative Bug Isolation Project (CBI) explores ways to identify and fix bugs in widely deployed software. We use a mix of lightweight instrumentation and statistical modeling techniques to reveal failure patterns in large numbers of end user runs. The ultimate validation of the CBI approach comes when real data from real users helps us find real bugs in real code. Thus, field deployment is a key component of this project. CBI offers instrumented binaries for several popular open source programs for anyone to download and use.
منابع مشابه
The Isotopic Signature of Fallout North Pacific
Plutonium analyses of a dated coral record from the French Frigate Shoals in the central North Pacific indicate that there are two major sources of PM in this basin: close-in (troposphertc) fallout from nuclear weapons testing at the Pact& Proving Grounds in the Marshall Islands in the 1950s and global (stratospheric) fallout which peaked in 1962. Furthermore, the 240Pu/239Pu atom ratio of fall...
متن کاملThe ACL2 Sedan Theorem Proving System
The ACL2 Sedan theorem prover (ACL2s) is an Eclipse plugin that provides a modern integrated development environment, supports several modes of interaction, provides a powerful termination analysis engine, and includes fully automatic bug-finding methods based on a synergistic combination of theorem proving and random testing. ACL2s is publicly available and open source. It has also been used i...
متن کاملComparison of Open Source Learning Management Softwares and Presenting a Native Evaluation Tool
Introduction: Nowadays all educational institutes are trying to use technology in their structure. This effort has been faced with different barriers, including cost, time, and support. Therefore, using open source softwares can partially help us in using technology. In this article, we review main features of several open source learning management softwares, while presenting a tool which incl...
متن کاملFormalization and Implementation of Algebraic Methods in Geometry
We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu’s method and the Gröbner bases method), their implementation and integration in educational tools. The project includes formal verification of the algebraic methods within Isabelle/HOL proof assistant and development of a new, open-source Java implementation of the algebraic methods. The proje...
متن کاملOpen-Source Databases: Within, Outside, or Beyond Lehman's Laws of Software Evolution?
Lehman’s laws of software evolution is a well-established set of observations (matured during the last forty years) on how the typical software systems evolve. However, the applicability of these laws on databases has not been studied so far. To this end, we have performed a thorough, large-scale study on the evolution of databases that are part of larger open source projects, publicly availabl...
متن کامل