Daikon (system)
From Wikipedia, the free encyclopedia
This article has multiple issues. Please help improve it or discuss these issues on the talk page . (Learn how and when to remove these messages)
(Learn how and when to remove this message)The topic of this article may not meet Wikipedia's notability guidelines for products and services . Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.
Find sources: "Daikon" system – news · newspapers · books · scholar · JSTOR (May 2013) (Learn how and when to remove this message)
Find sources: "Daikon" system – news · newspapers · books · scholar · JSTOR (May 2013) (Learn how and when to remove this message)
This article needs additional citations for verification . Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Daikon" system – news · newspapers · books · scholar · JSTOR (May 2013) (Learn how and when to remove this message)
Find sources: "Daikon" system – news · newspapers · books · scholar · JSTOR (May 2013) (Learn how and when to remove this message)
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
[edit ]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
[edit ]- Daikon Official home site
- Source Repository on GitHub
- Dynamically Discovering Likely Program Invariants, Michael D. Ernst PhD. Thesis (using Daikon)
References
[edit ]- ^ Burdy, Lilian; Cheon, Yoonsik; Cok, David R.; Ernst, Michael D.; Kiniry, Joseph R.; Leavens, Gary T.; Leino, K. Rustan M.; Poll, Erik (2005). "An overview of JML tools and applications". International Journal on Software Tools for Technology Transfer. 7 (3): 212–232. doi:10.1007/s10009-004-0167-4. hdl:2066/33286 .
- ^ "Dynamically Discovering Likely Program Invariants". Groups.csail.mit.edu. Retrieved 2013年05月23日.
- ^ Daikon license
Stub icon
This programming-tool-related article is a stub. You can help Wikipedia by expanding it.