Domande con tag 'design-by-contract'

9
risposte

Perché esiste un supporto così limitato per Design by Contract nella maggior parte dei moderni linguaggi di programmazione?

Recentemente ho scoperto Design by Contract (DbC) e trovo un modo estremamente interessante per scrivere codice. Tra l'altro, sembrerebbe offrire: Migliore documentazione. Poiché il contratto è la documentazione, è impossibile che uno sia ob...
posta 06.01.2012 - 01:01
10
risposte

Un metodo dovrebbe validare i suoi parametri? [duplicare]

Supponiamo che tu stia progettando un metodo sqrt con radice quadrata. Preferisci convalidare che il parametro passato non sia un numero negativo o lo lasci al chiamante per assicurarti che il parametro passato sia valido. Come varia la tua ri...
posta 04.04.2011 - 07:01
3
risposte

Verifica delle condizioni preliminari o meno

Volevo trovare una risposta solida alla domanda se disporre o meno di controlli di runtime per convalidare l'input allo scopo di garantire che un client si sia attenuto alla fine dell'accordo in fase di progettazione per contratto. Ad esempio, c...
posta 09.04.2012 - 19:12
1
risposta

Vantaggi dell'uso della libreria PyContracts su affermazioni asserite

Oggi mi sono imbattuto nel pacchetto Python chiamato PyContracts . Comunque, python ha l'istruzione assert che sembra permetterti di fare esattamente queste cose. Quali vantaggi hanno i contratti rispetto alle asserzioni?     
posta 08.03.2014 - 22:35
1
risposta

Scopo del lavoro dettagliato .. Cascata?

Ho un cliente che ha richiesto un ambito di lavoro dettagliato / una dichiarazione di lavoro. Dopo averlo esaminato, sembra che vogliano timeline, costi, caratteristiche, tutto il nove. Per poter fare un SOW dettagliato, in pratica è necessar...
posta 10.04.2016 - 01:01
2
risposte

Il primo utilizzo di commenti come cose semanticamente significative in un programma?

In alcuni angoli del mondo della meta-programmazione PHP, è diventato di moda usare i commenti di PHPDoc come meccanismo per fornire informazioni semanticamente significative a un programma. Cioè, un altro codice analizzerà i blocchi doc e farà...
posta 08.11.2013 - 20:49
2
risposte

Opzioni per la programmazione per contratto in Java

Sto lavorando a un progetto (che include app Web JavaEE e app JavaSE) che è passato da un singolo sviluppatore a un team di tre persone e stanno emergendo problemi di leggibilità e solidità. Un'omissione evidente dal linguaggio Java ha riguar...
posta 06.05.2012 - 23:17
2
risposte

Concetto per convalidare oggetti attraverso le lingue?

Una domanda interessante su cui mi sono imbattuto: Supponiamo che un'applicazione java crei un modello di dati, converta questi dati in un oggetto json con due campi e li carichi su un server: { "FirstName": "Foo", "LastName": "Bar"...
posta 23.03.2018 - 22:22
3
risposte

Qual è la differenza tra tipizzazione dipendente e contratti?

Qual è la differenza tra lingue digitate dipendenti e lingue come Spec # e Eiffel che consentono di specificare "contratti" per le funzioni nel codice per pre / post-condizioni? Dipende essenzialmente dalla tipizzazione della versione puramente...
posta 22.02.2014 - 20:54
3
risposte

Nella progettazione per contratto, perché le condizioni preliminari dovrebbero essere garantite da un cliente e le post-condizioni - da un fornitore?

Ho sentito parlare di Design by Contract molto tempo fa e sono sempre stato confuso da questa domanda. L'approccio utilizza l'analogia del fornitore-cliente del mondo reale per descrivere le relazioni caller-callee. Rimane, che se un cliente ass...
posta 05.10.2016 - 19:13