Domande con tag 'formal-methods'

La derivazione del programma è definita come la derivazione di un programma dalle sue specifiche. Di solito questo linguaggio di specificazione è una qualche forma di logica proposizionale, ma da quello che capisco, non è necessario. Per ragioni...

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...

Di 'che hai class A { } class B { } Una dipendenza di tipo è "parametro di metodo": class A { } class B { public void M(A a) { } } Un altro è "metodo restituisce": class A { } class B { public A M() { } } Quindi C, un a...

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...

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...

Dopo qualche ricerca su google, mi sento ancora nel fango. Mi chiedo se qual è l'approccio migliore per la scrittura di wrapper che mappano due API simili che offrono una semantica simile ma forse in diversi modelli, sintassi o stili. Ad e...