Daikon (system)
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
Lua error in package.lua at line 80: module 'strict' not found. Lua error in package.lua at line 80: module 'strict' not found. 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 in Google Code
- Dynamically Discovering Likely Program Invariants, Michael D. Ernst PhD. Thesis (using Daikon)
References
- ↑ An overview of JML tools and applications
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ [1] Daikon license
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This programming-tool-related article is a stub. You can help Wikipedia by expanding it. |
