design-by-contract

9calore

2risposta

Design (e) contratto per LIbario (i) per Common Lisp?

Venendo da un background in Clojure, mi sono preso con il potenziale che i suoi post-contrattuali/pre forniscono come base per la progettazione per contratto: ;; sqr.clj (defn sqr [n] {:pre [(n

14calore

1risposta

Contratti di codice vs. Inizializzatori di oggetti (.net 4.0)

A valore nominale, sembrerebbe che gli inizializzatori di oggetti presentino un problema per i "contratti di codice" .net 4.0, dove normalmente l'invariante deve essere stabilito al momento in cui il

25calore

12risposta

Java assert rotto?

Mentre spuntavo tra le domande, ho scoperto di recente la parola chiave assert in Java. All'inizio ero eccitato. Qualcosa di utile che non sapevo già! Un modo più efficiente per me per verificare la v

5calore

2risposta

Perché continuo a ricevere i Contratti di codice: garantire un avviso non comprovato?

Di seguito è riportato un esempio molto semplice. Quando accendo gli avvertimenti di analisi statica, ho ancora CodeContracts Attenzione: assicura non dimostrata: Contract.Result() = string.Empty sull

10calore

5risposta

Design by contratti e costruttori

Io sono l'attuazione mia ArrayList a fini scolastici, ma per rendere le cose un po 'che sto cercando di utilizzare C# 4.0 Code Contracts. Tutto andava bene finché non avevo bisogno di aggiungere Contr

5calore

2risposta

Cosa fare quando si utilizza Contract.Assert (true) e il metodo deve restituire qualcosa?

Ho un po 'di codice con la seguente logica: //pseudo-code foreach (element in elementList) { if (element is whatever) return element; } } In teoria, c'è sempre un elemento che è qu

15calore

1risposta

Idiomi di Lisp comuni per il controllo degli argomenti e altre paranoie?

Questa domanda riguarda le convenzioni di codifica, le migliori pratiche e lo stile nella produzione, codice Common-Lisp mission-critical. Ho consultato la Guida di stile Common-Lisp di Google (http:/

9calore

2risposta

Perché JML non è implementato come annotazioni in Java?

Contrariamente ai contratti di codice in C#, nel codice JML I contratti sono solo testo che viene utilizzato sotto forma di commenti nell'intestazione di un metodo. Non sarebbe meglio averli esposti c

5calore

1risposta

Design per contratto per Objective-C?

L'anno scorso ho seguito un corso sulla metodologia Design by Contract. Abbiamo programmato in C# con l'API Contract creata da Mircosoft Research e generato test unitari con PEX. Quest'anno sto progra

6calore

3risposta

perché usare 'assert' in un progetto? (E perché usarlo così tante volte)

stavo leggendo attraverso il codice ListAdder di esempio, e ci sono molti afferma subito dopo la variabile, o utilizzato in quasi tutti i metodi, per esempio: self.formatter = [[[NSNumberFormatter all