For other uses, see Daikon (disambiguation)

Daikon (disambiguation)

Daikon may refer to:* Daikon, an East Asian vegetable.* Daikon , a computer program that detects likely invariants of programs.* Daikon cake, an alternative name for Turnip cake* Daikon Island, an island in Japan....

Daikon is a computer program

Computer program

A computer program is a sequence of instructions written to perform a specified task with a computer. A computer requires programs to function, typically executing the program's instructions in a central processor. The program has an executable form that the computer can use directly to execute...

 that detects likely invariants of programs. An invariant

Invariant (computer science)

In computer science, a predicate is called an invariant to a sequence of operations provided that: if the predicate is true before starting the sequence, then it is true at the end of the sequence.-Use:...

 is a condition that always holds true at certain points in the program. It is mainly usedfor debugging

Debugging

Debugging is a methodical process of finding and reducing the number of bugs, or defects, in a computer program or a piece of electronic hardware, thus making it behave as expected. Debugging tends to be harder when various subsystems are tightly coupled, as changes in one may cause bugs to emerge...

 programs in late development, or checking modifications to existing code.

Daikon can detect properties in C

C (programming language)

C is a general-purpose computer programming language developed between 1969 and 1973 by Dennis Ritchie at the Bell Telephone Laboratories for use with the Unix operating system....

, C++

C++

C++ is a statically typed, free-form, multi-paradigm, compiled, general-purpose programming language. It is regarded as an intermediate-level language, as it comprises a combination of both high-level and low-level language features. It was developed by Bjarne Stroustrup starting in 1979 at Bell...

, Java

Java (programming language)

Java is a programming language originally developed by James Gosling at Sun Microsystems and released in 1995 as a core component of Sun Microsystems' Java platform. The language derives much of its syntax from C and C++ but has a simpler object model and fewer low-level facilities...

, Perl

Perl

Perl is a high-level, general-purpose, interpreted, dynamic programming language. Perl was originally developed by Larry Wall in 1987 as a general-purpose Unix scripting language to make report processing easier. Since then, it has undergone many changes and revisions and become widely popular...

, and IOA

IOA

IOA may refer to:* Indian Olympic Association* Individual Olympic Athletes, athletes from East Timor at the 2000 Olympic games* Input-output analysis, an economics model* Institute of Acoustics, a British engineering society...

 programs, as well as spreadsheet

Spreadsheet

A spreadsheet is a computer application that simulates a paper accounting worksheet. It displays multiple cells usually in a two-dimensional matrix or grid consisting of rows and columns. Each cell contains alphanumeric text, numeric values or formulas...

 files or other data sources. Daikon is easy to extend and is free software

Free software

Free software, software libre or libre software is software that can be used, studied, and modified without restriction, and which can be copied and redistributed in modified or unmodified form either without restriction, or with restrictions that only ensure that further recipients can also do...

External links

• Daikon Official home site
• Dynamically Discovering Likely Program Invariants, Michael D. Ernst PhD. Thesis (using Daikon)