Daikon (system)
Jump to navigation
Jump to search
![]() | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
|
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.
- ^ Daikon license
Categories:
- Articles with topics of unclear notability from May 2013
- All articles with topics of unclear notability
- Products articles with topics of unclear notability
- Articles needing additional references from May 2013
- All articles needing additional references
- Articles with multiple maintenance issues
- Free computer programming tools
- Static program analysis tools
- Software testing
- All stub articles
- Computer programming tool stubs