Domande con tag 'static-analysis'

domande con tag
5
risposte

Trova automaticamente la notazione di Landau (notazione Big O o Theta) di un algoritmo?

Sono abituato a cercare manualmente la notazione di Landau (Big O, Theta ...) dei miei algoritmi per assicurarmi che siano ottimizzati come possono, ma quando le funzioni diventano veramente grandi e complesse, sta prendendo troppo tempo per far...
posta 07.09.2012 - 04:33
3
risposte

È sicuro affidarsi all'analisi statica per "riprodurre" in modo affidabile i bug della concorrenza?

Ho ereditato del codice Java che sospetto porti alcuni bug di concorrenza durante la sincronizzazione tra un thread che interroga i dati e un evento IO che aggiorna gli stessi dati. Sto sperimentando uno strumento di analisi statica chiamato Thr...
posta 30.06.2014 - 12:16
2
risposte

Come è possibile costruire l'intero codice base dal sorgente su Google?

La prima risposta a un vecchio, recentemente attivo domanda collegata a un video che parla di come è fatto il repository di Google. Una cosa interessante che è stata menzionata è il fatto che tutto è compilato dalla fonte, senza fare a...
posta 08.05.2013 - 23:42
2
risposte

È saggio usare Clang per l'analisi del codice personale in un progetto che costruisce con gcc?

Ho iniziato a lavorare su diversi progetti C che stanno costruendo usando gcc . Credo che questa scelta sia stata fatta per diversi motivi: È stato necessario eseguire il cross-compile per il braccio molto presto (credo). Le prestazion...
posta 31.08.2016 - 12:50
2
risposte

L'uso delle annotazioni è dannoso per la qualità del codice e la manutenzione del codice a lungo termine?

Con il motore di elaborazione delle annotazioni Doctrine per PHP e gli Annotatons utilizzati per Doctrine Entities e per Zend Form, e possibilmente altre cose, e anche in altre lingue, sembra che Annotations sia qui per rimanere. Esempi...
posta 15.02.2017 - 19:29
3
risposte

Analisi delle dipendenze per i test [chiuso]

Google ha creato un sistema di test che può dedurre quali test devono essere eseguiti dopo una modifica. Con parole proprie : ... we built a continuous integration system that uses dependency analysis to determine all the tests a cha...
posta 10.07.2011 - 13:19
3
risposte

Ispezione, revisione del codice: è davvero un test?

ISTQB, Wikipedia o altre fonti classificano le attività di verifica (recensioni, ecc.) come test statici, mentre altri no. Se possiamo dire che le revisioni paritetiche e le ispezioni sono in realtà una sorta di test, allora molti standard non h...
posta 13.11.2012 - 10:30
3
risposte

Gestione di falsi positivi e avvisi di codice legacy nell'analisi statica del codice C ++? [chiuso]

Abbiamo una grande base di codice C ++ "legacy" su cui no static analisi viene eseguita al momento. Ogni tanto, stiamo pensando di utilizzare almeno cppcheck , magari tramite Visual Lint . (Ho anche controllato brevemente i siti di Cove...
posta 30.09.2011 - 11:05
2
risposte

L'analisi statica dovrebbe essere integrata con la revisione del codice? [chiuso]

Voglio integrare vari strumenti di analisi statica e quindi aggiungere i risultati come commenti su un file all'interno degli strumenti di revisione del codice, come la scheda Stash o Review. Sto esplorando la possibilità di scrivere un tale...
posta 05.05.2015 - 06:23
2
risposte

Strumenti di analisi statica per rilevare schemi architettonici

Attualmente a scuola stiamo lavorando a un progetto di ricerca. La questione centrale di questo progetto è la seguente: quali schemi architettonici possono essere rilevati utilizzando l'analisi statica del codice? Con il modello architettonico s...
posta 15.02.2012 - 18:32