[ Home | FAQ| Download | Documentation | Publications | Mailing lists ]Daikon FAQ (Frequently Asked Questions)Contents:How can I get Daikon?What is Daikon?What is an operational abstraction?What is an operational abstraction good for?How is an operational abstraction used?How accurate is Daikon?How can I change my program to make Daikon work better?What does the name Daikon mean?What's new in Daikon?How can I get help? How can I learn more?How can I help?How can I get Daikon?Daikon is available for download, including source code, binaries, and documentation, athttp://pag.csail.mit.edu/daikon/download/.What is Daikon?Daikon is an invariant detector. Given a data source (such as the values computed by a program at runtime),Daikon generalizes over the observed values and reports properties that are true about the data. Daikonimplements a type of machine learning to summarize the raw data into a small set of easily comprehensibleformulas.What is an operational abstraction?The set of formulas that Daikon outputs is called an operational abstraction. The operational abstractionstates properties about a program's data structures — the sort that might be written in an assertstatement ora formal specification.Here is a simple example of Daikon's output: StackAr.html. The colored annotations starting with “@” (in JMLformat) were automatically detected by Daikon and automatically inserted in the source code. Many otheruses for invariants are possible in addition to insertion as documentation.Daikon FAQ (Frequently Asked Questions)http://groups.csail.mit.edu/pag/daikon/faq.html1 of 42/24/2012 12:12 PMYou created this PDF from an application that is not licensed to print to novaPDF printer (http://www.novapdf.com)
has intentionally blurred sections.
Sign up to view the full version.