Domande con tag 'verification'

domande con tag
2
risposte

Come verificare che tutti i file siano intatti prima dell'installazione?

Sto lavorando al mio CMS (in piattaforma PHP) da molto tempo ormai. Il programma principale è fatto e sto attualmente sviluppando la parte Installer. L'installazione stessa sarà abbastanza semplice: Carica tutti i file Verifica che la dire...
posta 04.07.2012 - 02:43
1
risposta

Creazione di un account per ricevere informazioni sensibili su un dispositivo mobile

Sto sviluppando un'applicazione Android per il mio progetto dell'ultimo anno che consente al titolare di un dispositivo mobile di ricevere una notifica di testo contenente informazioni potenzialmente sensibili da un server. La mia domanda è q...
posta 25.03.2013 - 19:39
1
risposta

Esecuzione dei passaggi di verifica CMMI

Per il mio progetto di ingegneria del software creerò software per automatizzare le attività. Nel modulo di gestione del progetto mi è stato chiesto di descrivere e valutare come posso soddisfare tutti gli obiettivi specifici per la verifica...
posta 15.10.2017 - 14:19
0
risposte

Integrazione dei test con Model Checking

Quindi con Model Checking hai una specifica e il checker del modello passa automaticamente attraverso gli stati del tuo programma e controlla se corrisponde alle specifiche. Quello che non capisco è dove il test si adatta. Pertanto, in genere vi...
posta 20.07.2018 - 20:57
3
risposte

Come verificare il codice che potrebbe richiedere molto tempo per essere compilato? [chiuso]

Come follow-up alla mia domanda precedente: Qual è il miglior approccio per la codifica in un ambiente di compilazione lento Per ricapitolare: sono bloccato con un grande sistema software con cui un'ideologia TDD di "testare spesso" non...
posta 25.02.2011 - 13:56
1
risposta

Come comunicare automaticamente ciò che non è stato verificato [duplicato]

Mi sembra di aver sentito la frase "Automated Test Coverage" ma non sono proprio sicuro di cosa significhi. Mi chiedo se c'è un modo per fare una sorta di analisi del programma che ti dirà quali parti del tuo codice non sono state testate. In...
posta 26.07.2018 - 20:10
0
risposte

Generazione automatica di casi di test

Mi piace scrivere test delle unità quando creo software. Recentemente ho imparato a conoscere il Model Checking per dimostrare che un sistema corrisponde a una specifica. Ora sto tornando a test per vedere se ha qualche utilità al fianco di Mode...
posta 22.06.2018 - 23:31
1
risposta

Come scrivere un ciclo for usando Automata

Sono interessato a vedere come un ciclo for / while dovrebbe essere implementato come un automa. Sto avendo difficoltà a immaginare come funzionerebbe. Dì che il ciclo while ha fatto questo: var i = 0 while (i < 10) i = i + 1 Non siamo s...
posta 22.06.2018 - 14:14
1
risposta

ISO 12207: verifica dell'integrazione e convalida del test unitario

Ho ricevuto commenti dal supervisore che ha esaminato la mia tesi. Ha fatto due domande a cui non posso rispondere adesso: Se ISO 12207 dice in "Verifica dell'integrazione" che "controlla che i componenti siano correttamente e completamente...
posta 10.11.2012 - 19:21
2
risposte

La lettura su codice che ho scritto ha senso verificarla?

Dopo aver scritto del codice, ho l'abitudine di scansionarlo dappertutto una o due volte per cercare eventuali bug. Questo a volte è un processo faticoso e noioso, e richiede tempo. Dopo aver esaminato il mio codice, lo eseguo attraverso i miei...
posta 14.05.2018 - 23:37