Daikon (system)

Daikon is a computer program that detects likely invariants of programs.[1] An invariant is a condition that always holds true at certain points in the program. It is mainly used[2] for debugging programs in late development, or checking modifications to existing code.

Properties

Daikon can detect properties in C, C++, Java, Perl, and IOA programs, as well as spreadsheet files or other data sources. Daikon is easy to extend and is free software.[3]

External links

Daikon Official home site
Source Repository on Github
Dynamically Discovering Likely Program Invariants, Michael D. Ernst PhD. Thesis (using Daikon)

References

An overview of JML tools and applications
"Dynamically Discovering Likely Program Invariants". Groups.csail.mit.edu. Retrieved 2013-05-23.
Archived 2011-06-10 at the Wayback Machine Daikon license

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] An overview of JML tools and applications

[2] "Dynamically Discovering Likely Program Invariants". Groups.csail.mit.edu. Retrieved 2013-05-23.

[3] Archived 2011-06-10 at the Wayback Machine Daikon license