Daikon (system)

Daikon (system)

For other uses, see Daikon (disambiguation)

Daikon is a computer program that detects likely invariants of programs. An invariant is a condition that always holds true at certain points in the program. It is mainly used[1]for debugging programs in late development, or checking modifications to existing code.

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[2]

External links

References

  1. ^ Dynamically Discovering Likely Program Invariants
  2. ^ [1] Daikon license

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Daikon (disambiguation) — Daikon may refer to: Daikon, an East Asian vegetable. Daikon (system), a computer program that detects likely invariants of programs. Daikon cake, an alternative name for Turnip cake Daikon Island, an island in Japan. This disambiguation page… …   Wikipedia

  • Nerima Daikon Brothers — おろしたてミュージカル 練馬大根ブラザーズ (Oroshitate Myūjikaru Nerima Daikon Burazāzu) Genre …   Wikipedia

  • Dynamic program analysis — is the analysis of computer software that is performed by executing programs built from that software system on a real or virtual processor. For dynamic program analysis to be effective, the target program must be executed with sufficient test… …   Wikipedia

  • Kansai dialect — A label in Kansai ben. The advertisement, Iwashi o tabena akan!, translates as You must eat sardines! …   Wikipedia

  • Jeju-do — Jeju Special Self Governing Province 제주특별자치도 濟州特別自治道 Jeju Teukbyeoljachi do Emblem of Jeju …   Wikipedia

  • Pacific saury — Scientific classification Kingdom: Animalia Phylum …   Wikipedia

  • American Anime Awards — The American Anime Awards are a series of awards designed to recognize excellence in the release of anime and manga in North America.The first annual American Anime Awards balloting was supervised by Milton Griepp of industry website ICv2. The… …   Wikipedia

  • Japanese regional cuisine — Japanese cuisine has a vast array of regional specialities known as Kyōdo Ryōri (郷土料理) in Japanese, many of them originating from dishes prepared using traditional recipes using local ingredients. While local ingredients are now available… …   Wikipedia

  • Burmese cuisine — An outdoor cafe in Yangon Burmese cuisine includes a rich collection of dishes and meals found in various regions of the country, which is also known as Myanmar. Owing to the geographic location of Myanmar, Burmese cuisine has been influenced… …   Wikipedia

  • DAICON III and IV Opening Animations — DAICON III IV Opening Animation Directed by Hiroyuki Yamaga Music by Koichi Sugiyama …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”