Top Qs

Timeline

Chat

Perspective

Daikon (system)

From Wikipedia, the free encyclopedia

Remove ads

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.

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)

The topic of this article may not meet Wikipedia's notability guidelines for products and services. (May 2013)

This article needs additional citations for verification. (May 2013)

Remove ads

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

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads