design-by-contract

4La chaleur

2Répondre

Paramètres d'état de gestion de conteneur IOC dans un constructeur non défini par défaut

Pour les besoins de cette discussion, il existe deux types de paramètres qu'un constructeur d'objet peut prendre: dépendance d'état ou dépendance de service. Fournir une dépendance de service avec un

1La chaleur

2Répondre

Est-ce que quelqu'un a fait l'expérience de métriques pour Design-By-Contract ou peut recommander des mesures pour mesurer l'utilisation de Design-By-Contract dans une base de code?

Nous présentons actuellement Design-by-Contract à un groupe de développement de logiciels d'environ 60 développeurs, qui développent différents composants. Nous avons commencé par définir des politiqu

11La chaleur

2Répondre

Contrats de code: Pourquoi certains invariants ne sont-ils pas considérés en dehors de la classe?

Tenir compte de ce type immuable: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Inva

3La chaleur

1Répondre

Pourquoi l'onglet Contrats de code n'apparaît-il pas dans VS 2010?

J'ai vu une démo de Contrats de Code l'autre jour et j'ai décidé de me lancer dans un petit projet de test. Je peux configurer mon code Contrats de code de manière appropriée après avoir ajouté une in

3La chaleur

1Répondre

Quelle conception par contrat cadre pour C# .NET?

Je cherche à utiliser la conception par contrat pour un projet personnel en C# en utilisant .NET 4. Je lis à propos de la tentative de Microsoft à la conception par le cadre du contrat: http://msdn.mi

9La chaleur

2Répondre

Conception par contrat (s) pour Lisp commun?

Issu d'une formation en Clojure, je suis pris avec le potentiel que ses pré/post conditions offrent comme base pour la conception par contrat: ;; sqr.clj (defn sqr [n] {:pre [(not= 0 n) (number

5La chaleur

2Répondre

Pourquoi est-ce que je reçois toujours des contrats de code: Prévoir un avertissement non prouvé?

Voici un exemple très simple. Quand j'allume les avertissements d'analyse statique, je reçois toujours avertissement CodeContracts: assure non prouvée: Contract.Result() = string.Empty sur la ligne st

3La chaleur

2Répondre

Conventions de dénomination pour les classes de Contrats de code des types d'interface

J'utilise les classes Contrats de code dans l'espace de noms System.Diagnostics.Contracts pour définir des contrats pour mes objets et je me demande comment d'autres nomment leurs classes de contrat l

4La chaleur

1Répondre

Quelle bibliothèque de code par contrat tiers est la plus proche de la bibliothèque .NET 4.0 de MS?

Je veux passer au codage par contrat. J'ai eu VS2010 (avec le compilateur C# 4.0) mais je dois cibler le framework 3.5. Quelle bibliothèque de code tiers par contrat a les classes et l'interface les p

5La chaleur

4Répondre

Les exceptions d'argument doivent faire l'objet d'un test d'unité?

Je sais que cette question est assez similaire à d'autres qui ont déjà été postées mais j'aimerais discuter de ce sujet de manière appropriée. Pensez-vous que l'exception «évidente» devrait être testé