Domande taggate «code-contracts»

4
Perché dovrei usare i contratti di codice
Di recente mi sono imbattuto nel framework Microsoft per i contratti di codice. Ho letto un po 'di documentazione e mi sono trovato costantemente a chiedere: "Perché dovrei mai voler fare questo, in quanto non è e spesso non è possibile eseguire un'analisi statica". Ora, ho già una sorta di …
2
Quando usare [Pure] su un costruttore?
Sto imparando i contratti di codice in .NET e sto cercando di capire l'idea di costruttori puri. La documentazione relativa ai contratti di codice afferma: Tutti i metodi chiamati all'interno di un contratto devono essere puri; cioè, non devono aggiornare alcuno stato preesistente. Un metodo puro è autorizzato a modificare …
6
Programmazione basata su contratto vs Unit Test
Sono un programmatore un po 'difensivo e un grande fan dei contratti di codice di Microsoft. Ora non posso sempre usare C # e nella maggior parte delle lingue l'unico strumento che ho sono le asserzioni. Quindi di solito finisco con un codice come questo: class { function() { checkInvariants(); …
4
Gestione delle modifiche in un'architettura di microservizi basata sugli eventi
Sto realizzando un progetto di ricerca in cui sto ricercando le opzioni per gestire i cambiamenti in un'architettura di microservizi basata sugli eventi. Quindi, supponiamo di avere un'applicazione in cui abbiamo ottenuto quattro diversi servizi. Ognuno di questi servizi ha un proprio database per archiviare dati locali. In questa configurazione, …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.