design-by-contract

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 [(

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

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

10Hitze

5Antwort

Design von Verträgen und Konstruktoren

Ich implementiere mein eigenes ArrayList für Schulzwecke, aber um die Dinge etwas aufzupeppen, versuche ich C# 4.0 Code Contracts zu verwenden. Alles war in Ordnung, bis ich Contracts zu den Konstrukt

5Hitze

2Antwort

Was tun bei Verwendung von Contract.Assert (true) und die Methode muss etwas zurückgeben?

Ich habe ein Stück Code, mit der folgenden Logik: //pseudo-code foreach (element in elementList) { if (element is whatever) return element; } } In der Theorie gibt es immer ein Ele

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

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

5Hitze

4Antwort

Argument Ausnahmen sollten Unit Getestet sein?

Ich weiß, dass diese Frage ziemlich ähnlich zu anderen ist, die vorher gepostet wurden, aber ich möchte dieses Thema in angemessener Weise diskutieren. Denken Sie, dass die "offensichtliche" Ausnahme

7Hitze

4Antwort

Warum Interfaces in dynamischen/locker typisierten Sprachen?

Ich arbeite in PHP, und das Konzept der Schnittstellen scheint mir ein wenig nutzlos hier. Aus dem Lesen verstehe ich, dass Schnittstellen Teil von "Design by Contract" sind, aber ohne zumindest eine

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