Daikon De invariante detector
Download nu

Daikon Rangschikking & Samenvatting

Daikon Tags

detector detectie invariante detector invariant detectie Programma Invariant onveranderbaar msn webcam spy blackberry 8630 DJ Java Decompiler Mercury Sound 7050 linux screen capture pdf naar mdb Eyeball Chat OS PRIZM PLACK IN whitetailhert screensavers herinneringsverjaardag voor tv decoderingssoftware zl webmail

Daikon Beschrijving

Daikon is een implementatie van dynamische detectie van waarschijnlijke invarianten; Dat wil zeggen, de Daikon Invariant Detector rapporteert waarschijnlijk invarianten van het programma. Een invariant is een eigendom dat op een bepaald punt of punten in een programma houdt; Deze worden vaak gezien in assert-verklaringen, documentatie en formele specificaties. Invarianten kunnen nuttig zijn bij het begrip van het programma en een groot aantal andere toepassingen. Voorbeelden zijn ". Field> ABS (Y)"; "Y = 2 * x + 3"; "Array A is gesorteerd"; "Voor alle lijstobjecten lst, lst.next.prev = lst"; "Voor alle treenode-objecten n, n.left.value

Daikon Gerelateerde software