Domande con tag 'code-contracts'

domande con tag
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
4
risposte

Perché dovrei usare i contratti di codice

Recentemente sono incappato nella struttura di Microsoft per i contratti di codice. Ho letto un po 'di documentazione e mi sono trovato costantemente a chiedere: "Perché dovrei mai volerlo fare, perché non lo fa e spesso non è possibile esegu...
posta 12.09.2013 - 22:30
2
risposte

Quando usare [Pure] su un costruttore?

Sto imparando sui contratti di codice in .NET, e sto cercando di capire l'idea dei puri costruttori. Gli stati della documentazione contratti di codice : All methods that are called within a contract must be pure; that is, they must not up...
posta 01.07.2014 - 18:20
6
risposte

Programmazione basata su contratto rispetto a Test unità

Sono un programmatore un po 'difensivo e un grande fan dei Contratti di codice di Microsofts. Ora non posso sempre usare C # e nella maggior parte delle lingue l'unico strumento che ho sono asserzioni. Quindi di solito finisco con un codice c...
posta 09.12.2013 - 10:17
2
risposte

contratti / asserzioni di codice: cosa con controlli duplicati?

Sono un grande fan della scrittura di asserzioni, contratti o qualsiasi tipo di controllo disponibile nella lingua che sto usando. Una cosa che mi disturba un po 'è che non sono sicuro di quale sia la pratica comune per gestire i controlli dupli...
posta 07.11.2011 - 09:52
4
risposte

Gestione delle modifiche in un'architettura di microservizio basata su eventi

Sto facendo un progetto di ricerca in cui sto ricercando le opzioni per gestire i cambiamenti in un'architettura di microservizi basata sugli eventi. Quindi, diciamo che abbiamo un'applicazione in cui abbiamo ottenuto quattro servizi diversi....
posta 21.09.2016 - 15:39
1
risposta

Quali sono gli esempi pratici delle tecniche di esplorazione del codice?

Code Exploration (CE) è un termine abbastanza nuovo e mi chiedo se esistono già esempi riusciti di implementazione di queste tecniche in termini di principi di integrazione continua? In breve, Code Exploration può essere descritto come il pro...
posta 22.08.2012 - 08:55
2
risposte

I contratti di codice .NET 4.0 hanno un ruolo da svolgere nei progetti di programmatore singolo?

Spesso mi ritrovo a chiedermi quali sono le migliori pratiche di programmazione applicate alla programmazione in solitario, poiché la maggior parte delle volte sono l'unico programmatore di un progetto. Ho appena iniziato a sperimentare con i Co...
posta 12.07.2011 - 01:40
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
4
risposte

Perché l'onere della prova deve rimanere al chiamante e non al metodo della classe che viene chiamata?

Michael Perry afferma nel suo corso Pluralsight su Provable Code (solo abbonamento per trascrizione) che: [T]he burden of proof rests with the caller In un contratto di codice, perché l'onere della prova deve rimanere al chiamante e non...
posta 31.12.2012 - 10:54