Domande con tag 'design-by-contract'

domande con tag
4
risposte

Scopo dei messaggi di asserzione

Alcune lingue e librerie possono associare messaggi di asserzione con asserzioni. Tali messaggi di asserzione sono inclusi nei messaggi di errore quando l'asserzione non è valida. Esempi sono Java , Class :: Contract, < a href="https://github.c...
posta 04.11.2015 - 00:15
3
risposte

Come allentare i contratti di input per ereditarietà?

In base alla wiki di LSP : Substitutability is a principle in object-oriented programming stating that, in a computer program, if S is a subtype of T, then objects of type T may be replaced with objects of type S (i.e. an object of typ...
posta 07.10.2017 - 21:20
2
risposte

In che modo sono correlati la progettazione per contratto e il test basato sulle proprietà (QuickCheck)?

È la loro unica somiglianza il fatto che siano not xUnit (o più precisamente, non basati sull'enumerazione di casi di test specifici), o è più profondo di così? I test basati su proprietà (usando QuickCheck, ScalaCheck, ecc.) sembrano adatt...
posta 29.06.2013 - 03:47
4
risposte

Devo affermare le precondizioni delle funzioni in un'API pubblica?

Sto scrivendo una libreria per alcune strutture dati in C che verranno utilizzate nei sistemi embedded. Ho avuto problemi nel progettare e creare un solido piano di gestione degli errori. Questa API è solo soggetta ad errori logici ed è per ques...
posta 21.12.2017 - 21:15
2
risposte

Mi aspettavo che l'utente API implementasse un UnsupportedOperationException ok?

Sto scrivendo un gestore per il download / l'importazione di dati. Dopo aver inserito i dati nel database, è possibile chiamare diversi lavori di importazione, ma solitamente è solo uno. Quindi ci sono due metodi per ottenere i lavori di importa...
posta 09.12.2016 - 16:45
1
risposta

La progettazione per contratto è uguale all'utilizzo di interfacce per creare un "contratto"?

Un design OOP che utilizza un design per contratto indica che il progettista sta utilizzando le interfacce per creare un "contratto". Il termine "contratto" viene usato abbastanza spesso quando si discutono le interfacce OOP, quindi non sapevo s...
posta 21.11.2016 - 22:43
1
risposta

Che cosa rende la progettazione per contratto uno strumento?

La progettazione per contratto si basa sulla logica di Hoare, in cui una dimostrazione di correttezza di un programma viene stabilita ragionando su condizioni pre / post e invarianti. Quali sono i mezzi e i prerequisiti di una lingua che rend...
posta 07.03.2016 - 02:59
2
risposte

Scrivi le asserzioni di test nei commenti delle tue funzioni (appena prima del codice)?

Sto usando PHP e PHPUnit. Qualcosa mi infastidisce: il fatto che le asserzioni siano in un'altra classe (troppo facile da dimenticare o da ignorare, per ogni nuovo programmatore nel progetto). Se le asserzioni di test possono essere scritte s...
posta 19.09.2015 - 16:19
2
risposte

Perché la progettazione per contratto è considerata un'alternativa al processo di pseudo programmazione?

In questo momento sto leggendo Code Complete di Steve McConnell e nel capitolo 9 parla del Pseudo Programming Process (PPP). Da quello che ho capito, il PPP è un modo di programmazione in cui il programmatore scrive prima lo pseudo codice per...
posta 01.09.2012 - 15:45
2
risposte

Implementazione dello stack in base alla progettazione e alla programmazione difensiva

Sto provando a scrivere il codice Stack usando le due tecniche, ad esempio Design by Contract vs Defensive Programming, ma non sono sicuro se sto facendo bene o no. Non sto lanciando nessun tipo di eccezione o errore nella progettazione per cont...
posta 08.10.2016 - 01:49