Veröffentlichungen
Juli 2020
So Mo Di Mi Do Fr Sa
  1234
567891011
12131415161718
19202122232425
262728293031 
DBApp-Suche
Erweiterte Suche

Application datasets: 20722 Version datasets: 149628
DBApp v1.06
Copyright © demon
Werbung
Programm-Informationen
Applikation:Daikon
Version(en):
  Hauptzweig4.6.4
Lizenz:Open-Software-Lizenz
Homepage:http://groups.csail.mit.edu/pag/daikon/
Kategorie:Konsole
Beschreibung:
Daikon ist eine Implementation der dynamischen Erkennung von wahrscheinlichen Invarianten. Eine Invariante ist eine Eigenschaft, die an bestimmten Stellen eines Programmes gilt - man sieht diese oft in Assert-Anweisungen, Dokumentation und formalen Spezifikationen. Invarianten können nützlich sein beim Verstehen des Programmes und bei vielen anderen Anwendungen. Daikon führt ein Programm aus, beobachtet die Werte, die das Programm berechnet, und berichtet Eigenschaften, die die ganze Zeit wahr waren. Es kann Eigenschaften in Java-, Perl-, C- und IOA-Programmen, Tabellen und anderen Datenquellen entdecken.
 
Neue Version melden
Version
Zweig
Sollte der von Ihnen angedachte Zweig nicht in unserer Liste aufgelistet sein, so tragen Sie bitte unter Zweig (Andere) eine neue Entwicklungslinie (Branch) ein.
Zweig (Andere)
Änderungen