Results 1 to 1 of 1
Thread: Daikon 4.3.1
- 08-03-2007, 04:39 PM #1levent Guest
Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.
Bugfixes and minor enhancements were made to Kvasir, DynComp (Java), DynComp (binary), and Daikon.
URL: The Daikon dynamic invariant detector
- By Java Tip in forum Java SoftwareReplies: 0Last Post: 04-05-2008, 04:25 PM