Daikon (systém) - Daikon (system)

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

Reference

  1. ^ Přehled nástrojů a aplikací JML
  2. ^ „Dynamické objevování pravděpodobných invariantů programu“. Skupiny.csail.mit.edu. Citováno 2013-05-23.
  3. ^ [1] Archivováno 10.06.2011 na Wayback Machine Licence Daikon