design-by-contract

0Hitze

2Antwort

Validieren von Eingabeparametern

Ich versuche zu entscheiden, ob ich in meinem Code Ausnahmen, Behauptungen oder Grenzkontrollen verwenden soll. Das Programm enthält viele Berechnungen, die von Benutzereingaben abhängig sind. Das Pro

c++ exception testing design-by-contract 2017-02-09

---

9Hitze

2Antwort

Nach Vertragsbibliothek (en) für Common Lisp?

von einem Hintergrund in Clojure kommend, bin ich mit dem Potenzial genommen, dass seine Pre-/Post-Bedingungen für das Design von Vertrag als Grundlage bieten: ;; sqr.clj (defn sqr [n] {:pre [(

clojure lisp common-lisp design-by-contract 2010-09-24

---

2Hitze

1Antwort

Wie Eclipse-(Java) konfigurieren benutzerdefinierte Behauptung zu erkennen, wenn gegen mögliche Nullzeiger

Überprüfung Ich habe das folgende Stück von Java-Code: public void silence(final Object key) { final Chain chain = (Chain)getChain(key); checkPrecondition(chain != null); chain.silence(

java eclipse assertion design-by-contract 2017-07-19

---

3Hitze

1Antwort

Bedeutung von \ alt in ACSL Nachbedingungen

Ich bin ein Neuling Benutzer von Frama-C und habe ein paar Fragen zu Aussagen über Zeiger. Betrachten Sie das C-Fragment unter Einbeziehung: zwei verwandte Datenstrukturen Daten und Griff, S. T. Handl

design-by-contract formal-verification frama-c 2012-03-29

---

5Hitze

2Antwort

Warum bekomme ich immer noch Code Contracts: Stellen Sie eine unbewiesene Warnung sicher?

Unten ist ein sehr einfaches Beispiel. Wenn ich auf der statischen Analyse Warnungen drehen, bekomme ich immer noch CodeContracts Achtung: sorgt für unbewiesen: Contract.Result() = string.Empty auf de

c# code-contracts design-by-contract 2010-11-18

---

2Hitze

1Antwort

Sinn von Nicht-Null- und NULL-Annotationen

Ich bin mir nicht sicher, wie wir die Annotation über Nullable richtig verwenden, d. H. NonNull und Nullable. ich nicht wirklich mit so etwas wie die folgenden komfortabel bin: public void foo(@NonNul

java android design-patterns annotations design-by-contract 2017-02-24

---

1Hitze

3Antwort

Design by Contract, und generische Ausnahmen

Ich bin im frühen Prozess der Implementierung einer sehr einfachen "Design by Contract" statische Helfer Klasse, ähnlich wie NUnit Assert. Im Idealfall versuche ich, einen Ausdruck zu übergeben, zu pr

c# asp.net exception design-by-contract 2012-04-03

---

1Hitze

1Antwort

XML innerhalb eines String-Element vs unabhängigen Elementen

Was die konzeptionelle und technische Nachteile dieser Anforderung/Antwort-Struktur sind: A) <xs:element name="OrderRequest"> <xs:complexType> <xs:sequence> <xs:element name="Orde

java web-services xsd design-by-contract contract 2016-05-07

---

0Hitze

1Antwort

Ist eine Ausnahme eine gültige Nachbedingung?

Betrachten Sie die folgende Schnittstelle: public interface AISPI { public Path getPath(Entity entity, Entity target, World world) throws NoPathException; } Zugegeben, dass Einheit, Ziel und

design-by-contract contract preconditions post-conditions 2016-05-19

---

2Hitze

1Antwort

Wie können Aussagen vor einer Klasseninitialisierungsliste platziert werden?

Ist es möglich, etwas über die Parameter für eine Klasse Konstruktor zu behaupten, bevor die Initialisierung Liste genannt wird? class Foo { int m_lower; int m_upper; unsigned int m_de

c++ constructor initialization assert design-by-contract 2017-11-18

---