Domande con tag 'formal-methods'

domande con tag
22
risposte

Perché alcuni programmatori pensano che esista un contrasto tra teoria e pratica? [chiuso]

Confrontando l'ingegneria del software con l'ingegneria civile, sono rimasto sorpreso osservare un modo di pensare diverso: qualsiasi ingegnere civile lo sa se vuoi costruire una piccola capanna nel giardino puoi semplicemente ottenere il materi...
posta 03.06.2012 - 11:25
7
risposte

Se hai appreso metodi formali per il software, quanto ti è stato utile trovarlo?

Se sei stato addestrato all'uso dei metodi formali (FM) per la programmazione: Quanto è utile averlo trovato? Che cosa implicava la tua formazione FM (ad esempio un corso, un libro)? Quali strumenti FM usi? Quali vantaggi in termini...
posta 08.10.2010 - 00:51
3
risposte

Che cosa aiuterebbe nel rifattorizzare un metodo di grandi dimensioni per garantire che io non rompere nulla?

Attualmente sto refactoring una parte di un grande codebase senza test di unità di sorta. Ho provato a ridefinire il codice in modo brutale, cioè cercando di indovinare cosa sta facendo il codice e quali cambiamenti non cambierebbero il suo sign...
posta 26.04.2013 - 13:50
2
risposte

È prassi comune trasformare le specifiche dei requisiti in logica di predicato per la programmazione funzionale?

Recentemente sono stato assegnato a lavorare su un piccolo progetto che viene implementato in Haskell. Provenendo da uno sfondo OO / imperativo, sono abituato a convertire requisiti / storie utente in casi d'uso e diagrammi di sequenza prima del...
posta 17.03.2015 - 09:28
2
risposte

La "Unit test" è una forma di metodo formale?

Dopo alcune ricerche, capisco che: Il metodo formale contribuisce all'affidabilità e alla robustezza di un progetto. (ref: Wikipedia - Metodo formale ) Il test unitario ci assicura l'assenza di errori introdotti da uno sviluppatore (ref:...
posta 10.04.2015 - 10:28
3
risposte

Quali sono gli ostacoli che impediscono l'adozione diffusa di metodi formali? [chiuso]

I metodi formali possono essere utilizzati per specificare, provare e generare codice per un'applicazione. Questo è meno incline agli errori, quindi utilizzato principalmente nei programmi di sicurezza / critici. Perché non lo usiamo più spes...
posta 17.07.2018 - 16:13
2
risposte

Come "Migliore" per catturare le transizioni di stato in una specifica dei requisiti del software formale

Supponiamo che tu abbia un diagramma di transizione di stato. Qual è il modo migliore per i requisiti di scrittura "Formalmente" che catturano le transizioni di stato illustrate nel diagramma. Nel corso degli anni ho usato due approcci e entramb...
posta 24.02.2015 - 19:37
2
risposte

Un linguaggio puramente dichiarativo può causare eccezioni di runtime?

Consideriamo un linguaggio puramente dichiarativo come SQL, XQuery o un linguaggio logico come Prolog, o un linguaggio puramente funzionale senza mutabilità variabile. Considerando che l'interprete o il compilatore per un tale linguaggio è pr...
posta 16.03.2016 - 20:52
4
risposte

Modulo preferito per il rilevamento degli errori e le condizioni di terminazione del loop?

In questo anwer Stackoverflow Ricordo vagamente che mi viene insegnato che è meglio usare come condizione "ampia" il più possibile Termina un ciclo, piuttosto che testare per una condizione esatta di terminazione. vale a dire. utilizzare:...
posta 16.04.2012 - 16:46
1
risposta

esiste un metodo algebra formale per analizzare i programmi?

Esiste una connessione formale / accademica tra un programma imperativo e l'algebra e, in caso affermativo, dove dovrei imparare a riguardo? L'esempio che sto pensando è: if(C1) { A1(); A2(); } if(C2) { A1(); A2(); } Rappresentato come u...
posta 20.03.2012 - 22:22