Tag: design-by-contract
Design by Contract (DbC) oder Programming by Contract ist ein Konzept zur Gestaltung von computer-software. Es schreibt vor, dass software-Designer sollten definieren, formale, präzise und überprüfbare Schnittstellen-Spezifikationen für software-Komponenten, die eine Erweiterung der gewöhnlichen definition von abstrakten Datentypen mit Vorbedingungen, nachbedingungen und Invarianten. Diese Angaben werden nachfolgend als „Verträge“, in übereinstimmung mit einer konzeptuellen Metapher mit den Bedingungen …
Warum ist das design-by-contract nicht so beliebt im Vergleich zu test-driven development?
9 Antworten
Können Sie denken, diese Frage ist wie diese Frage auf StackOverflow früher. Aber ich versuche Dinge anders zu sehen. In TDD, wir schreiben tests, die verschiedenen Bedingungen, Kriterien -, Verifizierungs-code. Wenn eine Klasse all diese Prüfungen besteht,
Wie kann ich die Validierung von constraints auf meiner Methode input-Parameter?
8 Antworten
Hier ist die typische Art und Weise, dies zu erreichen Ziel: public void myContractualMethod(final String x, final Set<String> y) { if ((x == null) || (x.isEmpty())) { throw new IllegalArgumentException("x cannot be null or empty"); } if
Wie füge ich eine Voraussetzung, die in einer java-Klasse, die Methode oder Konstruktor?
5 Antworten
Dies ist für eine java-Klasse, ich bin dabei. Das Buch erwähnt die Vorbedingungen und nachbedingungen, aber macht nicht irgendwelche Beispiele, wie man code. Es geht auf zu reden, behauptet habe ich, aber die Zuordnung mache ich speziell
'Entwurf nach Vertrag' in C #
11 Antworten
Wollte ich versuchen, ein wenig design by contract in mein aktuellen C# - Anwendung und wollte syntax ähnlich: public string Foo() { set { Assert.IsNotNull(value); Assert.IsTrue(value.Contains("bar")); _foo = value; } } Ich weiß, ich kann statische Methoden,
Wie zeigt man an, ob eine Methode null zurückgeben kann?
11 Antworten
Nach der Veröffentlichung diese Frage und Lesen dass man ich erkannte, dass es sehr wichtig zu wissen, ob eine Methode soll den Wert null zurückgeben, oder wenn dies als Fehler und Ausnahmen geworfen werden sollte. Es ist
Wie viel Nullprüfung ist genug?
18 Antworten
Was sind einige Richtlinien, wenn es nicht notwendig zu überprüfen, ob ein null? Viele der geerbten code hab ich gearbeitet wie in der letzten null-Prüfungen bis zum überdruss. Null prüft auf triviale Funktionen, die null-Prüfungen auf API-Aufrufe,
Design durch Vertrag mit Behauptungen oder Ausnahmen?
14 Antworten
Als programming by contract eine Funktion oder Methode wird zunächst geprüft, ob Ihre Voraussetzungen erfüllt sind, bevor Sie die Arbeit an seinen Aufgaben, richtig? Die zwei bekanntesten Möglichkeiten, das zu tun diese Prüfungen sind durch assert und
Vertrag.Erfordert die Nutzung
3 Antworten
Hier ist mein problem. Ich bin ein sehr großer fan von Design by contract, bin ich mit diesem Konzept vor allem bei der Entwicklung von Bibliotheken, die verwendet werden können von anderen Entwicklern. Ich habe gerade herausgefunden,
Was sind Verträge in C ++ 17?
3 Antworten
Ich war Lesung über Verträge im Gedanken über C++17 von B. Stroustrup und unterstützt eine kleine Präsentation darüber zu sprechen, aber ich bin nicht sicher, ob ich verstanden habe, Sie wirklich. Also ich habe ein paar Verhöre
Eine gute Design-by-Contract-Bibliothek für Java?
10 Antworten
Vor ein paar Jahren, habe ich eine Umfrage von DbC-Pakete für Java, und ich war nicht ganz zufrieden mit irgendwelchen von Ihnen. Leider habe ich nicht halten gute Noten auf meine Ergebnisse, und ich nehme an, die