Test continuo
fornisce un rapido feedback agli sviluppatori sui guasti nella loro suite di test come il codice sorgente è modificato ...
3.8 MB
 | Daikon.Il rilevatore invariante |
| Scarica ora | |
Daikon. Classifica e riepilogo
Annuncio pubblicitario
- Nome editore:
- Program Analysis Group
- Sistemi operativi:
- Windows All
- Dimensione del file:
- 90.2 MB
Daikon. Tag
- rivelatore rilevamento Rilevatore invariante Rilevamento invariante. Programma invariante invariante. msn webcam spia BlackBerry Curve 8630. DJ Java decompilatore Mercury Sound 7050. Cattura dello schermo Linux. pdf to MDB Chat del bulbo oculare os Spina Prizm in whitetail cervi screensaver Promemoria per il compleanno per Software di decodifica TV Webmail ZL.
Daikon. Descrizione
Daikon è un'attuazione di rilevamento dinamico di probabili invarianti; Cioè, il rivelatore di Daikon Invariant riporta probabilmente invarianti del programma. Un invariante è una proprietà che detiene ad un determinato punto o punti in un programma; Questi sono spesso visti nelle dichiarazioni, nella documentazione e nelle specifiche formali. Gli invarianti possono essere utili nella comprensione del programma e nella host di altre applicazioni. Gli esempi includono ".field> ABS (Y)"; "Y = 2 * x + 3"; "Array A è ordinato"; "Per tutti gli oggetti elenco lst, lst.next.prev = lst"; "Per tutti gli oggetti Treenode n, n.left.value Daikon. Software correlato
Silvermotion.
Un controllo del sistema grafico Avantgarde che offre una vera grafica 3D in tempo reale al web. Il suo motore di rendering unico, la struttura di entità, il sistema di ombreggiatura e altre proprietà producono un completo e rema ...
2 MB
Aiuta il visualizzatore SDK.
Un kit di sviluppo software per le interfacce del visualizzatore 1.0 di aiuto. ...
523 KB