Daikon (systém) - Daikon (system)
![]() | Téma tohoto článku nemusí splňovat požadavky Wikipedie pokyny k pozoruhodnosti produktů a služeb.Květen 2013) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
![]() | tento článek potřebuje další citace pro ověření.Květen 2013) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Daikon je počítačový program který detekuje pravděpodobné invarianty programů.[1] An neměnný je podmínka, která vždy platí v určitých bodech programu. Používá se hlavně[2] pro ladění programy v pozdním vývoji nebo kontrola úprav stávajícího kódu.
Vlastnosti
Daikon dokáže detekovat vlastnosti v C, C ++, Jáva, Perl, a IOA programy, stejně jako tabulkový kalkulátor soubory nebo jiné zdroje dat. Daikon se snadno rozšiřuje a je svobodný software.[3]
externí odkazy
- Daikon Oficiální domovská stránka
- Zdrojové úložiště na Githubu
- Dynamické objevování pravděpodobných invariantů programu, Michael D. Ernst PhD. Diplomová práce (pomocí Daikonu)
Reference
- ^ Přehled nástrojů a aplikací JML
- ^ „Dynamické objevování pravděpodobných invariantů programu“. Skupiny.csail.mit.edu. Citováno 2013-05-23.
- ^ [1] Archivováno 10.06.2011 na Wayback Machine Licence Daikon
![]() | Tento programovací nástroj související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |